Your search returned 354 results.

Results
181.	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).
182.	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).
183.	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).
184.	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).
185.	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).
186.	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).
187.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Marco Gavanelli, John Reppy 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).
188.	Image from Amazon.com Image from Coce	Formal Aspects of Component Software by Christiano Braga, Peter Csaba �lveczky 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).
189.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by M�rcio Corn�lio, Bill Roscoe 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).
190.	Image from Amazon.com Image from Coce	Functional and Logic Programming by Oleg Kiselyov, Andy King 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).
191.	Image from Amazon.com Image from Coce	Verified Software: Theories, Tools, and Experiments by Arie Gurfinkel, Sanjit A. Seshia 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).
192.	Image from Amazon.com Image from Coce	Engineering Trustworthy Software Systems by Zhiming Liu, Zili Zhang 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).
193.	Image from Amazon.com Image from Coce	Languages and Compilers for Parallel Computing by Xipeng Shen, Frank Mueller, James Tuck 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).
194.	Image from Amazon.com Image from Coce	Theory and Practice of Formal Methods by Erika �brah�m, Marcello Bonsangue, Einar Broch Johnsen 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).
195.	Image from Amazon.com Image from Coce	A List of Successes That Can Change the World by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella 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).
196.	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 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
197.	Image from Amazon.com Image from Coce	Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems by Anne Remke, Boudewijn R. Haverkort 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).
198.	Image from Amazon.com Image from Coce	Model Checking Software by Dragan Bo�nacki, Anton Wijs 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).
199.	Image from Amazon.com Image from Coce	Abstract State Machines, Alloy, B, TLA, VDM, and Z by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro 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).
200.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Erika �brah�m, Marieke Huisman 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).