Your search returned 1118 results.

Not what you expected? Check for suggestions

Results
321.	Image from Amazon.com	Mathematical and Engineering Methods in Computer Science by Jan Kofron Tomas Vojnar Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
322.	Image from Amazon.com	Service-Oriented Computing--ICSOC 2013 Workshops by Alessio Lomuscio Fabio Patrizi Surya Nepal Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
323.	Image from Amazon.com	Deductive Software Verification � The KeY Book by Wolfgang Ahrendt Bernhard Beckert Richard Bubel Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
324.	Image from Amazon.com	NASA Formal Methods by Sanjai Rayadurgam Oksana Tkachuk Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
325.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
326.	Image from Amazon.com	FM 2015: Formal Methods by Nikolaj Bjorner Frank de Boer Series: Lecture Notes in Computer Science Edition: 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
327.	Image from Amazon.com	Parallel Processing and Applied Mathematics by Roman Wyrzykowski Ewa Deelman Jack Dongarra Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
328.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing by Narayan Desai Walfredo Cirne Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
329.	Image from Amazon.com	NASA Formal Methods by Klaus Havelund Gerard Holzmann Rajeev Joshi Series: Lecture Notes in Computer Science Edition: 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
330.	Image from Amazon.com	Theory and Practice of Model Transformations by Davide Di Ruscio Daniel Varro Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
331.	Image from Amazon.com	Requirements Engineering: Foundation for Software Quality by Maya Daneva Oscar Pastor Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
332.	Image from Amazon.com	Software Engineering for Resilient Systems by Alexander Romanovsky Elena A Troubitsyna Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
333.	Image from Amazon.com	Service-Oriented Computing by Alistair Barros Daniela Grigori Nanjangud C Narendra Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
334.	Image from Amazon.com	Service-Oriented and Cloud Computing by Massimo Villari Kung Kiu Lau Wolf Zimmermann Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
335.	Image from Amazon.com	Integrated Formal Methods by Nadia Polikarpova Steve Schneider Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
336.	Image from Amazon.com	Fundamental Approaches to Software Engineering by Stefania Gnesi Arend Rensink Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
337.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing by Walfredo Cirne Narayan Desai Series: Lecture Notes in Computer Science Edition: 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
338.	Image from Amazon.com	Search-Based Software Engineering by Claire Le Goues Shin Yoo Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
339.	Image from Amazon.com	Modelling Foundations and Applications by Gabriele Taentzer Francis Bordeleau Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
340.	Image from Amazon.com	Theory and Practice of Model Transformation by Esther Guerra Mark van den Brand Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)