Your search returned 2964 results.

Results
2021.	Image from Amazon.com Image from Coce	Verification, Model Checking, and Abstract Interpretation by Deepak D�Souza, Akash Lal, Kim Guldstrand Larsen 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).
2022.	Image from Amazon.com Image from Coce	Ad-hoc Networks and Wireless by Miguel Garcia Pineda, Jaime Lloret, Symeon Papavassiliou, Stefan Ruehrup, Carlos Becker Westphall 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).
2023.	Image from Amazon.com Image from Coce	Compiler Construction by Bj�rn Franke 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).
2024.	Image from Amazon.com Image from Coce	Fundamental Approaches to Software Engineering by Alexander Egyed, Ina Schaefer 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).
2025.	Image from Amazon.com Image from Coce	Foundations of Software Science and Computation Structures by Andrew Pitts 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).
2026.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Christel Baier, Cesare Tinelli 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).
2027.	Image from Amazon.com Image from Coce	Transactions on Aspect-Oriented Software Development XII by Shigeru Chiba, �ric Tanter, Erik Ernst, Robert Hirschfeld 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).
2028.	Image from Amazon.com Image from Coce	Perspectives of System Informatics by Andrei Voronkov, Irina Virbitskaite 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).
2029.	Image from Amazon.com Image from Coce	Euro-Par 2015: Parallel Processing by Jesper Larsson Tr�ff, Sascha Hunold, Francesco Versaci 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).
2030.	Image from Amazon.com Image from Coce	Transactions on Computational Collective Intelligence XVIII by Ngoc Thanh Nguyen 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).
2031.	Image from Amazon.com Image from Coce	Static Analysis by Sandrine Blazy, Thomas Jensen 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).
2032.	Image from Amazon.com Image from Coce	Cryptographic Hardware and Embedded Systems -- CHES 2015 by Tim G�neysu, Helena Handschuh 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).
2033.	Image from Amazon.com Image from Coce	Algorithms - ESA 2015 by Nikhil Bansal, Irene Finocchi 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).
2034.	Image from Amazon.com Image from Coce	Models of Strategic Reasoning by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge 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).
2035.	Image from Amazon.com Image from Coce	Service-Oriented Computing by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam 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).
2036.	Image from Amazon.com Image from Coce	Transactions on Petri Nets and Other Models of Concurrency X by Maciej Koutny, J�rg Desel, Serge Haddad 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).
2037.	Image from Amazon.com Image from Coce	Distributed Computing by Yoram Moses 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).
2038.	Image from Amazon.com Image from Coce	Logic for Programming, Artificial Intelligence, and Reasoning by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov 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).
2039.	Image from Amazon.com Image from Coce	Transactions on Computational Collective Intelligence XIX by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Fatos Xhafa 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).
2040.	Image from Amazon.com Image from Coce	Semantics, Logics, and Calculi by Christian W. Probst, Chris Hankin, Ren� Rydhof Hansen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).