Your search returned 9182 results.

Results
4481.	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).
4482.	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).
4483.	Image from Amazon.com Image from Coce	Numerical Software Verification by Alessandro Abate, Sylvie Boldo 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).
4484.	Image from Amazon.com Image from Coce	Biomimetic and Biohybrid Systems by Michael Mangan, Mark Cutkosky, Anna Mura, Paul F.M.J. Verschure, Tony Prescott, Nathan Lepora 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).
4485.	Image from Amazon.com Image from Coce	Knowledge Science, Engineering and Management by Gang Li, Yong Ge, Zili Zhang, Zhi Jin, Michael Blumenstein 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).
4486.	Image from Amazon.com Image from Coce	Web and Big Data by Lei Chen, Christian S. Jensen, Cyrus Shahabi, Xiaochun Yang, Xiang Lian 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).
4487.	Image from Amazon.com Image from Coce	Web and Big Data by Lei Chen, Christian S. Jensen, Cyrus Shahabi, Xiaochun Yang, Xiang Lian 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).
4488.	Image from Amazon.com Image from Coce	Advances in Cryptology � CRYPTO 2017 by Jonathan Katz, Hovav Shacham 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).
4489.	Image from Amazon.com Image from Coce	Advances in Cryptology � CRYPTO 2017 by Jonathan Katz, Hovav Shacham 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).
4490.	Image from Amazon.com Image from Coce	Artificial General Intelligence by Tom Everitt, Ben Goertzel, Alexey 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).
4491.	Image from Amazon.com Image from Coce	Advances in Cryptology � CRYPTO 2017 by Jonathan Katz, Hovav Shacham 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).
4492.	Image from Amazon.com Image from Coce	Collaboration and Technology by Carl Gutwin, Sergio F. Ochoa, Julita Vassileva, Tomoo Inoue 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).
4493.	Image from Amazon.com Image from Coce	Towards Autonomous Robotic Systems by Yang Gao, Saber Fallah, Yaochu Jin, Constantina Lekakou 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).
4494.	Image from Amazon.com Image from Coce	Model-Based Safety and Assessment by Marco Bozzano, Yiannis Papadopoulos 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).
4495.	Image from Amazon.com Image from Coce	Digital Forensics and Watermarking by Christian Kraetzer, Yun-Qing Shi, Jana Dittmann, Hyoung Joong Kim 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).
4496.	Image from Amazon.com Image from Coce	Advances in Information and Computer Security by Satoshi Obana, Koji Chida 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).
4497.	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).
4498.	Image from Amazon.com Image from Coce	Text, Speech, and Dialogue by Kamil Ek�tein, V�clav Matou�ek 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).
4499.	Image from Amazon.com Image from Coce	Electronic Government and the Information Systems Perspective by Andrea Ko, Enrico Francesconi 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).
4500.	Image from Amazon.com Image from Coce	Information Technology in Bio- and Medical Informatics by Miroslav Bursa, Andreas Holzinger, M. Elena Renda, Sami Khuri 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).