Your search returned 54 results.

Not what you expected? Check for suggestions

Results
	41.	Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings by Keisuke Nakano, Konstantinos Sagonas Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	42.	Theoretical Aspects of Computing - ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings by Violet Ka I Pun, Volker Stolz, Adenilso Simao Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	43.	Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020, Proceedings by Ian Watson, Rosina Weber Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	44.	Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings by Bruno C. d. S. Oliveira Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	45.	Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by Jyotirmoy Deshmukh, Dejan Ničković Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	46.	Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	47.	Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers by Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	48.	Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	49.	Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers by Santiago Escobar, Narciso Martí-Oliet Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	50.	Transactions on Rough Sets XXII by James F. Peters, Andrzej Skowron Material type: Text; Format: print Language: English Publication details: Berlin Heidelberg Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	51.	Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl Material type: Text; Format: print Language: English Publication details: Berlin Heidelberg Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	52.	Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings by Shang-Wei Lin, Zhe Hou, Brendan Mahony Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	53.	Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings by David Pichardie, Mihaela Sighireanu Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	54.	Machine Translation : 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020, Revised Selected Papers by Junhui Li, Andy Way Material type: Text; Format: print Language: English Publication details: Singapore Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)

An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964
© 2015 BITS-Library, BITS-Hyderabad, India.