Your search returned 354 results.

Results
241.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by Leila Ribeiro, Thierry Lecomte 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).
242.	Image from Amazon.com Image from Coce	OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz 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).
243.	Image from Amazon.com Image from Coce	Verification, Model Checking, and Abstract Interpretation by Barbara Jobstmann, K. Rustan M. Leino 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).
244.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Peter Thiemann 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).
245.	Image from Amazon.com Image from Coce	Foundations of Software Science and Computation Structures by Bart Jacobs, Christof L�ding 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).
246.	Image from Amazon.com Image from Coce	Fundamental Approaches to Software Engineering by Perdita Stevens, Andrzej Wasowski 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).
247.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Marsha Chechik, Jean-Fran�ois Raskin 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).
248.	Image from Amazon.com Image from Coce	Static Analysis by Xavier Rival 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).
249.	Image from Amazon.com Image from Coce	Concurrency, Security, and Puzzles by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic 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).
250.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Yuliya Lierler, Walid Taha 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).
251.	Image from Amazon.com Image from Coce	Unifying Theories of Programming by Jonathan P. Bowen, Huibiao Zhu 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).
252.	Image from Amazon.com Image from Coce	Verification, Model Checking, and Abstract Interpretation by Ahmed Bouajjani, David Monniaux 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).
253.	Image from Amazon.com Image from Coce	Languages and Compilers for Parallel Computing by Chen Ding, John Criswell, Peng Wu 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).
254.	Image from Amazon.com Image from Coce	Agents and Artificial Intelligence by Jaap van den Herik, Joaquim Filipe 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).
255.	Image from Amazon.com Image from Coce	Smart Card Research and Advanced Applications by Kerstin Lemke-Rust, Michael Tunstall 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).
256.	Image from Amazon.com Image from Coce	Engineering Trustworthy Software Systems by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 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).
257.	Image from Amazon.com Image from Coce	Mastering Scale and Complexity in Software Reuse by Goetz Botterweck, Claudia Werner 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).
258.	Image from Amazon.com Image from Coce	NASA Formal Methods by Clark Barrett, Misty Davies, Temesghen Kahsai 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).
259.	Image from Amazon.com Image from Coce	Hybrid Artificial Intelligent Systems by Francisco Javier Mart�nez de Pis�n, Rub�n Urraca, H�ctor Quinti�n, Emilio Corchado 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).
260.	Image from Amazon.com Image from Coce	Coordination Models and Languages by Jean-Marie Jacquet, Mieke Massink 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).