Your search returned 344 results.

Results
21.	Image from Amazon.com Image from Coce	Aliasing in Object-Oriented Programming. Types, Analysis and Verification by Dave Clarke, James Noble, Tobias Wrigstad 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).
22.	Image from Amazon.com Image from Coce	Transactions on Aspect-Oriented Software Development X by Gary T. Leavens, Shigeru Chiba, �ric Tanter 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).
23.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Matthias Felleisen, Philippa Gardner 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).
24.	Image from Amazon.com Image from Coce	Compiler Construction by Ranjit Jhala, Koen Bosschere 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).
25.	Image from Amazon.com Image from Coce	Fundamental Approaches to Software Engineering by Vittorio Cortellessa, D�niel Varr� 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).
26.	Image from Amazon.com Image from Coce	Foundations of Software Science and Computation Structures by Frank Pfenning 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).
27.	Image from Amazon.com Image from Coce	Languages and Compilers for Parallel Computing by Hironori Kasahara, Keiji Kimura 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).
28.	Image from Amazon.com Image from Coce	NASA Formal Methods by Guillaume Brat, Neha Rungta, Arnaud Venet 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).
29.	Image from Amazon.com Image from Coce	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Bob Coecke, Luke Ong, Prakash Panangaden 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).
30.	Image from Amazon.com Image from Coce	Model-Based Methodologies for Pervasive and Embedded Software by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck 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).
31.	Image from Amazon.com Image from Coce	Web Services and Formal Methods by Maurice H. Beek, Niels Lohmann 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).
32.	Image from Amazon.com Image from Coce	Reliable Software Technologies � Ada-Europe 2013 by Hubert B. Keller, Erhard Pl�dereder, Peter Dencker, Herbert Klenk 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).
33.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Einar Broch Johnsen, Luigia Petre 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).
34.	Image from Amazon.com Image from Coce	Transactions on Pattern Languages of Programming III by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford 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).
35.	Image from Amazon.com Image from Coce	Application and Theory of Petri Nets and Concurrency by Jos�-Manuel Colom, J�rg Desel 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).
36.	Image from Amazon.com Image from Coce	Static Analysis by Francesco Logozzo, Manuel F�hndrich 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).
37.	Image from Amazon.com Image from Coce	Theory and Practice of Model Transformations by Keith Duddy, Gerti Kappel 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).
38.	Image from Amazon.com Image from Coce	SDL 2013: Model-Driven Dependability Engineering by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed 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).
39.	Image from Amazon.com Image from Coce	Tests and Proofs by Margus Veanes, Luca Vigan� 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).
40.	Image from Amazon.com Image from Coce	Safe and Secure Software Reuse by John Favaro, Maurizio Morisio 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).