Your search returned 1495 results.

Results
1001.	Image from Amazon.com Image from Coce	Formal Methods � The Next 30 Years by Maurice H. ter Beek Annabelle McIver Jos� N. Oliveira Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1002.	Image from Amazon.com Image from Coce	Unifying Theories of Programming by Pedro Ribeiro Augusto Sampaio Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1003.	Image from Amazon.com Image from Coce	Tests and Proofs by Dirk Beyer Chantal Keller Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1004.	Image from Amazon.com Image from Coce	From Reactive Systems to Cyber-Physical Systems by Ezio Bartocci Oleg Sokolsky Radu Grosu Rance Cleaveland Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1005.	Image from Amazon.com Image from Coce	Formal Methods Teaching by Brijesh Dongol Graeme Smith Luigia Petre Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1006.	Image from Amazon.com Image from Coce	Electronic Voting by Robert Krimmer Bernhard Beckert David Duenas-Cid Melanie Volkamer Ralf K�sters Uwe Serd�lt Veronique Cortier Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1007.	Image from Amazon.com Image from Coce	Soft Computing in Data Science by Michael W. Berry Azlinah Mohamed Bee Wah Yap Mario K�ppen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1008.	Image from Amazon.com Image from Coce	Mobile Computing, Applications, and Services by Yuyu Yin Honghao Gao Jilin Zhang Ying Li Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1009.	Image from Amazon.com Image from Coce	Artificial Intelligence by Martin Atzmueller Wouter Duivesteijn Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1010.	Image from Amazon.com Image from Coce	Similarity Search and Applications by Giuseppe Amato Claudio Gennaro Milo� Radovanovic Vincent Oria Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1011.	Image from Amazon.com Image from Coce	Ad-Hoc, Mobile, and Wireless Networks by Maria Rita Palattella Sinem Coleri Ergen Stefano Scanzio Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1012.	Image from Amazon.com Image from Coce	Provable Security by Ron Steinfeld Tsz Hon Yuen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1013.	Image from Amazon.com Image from Coce	Statistical Language and Speech Processing by Carlos Mart�n-Vide Matthew Purver Senja Pollak Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1014.	Image from Amazon.com Image from Coce	Network and Parallel Computing by Xiaoxin Tang Jean-Luc Gaudiot Pradip Bose Quan Chen Weiming Zheng Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1015.	Image from Amazon.com Image from Coce	Natural Language Processing and Chinese Computing by Jie Tang Dongyan Zhao Hongying Zan Min-Yen Kan Sujian Li Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1016.	Image from Amazon.com Image from Coce	Concise Guide to Software Testing by Gerard O'Regan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1017.	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 Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1018.	Image from Amazon.com Image from Coce	Model Checking Software by Fabrizio Biondi Axel Legay Thomas Given-Wilson Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1019.	Image from Amazon.com Image from Coce	Information Technology in Disaster Risk Reduction by Yuko Murayama Dimiter Velev Plamena Zlateva Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1020.	Image from Amazon.com Image from Coce	Natural Language Processing and Chinese Computing by Jie Tang Dongyan Zhao Hongying Zan Min-Yen Kan Sujian Li Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).