Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Tools and Algorithms for the Construction and Analysis of Systems

More books from Springer Berlin Heidelberg

bigCover of the book Untreue zum Nachteil der GmbH by

bigCover of the book Statistical Pronunciation Modeling for Non-Native Speech Processing by

bigCover of the book Geological and Biological Effects of Impact Events by

bigCover of the book The Social Psychology of Intergroup Conflict by

bigCover of the book Micro-Segmented Flow by

bigCover of the book Solutions of Nonlinear Schrӧdinger Systems by

bigCover of the book Bioreactor Systems for Tissue Engineering II by

bigCover of the book Pretreatment Techniques for Biofuels and Biorefineries by

bigCover of the book Remote Sensing for Site Characterization by

bigCover of the book Double Contrast Examination of the Colon by

bigCover of the book Remote Sensing Advances for Earth System Science by

bigCover of the book Competition and Coexistence by

bigCover of the book Führung und Gefühl by

bigCover of the book Plant Electrophysiology by

bigCover of the book Clinical Gastrointestinal Endoscopy by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy