Your search returned 191 results.

Results
81.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by Simone Cavalheiro, Jos� Fiadeiro 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).
82.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Bor-Yuh Evan Chang 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).
83.	Image from Amazon.com Image from Coce	Autonomous Agents and Multiagent Systems by Gita Sukthankar, Juan A. Rodriguez-Aguilar 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).
84.	Image from Amazon.com Image from Coce	Verified Software. Theories, Tools, and Experiments by Andrei Paskevich, Thomas Wies 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).
85.	Image from Amazon.com Image from Coce	Principles of Security and Trust by Matteo Maffei, Mark Ryan 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).
86.	Image from Amazon.com Image from Coce	Encyclopedia of Algorithms by Ming-Yang Kao Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
87.	Image from Amazon.com Image from Coce	Theory of Evolutionary Computation by Benjamin Doerr Frank Neumann Series: Natural Computing Series Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
88.	Image from Amazon.com Image from Coce	Model-Driven Engineering and Software Development by Slimane Hammoudi Bran Selić Luís Ferreira Pires Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
89.	Image from Amazon.com Image from Coce	Formalizing Natural Languages with NooJ 2019 and Its Natural Language Processing Applications by Héla Fehri Max Silberztein Slim Mesfar Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
90.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Ekaterina Komendantskaya Yanhong Annie Liu Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
91.	Image from Amazon.com Image from Coce	Chatbot Research and Design by Asbjørn Følstad Effie Lai-Chong Law [et al.] Symeon Papadopoulos Theo Araujo Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
92.	Image from Amazon.com Image from Coce	Algorithms and Discrete Applied Mathematics by Manoj Changat Sandip Das Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
93.	Image from Amazon.com Image from Coce	Convergent Cognitive Information Technologies by Vladimir Sukhomlin Elena Zubareva Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
94.	Image from Amazon.com Image from Coce	Evaluation of Novel Approaches to Software Engineering by Ernesto Damiani George Spanoudakis Leszek A. Maciaszek Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
95.	Image from Amazon.com Image from Coce	Formal Aspects of Component Software by Farhad Arbab Sung-Shik Jongmans Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
96.	Image from Amazon.com Image from Coce	Numerical Computations: Theory and Algorithms by Yaroslav D. Sergeyev Dmitri E. Kvasov Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
97.	Image from Amazon.com Image from Coce	Optimization and Learning by Bernabé Dorronsoro Daniel Urda El-Ghazali Talbi Juan Carlos de la Torre Patricia Ruiz Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
98.	Image from Amazon.com Image from Coce	Structured Object-Oriented Formal Language and Method by Huaikou Miao Cong Tian Shaoying Liu Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
99.	Image from Amazon.com Image from Coce	Mathematical Aspects of Computer and Information Sciences by Daniel Slamanig Elias Tsigaridas Zafeirakis Zafeirakopoulos Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
100.	Image from Amazon.com Image from Coce	Information Search, Integration, and Personalization by Giorgos Flouris Dimitris Plexousakis [et al.] Dominique Laurent Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).