Your search returned 279 results.

Results
241.	Image from Amazon.com Image from Coce	Technologies and Innovation by Rafael Valencia-García Gema Alcaraz-Marmol Javier Del Cioppo-Morstadt [et al.] 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).
242.	Image from Amazon.com Image from Coce	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles by Tiziana Margaria Bernhard Steffen 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).
243.	Image from Amazon.com Image from Coce	Logic, Language, and Security by Vivek Nigam Carolyn Talcott [et al.] Tajana Ban Kirigin 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).
244.	Image from Amazon.com Image from Coce	Quantitative Evaluation of Systems by Marco Gribaudo Anne Remke David N. Jansen 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).
245.	Image from Amazon.com Image from Coce	Multi-Agent-Based Simulation XX by Mario Paolucci Harko Verhagen Jaime Simão Sichman 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).
246.	Image from Amazon.com Image from Coce	Hybrid Artificial Intelligent Systems by Enrique Antonio de la Cal Emilio Corchado Héctor Quintián José Ramón Villar Flecha 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).
247.	Image from Amazon.com Image from Coce	Frontiers in Cyber Security by Guangquan Xu Chunhua Su Kaitai Liang 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).
248.	Image from Amazon.com Image from Coce	Blockchain and Trustworthy Systems by Zibin Zheng Benhui Chen Hong-Ning Dai Xiaodong Fu 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).
249.	Image from Amazon.com Image from Coce	Job Scheduling Strategies for Parallel Processing by Dalibor Klusáček Narayan Desai Walfredo Cirne 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).
250.	Image from Amazon.com Image from Coce	Understanding Programming Languages by Cliff B. Jones Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
251.	Image from Amazon.com Image from Coce	The Practice of Enterprise Modeling by Jānis Grabis Dominik Bork Series: Lecture Notes in Business Information Processing Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
252.	Image from Amazon.com Image from Coce	Provable and Practical Security by Khoa Nguyen Huaxiong Wang Kwok Yan Lam Wenling Wu 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).
253.	Image from Amazon.com Image from Coce	Theoretical Aspects of Computing – ICTAC 2020 by Violet Ka I Pun Adenilso Simao Volker Stolz 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).
254.	Image from Amazon.com Image from Coce	Stabilization, Safety, and Security of Distributed Systems by Stéphane Devismes Neeraj Mittal 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).
255.	Image from Amazon.com Image from Coce	Economics of Grids, Clouds, Systems, and Services by Karim Djemame Jörn Altmann José Ángel Bañares [et al.] 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).
256.	Image from Amazon.com Image from Coce	Advances in Service-Oriented and Cloud Computing by Maria Fazio Wolf Zimmermann 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).
257.	Image from Amazon.com Image from Coce	Software Verification by Maria Christakis Nadia Polikarpova Parasara Sridhar Duggirala Peter Schrammel 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).
258.	Image from Amazon.com Image from Coce	Unimagined Futures – ICT Opportunities and Challenges by Leon Strous David Alan Grier Doron Swade Roger Johnson Series: IFIP Advances in Information and Communication Technology Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
259.	Image from Amazon.com Image from Coce	Supercomputing by Vladimir Voevodin Sergey Sobolev 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).
260.	Image from Amazon.com Image from Coce	Service-Oriented Computing by Schahram Dustdar 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).