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 II

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 II

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held...

Full description

Bibliographic Details
Format:	eBook
Language:	English
Published:	Springer Nature 2019
Series:	Lecture Notes in Computer Science
Subjects:	Algorithms and data structures Artificial intelligence Computer architecture and logic design Computer programming / software engineering Mathematical theory of computation Software Engineering Algorithms Computer logic Computer science Logic design Mathematical logic Software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
Online Access:	Open Access: DOAB: description of the publication Open Access: DOAB, download the publication

Similar Items

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
Published: (2019)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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
Published: (2019)

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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
Published: (2019)

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Published: (2024)

Managed Software Evolution
Published: (2019)

Solving PDEs in Python: The FEniCS Tutorial I
Published: (2017)

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems
Published: (2019)

The Future of Software Quality Assurance
Published: (2020)

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Published: (2024)

The Amazing Journey of Reason from DNA to Artificial Intelligence
Published: (2020)

Histoire illustrée de l'informatique
Published: (2022)

Automated Machine Learning Methods, Systems, Challenges
Published: (2019)

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Published: (2023)

Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers
Published: (2022)

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Published: (2019)

Objective Information Theory
Published: (2023)

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Published: (2019)

Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems
Published: (2020)

Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
Published: (2023)

How AI Impacts Urban Living and Public Health 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
Published: (2019)

The Nature of Physical Computation
Published: (2022)

Scaling a Software Business: The Digitalization Journey
Published: (2017)

Hyperparameter Tuning for Machine and Deep Learning with R A Practical Guide
Published: (2023)

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
Published: (2017)

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Published: (2023)

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
Published: (2023)

Variant Construction from Theoretical Foundation to Applications
Published: (2019)

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
Published: (2018)

The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
Published: (2018)

The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition
Published: (2019)

Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers
Published: (2022)

Medical Imaging Systems An Introductory Guide
Published: (2018)

Responsible Use of AI in Military Systems
Published: (2024)

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Published: (2024)

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Published: (2024)

Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
Published: (2023)

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers
Published: (2019)

Chapter Digital Twins for Smart Decision Making in Asset Management
Published: (2023)

Discovery in Physics
Published: (2022)

Fundamentals
Published: (2022)