Your search returned 344 results.

Results
261.	Image from Amazon.com Image from Coce	Graph Transformation by Juan de Lara, Detlef Plump Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
262.	Image from Amazon.com Image from Coce	Theory and Practice of Model Transformation by Esther Guerra, Mark van den Brand Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
263.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Anthony Anjorin, Hu�scar Espinoza Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
264.	Image from Amazon.com Image from Coce	Intelligent Computer Mathematics by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
265.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2017 by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
266.	Image from Amazon.com Image from Coce	Advances in Data Mining. Applications and Theoretical Aspects by Petra Perner Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
267.	Image from Amazon.com Image from Coce	Models, Algorithms, Logics and Tools by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ing�lfsd�ttir, Axel Legay, Radu Mardare Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
268.	Image from Amazon.com Image from Coce	Logic-Based Program Synthesis and Transformation by Manuel V Hermenegildo, Pedro Lopez-Garcia Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
269.	Image from Amazon.com Image from Coce	Computer Aided Verification by Rupak Majumdar, Viktor Kuncak Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
270.	Image from Amazon.com Image from Coce	Euro-Par 2017: Parallel Processing by Francisco F. Rivera, Tom�s F. Pena, Jos� C. Cabaleiro Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
271.	Image from Amazon.com Image from Coce	Scaling OpenMP for Exascale Performance and Portability by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. M�ller Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
272.	Image from Amazon.com Image from Coce	Formal Modeling and Analysis of Timed Systems by Alessandro Abate, Gilles Geeraerts Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
273.	Image from Amazon.com Image from Coce	Software Architecture by Ant�nia Lopes, Rog�rio de Lemos Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
274.	Image from Amazon.com Image from Coce	Software Engineering for Resilient Systems by Alexander Romanovsky, Elena A. Troubitsyna Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
275.	Image from Amazon.com Image from Coce	Interactive Theorem Proving by Mauricio Ayala-Rinc�n, C�sar A. Mu�oz Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
276.	Image from Amazon.com Image from Coce	Verification and Evaluation of Computer and Communication Systems by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofi�ne Tahar Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
277.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Alessandro Cimatti, Marjan Sirjani Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
278.	Image from Amazon.com Image from Coce	Computer Safety, Reliability, and Security by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
279.	Image from Amazon.com Image from Coce	Computer Safety, Reliability, and Security by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
280.	Image from Amazon.com Image from Coce	Search Based Software Engineering by Tim Menzies, Justyna Petke Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).