Your search returned 731 results.

Results
61.	Image from Amazon.com Image from Coce	CONCUR 2013 � Concurrency Theory by Pedro R. D�Argenio, Hern�n Melgratti Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
62.	Image from Amazon.com Image from Coce	Formal Modeling and Analysis of Timed Systems by V�ctor Braberman, Laurent Fribourg Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
63.	Image from Amazon.com Image from Coce	Automated Reasoning with Analytic Tableaux and Related Methods by Didier Galmiche, Dominique Larchey-Wendling Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
64.	Image from Amazon.com Image from Coce	Logic Programming and Nonmonotonic Reasoning by Pedro Cabalar, Tran Cao Son Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
65.	Image from Amazon.com Image from Coce	Algebraic Informatics by Traian Muntean, Dimitrios Poulakis, Robert Rolland Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
66.	Image from Amazon.com Image from Coce	Automated Deduction in Geometry by Tetsuo Ida, Jacques Fleuriot Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
67.	Image from Amazon.com Image from Coce	Programming Languages by Andr� Rauber Bois, Phil Trinder Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
68.	Image from Amazon.com Image from Coce	Engineering Multi-Agent Systems by Massimo Cossentino, Amal Fallah Seghrouchni, Michael Winikoff Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
69.	Image from Amazon.com Image from Coce	SOFSEM 2014: Theory and Practice of Computer Science by Viliam Geffert, Bart Preneel, Branislav Rovan, J�lius �tuller, A Min Tjoa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
70.	Image from Amazon.com Image from Coce	Engineering Secure Software and Systems by Jan J�rjens, Frank Piessens, Nataliia Bielova Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
71.	Image from Amazon.com Image from Coce	Relational and Algebraic Methods in Computer Science by Peter H�fner, Peter Jipsen, Wolfram Kahl, Martin Eric M�ller Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
72.	Image from Amazon.com Image from Coce	Service-Oriented Computing � ICSOC 2013 Workshops by Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
73.	Image from Amazon.com Image from Coce	Analytical and Stochastic Modeling Techniques and Applications by Bruno Sericola, Mikl�s Telek, G�bor Horv�th Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
74.	Image from Amazon.com Image from Coce	Reversible Computation by Shigeru Yamashita, Shin-ichi Minato Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
75.	Image from Amazon.com Image from Coce	Graph Transformation by Holger Giese, Barbara K�nig Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
76.	Image from Amazon.com Image from Coce	Theoretical Aspects of Computing � ICTAC 2014 by Gabriel Ciobanu, Dominique M�ry Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
77.	Image from Amazon.com Image from Coce	Computer Performance Engineering by Andr�s Horv�th, Katinka Wolter Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
78.	Image from Amazon.com Image from Coce	Software Engineering for Resilient Systems by Istv�n Majzik, Marco Vieira Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
79.	Image from Amazon.com Image from Coce	Logic-Based Program Synthesis and Transformation by Gopal Gupta, Ricardo Pe�a Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
80.	Image from Amazon.com Image from Coce	Principles of Distributed Systems by Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).