Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Software engineering. - System Performance and Evaluation.

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-09-25T19:26:03Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-09-25T19:26:03Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-31157-5
Format: Electronic Resources

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Fontaine, Pascal. editor.
https://doi.org/10.1007/978-3-030-29436-6
Format: Electronic Resources

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2024-09-25T19:26:03Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-030-31514-6
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-09-25T19:26:03Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2024-09-25T19:26:03Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources

Lectures on Runtime Verification Introductory and Advanced Topics

2024-09-25T19:26:03Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-09-25T19:26:03Z

Yazar Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-09-25T19:26:03Z

Yazar Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-09-25T19:26:03Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-09-25T19:26:03Z

Yazar Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-09-25T19:26:03Z

Yazar Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-09-25T19:26:03Z

Yazar Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-09-25T19:26:03Z

Yazar Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-09-25T19:26:03Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-09-25T19:26:03Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-09-25T19:26:03Z

Yazar Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2024-09-25T19:26:03Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2024-09-25T19:26:03Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

2024-09-25T19:26:03Z

Yazar Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

2024-09-25T19:26:03Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2024-09-25T19:26:03Z

Yazar Reinecke, Philipp. editor.
https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-09-25T19:26:03Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-09-25T19:26:03Z

Yazar Hildebrandt, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-09-25T19:26:03Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-09-25T19:26:03Z

Yazar Fiems, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-09-25T19:26:03Z

Yazar van Eekelen, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

2024-09-25T19:26:03Z

Yazar Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

2024-09-25T19:26:03Z

Yazar Horváth, András. editor.
http://dx.doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-09-25T19:26:03Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources