Your search returned 2964 results.

Results
2301.	Image from Amazon.com Image from Coce	Algorithms and Architectures for Parallel Processing by Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz 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).
2302.	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).
2303.	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).
2304.	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).
2305.	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).
2306.	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).
2307.	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).
2308.	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).
2309.	Image from Amazon.com Image from Coce	Theory and Applications of Satisfiability Testing � SAT 2017 by Serge Gaspers, Toby Walsh 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).
2310.	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).
2311.	Image from Amazon.com Image from Coce	Coding Theory and Applications by �ngela I. Barbero, Vitaly Skachek, �yvind Ytrehus 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).
2312.	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).
2313.	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).
2314.	Image from Amazon.com Image from Coce	Computer Algebra in Scientific Computing by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov 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).
2315.	Image from Amazon.com Image from Coce	Computer Security � ESORICS 2017 by Simon N. Foley, Dieter Gollmann, Einar Snekkenes 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).
2316.	Image from Amazon.com Image from Coce	Computer Performance Engineering by Philipp Reinecke, Antinisca Di Marco 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).
2317.	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).
2318.	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).
2319.	Image from Amazon.com Image from Coce	Cryptographic Hardware and Embedded Systems � CHES 2017 by Wieland Fischer, Naofumi Homma 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).
2320.	Image from Amazon.com Image from Coce	Cooperative Design, Visualization, and Engineering by Yuhua Luo 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).