Your search returned 226 results.

Results
1.	Image from Amazon.com Image from Coce	Transactional Memory. Foundations, Algorithms, Tools, and Applications by Rachid Guerraoui, Paolo Romano Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Unifying Theories of Programming by David Naumann Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by Christiano Braga, Narciso Mart�-Oliet Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
4.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Carlos Canal, Akram Idani Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
5.	Image from Amazon.com Image from Coce	Formal Aspects of Component Software by Ivan Lanese, Eric Madelaine Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
6.	Image from Amazon.com Image from Coce	Software, Services, and Systems by Rocco Nicola, Rolf Hennicker Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
7.	Image from Amazon.com Image from Coce	Wireless Sensor Networks by Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
8.	Image from Amazon.com Image from Coce	Numerical Methods and Applications by Ivan Dimov, Stefka Fidanova, Ivan Lirkov Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
9.	Image from Amazon.com Image from Coce	Engineering Secure Software and Systems by Frank Piessens, Juan Caballero, Nataliia Bielova Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
10.	Image from Amazon.com Image from Coce	Job Scheduling Strategies for Parallel Processing by Walfredo Cirne, Narayan Desai Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
11.	Image from Amazon.com Image from Coce	Central European Functional Programming School by Vikt�ria Zs�k, Zolt�n Horv�th, Lehel Csat� Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
12.	Image from Amazon.com Image from Coce	Solving Software Challenges for Exascale by Stefano Markidis, Erwin Laure Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
13.	Image from Amazon.com Image from Coce	Architecture of Computing Systems � ARCS 2015 by Lu�s Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
14.	Image from Amazon.com Image from Coce	Requirements Engineering: Foundation for Software Quality by Samuel A. Fricker, Kurt Schneider Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
15.	Image from Amazon.com Image from Coce	Software Engineering for Collective Autonomic Systems by Martin Wirsing, Matthias H�lzl, Nora Koch, Philip Mayer Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
16.	Image from Amazon.com Image from Coce	Interoperability and Open-Source Solutions for the Internet of Things by Ivana Podnar �arko, Kre�imir Pripu�ic, Martin Serrano Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
17.	Image from Amazon.com Image from Coce	Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability by Theodor Wyeld, Paul Calder, Haifeng Shen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
18.	Image from Amazon.com Image from Coce	Risks and Security of Internet and Systems by Javier Lopez, Indrajit Ray, Bruno Crispo Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
19.	Image from Amazon.com Image from Coce	High Performance Computing for Computational Science -- VECPAR 2014 by Michel Dayd�, Osni Marques, Kengo Nakajima Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
20.	Image from Amazon.com Image from Coce	Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).