Your search returned 354 results.

Results
301.	Image from Amazon.com Image from Coce	ModelEd, TestEd, TrustEd by Joost-Pieter Katoen, Rom Langerak, Arend Rensink Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
302.	Image from Amazon.com Image from Coce	Formal Methods and Software Engineering by Zhenhua Duan, Luke Ong Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
303.	Image from Amazon.com Image from Coce	Topics in Theoretical Computer Science by Mohammad Reza Mousavi, Jir� Sgall Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
304.	Image from Amazon.com Image from Coce	Fundamentals of Software Engineering by Mehdi Dastani, Marjan Sirjani Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
305.	Image from Amazon.com Image from Coce	PRIMA 2017: Principles and Practice of Multi-Agent Systems by Bo An, Ana Bazzan, Jo�o Leite, Serena Villata, Leendert van der Torre Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
306.	Image from Amazon.com Image from Coce	Conceptual Modeling by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
307.	Image from Amazon.com Image from Coce	Future Data and Security Engineering by Tran Khanh Dang, Roland Wagner, Josef K�ng, Nam Thoai, Makoto Takizawa, Erich J. Neuhold Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
308.	Image from Amazon.com Image from Coce	AIIA 2017 Advances in Artificial Intelligence by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference:* LRC, IIT Indore: Not for loan (1).
309.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Ofer Strichman, Rachel Tzoref-Brill Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
310.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Bor-Yuh Evan Chang Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
311.	Image from Amazon.com Image from Coce	Recent Trends in Algebraic Development Techniques by Phillip James, Markus Roggenbach Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
312.	Image from Amazon.com Image from Coce	Verified Software. Theories, Tools, and Experiments by Andrei Paskevich, Thomas Wies Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
313.	Image from Amazon.com Image from Coce	Small Dynamic Complexity Classes by Thomas Zeume Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
314.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Hongseok Yang Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
315.	Image from Amazon.com Image from Coce	Foundations of Software Science and Computation Structures by Javier Esparza, Andrzej S. Murawski Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
316.	Image from Amazon.com Image from Coce	Fundamental Approaches to Software Engineering by Marieke Huisman, Julia Rubin Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
317.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay, Tiziana Margaria Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
318.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay, Tiziana Margaria Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
319.	Image from Amazon.com Image from Coce	Python by example : learning to program in 150 challenges by Lacey, Nichola Edition: 1st published 2019 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge Cambridge University Press 2019 Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.133 LAC. Place hold
320.		Python for data analysis : data wrangling with pandas, numpy, and ipython [2nd ed. / 3rd ed.] by McKinney, Wes Edition: 2nd ed. 2017 and 3rd ed. 2022 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Mumbai Shroff Publishers and Distributors 2017 Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.133 MCK.3E. Not available: LRC, IIT Indore: Checked out (1). Place hold