Your search returned 741 results.

Results
521.	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).
522.	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).
523.	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).
524.	Image from Amazon.com Image from Coce	Principles and Practice of Constraint Programming by J. Christopher Beck 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).
525.	Image from Amazon.com Image from Coce	Frontiers of Combining Systems by Clare Dixon, Marcelo Finger 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).
526.	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).
527.	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).
528.	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).
529.	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).
530.	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).
531.	Image from Amazon.com Image from Coce	Combinatorics on Words by Srecko Brlek, Francesco Dolce, Christophe Reutenauer, �lise Vandomme 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).
532.	Image from Amazon.com Image from Coce	Coordination, Organizations, Institutions, and Norms in Agent Systems XII by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha 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).
533.	Image from Amazon.com Image from Coce	Static Analysis by Francesco Ranzato 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).
534.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Nadia Polikarpova, Steve Schneider 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).
535.	Image from Amazon.com Image from Coce	Model and Data Engineering by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abell�, Ladjel Bellatreche 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).
536.	Image from Amazon.com Image from Coce	Automated Reasoning with Analytic Tableaux and Related Methods by Renate A. Schmidt, Cl�udia Nalon 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).
537.	Image from Amazon.com Image from Coce	Reachability Problems by Matthew Hague, Igor Potapov 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).
538.	Image from Amazon.com Image from Coce	Critical Systems: Formal Methods and Automated Verification by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti 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).
539.	Image from Amazon.com Image from Coce	KI 2017: Advances in Artificial Intelligence by Gabriele Kern-Isberner, Johannes F�rnkranz, Matthias Thimm 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).
540.	Image from Amazon.com Image from Coce	Runtime Verification by Shuvendu Lahiri, Giles Reger 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).