Your search returned 344 results.

Results
281.	Image from Amazon.com Image from Coce	Coordination, Organizations, Institutions, and Norms in Agent Systems XII by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha 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).
282.	Image from Amazon.com Image from Coce	Static Analysis by Francesco Ranzato 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).
283.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Nadia Polikarpova, Steve Schneider 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).
284.	Image from Amazon.com Image from Coce	Model and Data Engineering by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abell�, Ladjel Bellatreche 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).
285.	Image from Amazon.com Image from Coce	Automated Reasoning with Analytic Tableaux and Related Methods by Renate A. Schmidt, Cl�udia Nalon 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).
286.	Image from Amazon.com Image from Coce	Critical Systems: Formal Methods and Automated Verification by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti 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).
287.	Image from Amazon.com Image from Coce	Runtime Verification by Shuvendu Lahiri, Giles Reger 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).
288.	Image from Amazon.com Image from Coce	Testing Software and Systems by Nina Yevtushenko, Ana Rosa Cavalli, H�sn� Yenig�n 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).
289.	Image from Amazon.com Image from Coce	High Performance Computing by Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf 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).
290.	Image from Amazon.com Image from Coce	Theoretical Aspects of Computing � ICTAC 2017 by Dang Van Hung, Deepak Kapur 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).
291.	Image from Amazon.com Image from Coce	Advanced Parallel Processing Technologies by Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Boug� 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).
292.	Image from Amazon.com Image from Coce	SDL 2017: Model-Driven Engineering for Future Internet by Tibor Cs�ndes, G�bor Kov�cs, Gy�rgy R�thy 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).
293.	Image from Amazon.com Image from Coce	Formal Aspects of Component Software by Jos� Proen�a, Markus Lumpe 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).
294.	Image from Amazon.com Image from Coce	Economics of Grids, Clouds, Systems, and Services by Congduc Pham, J�rn Altmann, Jos� �ngel Ba�ares 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).
295.	Image from Amazon.com Image from Coce	Service-Oriented Computing � ICSOC 2016 Workshops by Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang, Yuhong Yan, Fran�ois Charoy, Jan Mendling, Mohamed Mohamed, Zhongjie Wang, Sami Bhiri 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).
296.	Image from Amazon.com Image from Coce	Automated Technology for Verification and Analysis by Deepak D'Souza, K. Narayan Kumar 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).
297.	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).
298.	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).
299.	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).
300.	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).