Your search returned 344 results.

Results
301.	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).
302.	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).
303.	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).
304.	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).
305.	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).
306.	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).
307.	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).
308.	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).
309.	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).
310.	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).
311.	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).
312.	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).
313.	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).
314.	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).
315.	Image from Amazon.com Image from Coce	Dynamic Logic. New Trends and Applications by Luís Soares Barbosa Alexandru Baltag Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
316.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Ekaterina Komendantskaya Yanhong Annie Liu Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
317.	Image from Amazon.com Image from Coce	Introduction to R for Terrestrial Ecology by Milena Lakicevic Keith M. Reynolds Nicholas Povak Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
318.	Image from Amazon.com Image from Coce	Chatbot Research and Design by Asbjørn Følstad Effie Lai-Chong Law [et al.] Symeon Papadopoulos Theo Araujo Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
319.	Image from Amazon.com Image from Coce	Guide to Assembly Language by James T. Streib Series: Undergraduate Topics in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
320.	Image from Amazon.com Image from Coce	On the Move to Meaningful Internet Systems: OTM 2019 Workshops by Christophe Debruyne Hervé Panetto Wided Guédria [et al.] Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).