Your search returned 89 results.

Results
41.	Image from Amazon.com Image from Coce	Formal Methods for Multicore Programming by Marco Bernardo, Einar Broch Johnsen 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).
42.	Image from Amazon.com Image from Coce	Coordination Models and Languages by Tom Holvoet, Mirko Viroli 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).
43.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Gabriele Taentzer, Francis Bordeleau 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).
44.	Image from Amazon.com Image from Coce	Theory and Practice of Model Transformations by Dimitris Kolovos, Manuel Wimmer 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).
45.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Radu Calinescu, Bernhard Rumpe 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).
46.	Image from Amazon.com Image from Coce	Fundamentals of Software Engineering by Mehdi Dastani, Marjan Sirjani 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).
47.	Image from Amazon.com Image from Coce	SDL 2015: Model-Driven Engineering for Smart Cities by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed 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).
48.	Image from Amazon.com Image from Coce	Cyber Physical Systems. Design, Modeling, and Evaluation by Mohammad Reza Mousavi, Christian Berger 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).
49.	Image from Amazon.com Image from Coce	Dependable Software Engineering: Theories, Tools, and Applications by Xuandong Li, Zhiming Liu, Wang Yi 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).
50.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Nir Piterman 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).
51.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Xinyu Feng, Sungwoo Park 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).
52.	Image from Amazon.com Image from Coce	Information Security by Yvo Desmedt 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).
53.	Image from Amazon.com Image from Coce	Software Engineering by Bertrand Meyer, Martin Nordio 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).
54.	Image from Amazon.com Image from Coce	Membrane Computing by Grzegorz Rozenberg, Arto Salomaa, Jos� M. Sempere, Claudio Zandron 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).
55.	Image from Amazon.com Image from Coce	Transactions on Petri Nets and Other Models of Concurrency X by Maciej Koutny, J�rg Desel, Serge Haddad 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).
56.	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).
57.	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).
58.	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).
59.	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).
60.	Image from Amazon.com Image from Coce	Web Services, Formal Methods, and Behavioral Types by Thomas Hildebrandt, Ant�nio Ravara, Jan Martijn van der Werf, Matthias Weidlich 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).