Your search returned 344 results.

Results
321.	Image from Amazon.com Image from Coce	Cyber Physical Systems. Model-Based Design by Roger Chamberlain Martin Edin Grimheden Walid Taha 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).
322.	Image from Amazon.com Image from Coce	Verified Software. Theories, Tools, and Experiments by Supratik Chakraborty Jorge A. Navas 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).
323.	Image from Amazon.com Image from Coce	Artificial Intelligence in Music, Sound, Art and Design by Juan Romero Anikó Ekárt João Correia Tiago Martins 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).
324.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Peter Müller 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).
325.	Image from Amazon.com Image from Coce	Declarative Programming and Knowledge Management by Petra Hofstedt Salvador Abreu Ulrich John [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).
326.	Image from Amazon.com Image from Coce	Trends in Functional Programming by William J. Bowman Ronald Garcia 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).
327.	Image from Amazon.com Image from Coce	Inductive Logic Programming by Dimitar Kazakov Can Erten 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).
328.	Image from Amazon.com Image from Coce	Coordination Models and Languages by Simon Bliudze Laura Bocchi 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).
329.	Image from Amazon.com Image from Coce	Tests and Proofs by Wolfgang Ahrendt Heike Wehrheim 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).
330.	Image from Amazon.com Image from Coce	Accelerator Programming Using Directives by Sandra Wienke Sridutt Bhalachandra 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).
331.	Image from Amazon.com Image from Coce	Graph Transformation by Fabio Gadducci Timo Kehrer 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).
332.	Image from Amazon.com Image from Coce	Automated Reasoning by Nicolas Peltier Viorica Sofronie-Stokkermans 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).
333.	Image from Amazon.com Image from Coce	Automated Reasoning by Nicolas Peltier Viorica Sofronie-Stokkermans 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).
334.	Image from Amazon.com Image from Coce	Trends in Functional Programming by Aleksander Byrski John Hughes 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).
335.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Maurice H. ter Beek Dejan Ničković 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).
336.	Image from Amazon.com Image from Coce	OpenMP: Portable Multi-Level Parallelism on Modern Systems by Kent Milfeld Bronis R. de Supinski Jannis Klinkenberg Lars Koesterke 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).
337.	Image from Amazon.com Image from Coce	Functional and Logic Programming by Keisuke Nakano Konstantinos Sagonas 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).
338.	Image from Amazon.com Image from Coce	Foundational Java by David Parsons Series: Texts 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).
339.	Image from Amazon.com Image from Coce	Runtime Verification by Jyotirmoy Deshmukh Dejan Ničković 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).
340.	Image from Amazon.com Image from Coce	Computer Programming in C for Beginners by Avelino J. Gonzalez Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).