Your search returned 89 results.

1
2
3
4
5
Next
Last

Results per page:

Results
1.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Valeria Bertacco, Axel Legay 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).
2.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Chung-chieh Shan 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).
3.	Image from Amazon.com Image from Coce	Generative and Transformational Techniques in Software Engineering IV by Ralf L�mmel, Jo�o Saraiva, Joost Visser 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).
4.	Image from Amazon.com Image from Coce	Assurances for Self-Adaptive Systems by Javier C�mara, Rog�rio Lemos, Carlo Ghezzi, Ant�nia Lopes 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).
5.	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).
6.	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).
7.	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).
8.	Image from Amazon.com Image from Coce	Formal Methods for Dynamical Systems by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky 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).
9.	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).
10.	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).
11.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Pieter Gorp, Tom Ritter, Louis M. Rose 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).
12.	Image from Amazon.com Image from Coce	Software Architecture by Khalil Drira 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).
13.	Image from Amazon.com Image from Coce	Software Composition by Walter Binder, Eric Bodden, Welf L�we 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).
14.	Image from Amazon.com Image from Coce	Web Reasoning and Rule Systems by Wolfgang Faber, Domenico Lembo 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).
15.	Image from Amazon.com Image from Coce	Transactions on Petri Nets and Other Models of Concurrency VIII by Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev 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).
16.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti 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).
17.	Image from Amazon.com Image from Coce	Formal Methods for Components and Objects by Elena Giachino, Reiner H�hnle, Frank S. Boer, Marcello M. Bonsangue 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).
18.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Charles Pecheur, Michael Dierkes 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).
19.	Image from Amazon.com Image from Coce	Model-Driven Engineering Languages and Systems by Ana Moreira, Bernhard Sch�tz, Jeff Gray, Antonio Vallecillo, Peter Clarke 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).
20.	Image from Amazon.com Image from Coce	Conceptual Modeling by Wilfred Ng, Veda C. Storey, Juan C. Trujillo 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).