Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Inhalt
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Bibliografische Angaben
Oktober 2018, ca. 271 Seiten, Programming and Software Engineering, Lecture Notes in Computer Science, Englisch
Springer Nature EN
978-3-030-03043-8
Inhaltsverzeichnis
Schlagworte
Inhalt
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Bibliografische Angaben
Oktober 2018, ca. 271 Seiten, Programming and Software Engineering, Lecture Notes in Computer Science, Englisch
Springer Nature EN
978-3-030-03043-8
Inhaltsverzeichnis
Schlagworte
Weitere Titel der Reihe: Programming and Software Engineering
Alle anzeigenComputer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Springer Nature EN, 2019
978-3-030-26249-5
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Springer Nature EN, 2019
978-3-030-26600-4
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Search-Based Software Engineering
11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Springer Nature EN, 2019
978-3-030-27454-2
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Intelligent Tutoring Systems
15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Springer Nature EN, 2019
978-3-030-22243-7
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
Springer Nature EN, 2019
978-3-030-21758-7
ca. 89.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Springer Nature EN, 2019
978-3-030-20651-2
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Accelerator Programming Using Directives
5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Springer Nature EN, 2019
978-3-030-12273-7
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
Springer Nature EN, 2018
978-3-030-02670-7
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I
Springer Nature EN, 2018
978-3-030-02609-7
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Springer Nature EN, 2018
978-3-030-01089-8
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Software Architecture
12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Springer Nature EN, 2018
978-3-030-00760-7
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Programming with Actors
State-of-the-Art and Research Perspectives
Springer Nature EN, 2018
978-3-030-00301-2
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
Programming Massively Parallel Processors
A Hands-on Approach
Elsevier, 2026
978-0-443-43900-1
ca. 119.00 CHF
erscheint im Februar
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
392.00 CHF
Noch nicht erschienen. Termin unbestimmt.
Theoretical and Computational Fluid Mechanics
Existence, Blowup and Discrete Exterior Calculus Problems, Volume II
Taylor and Francis, 2026
978-1-032-98931-0
ca. 179.00 CHF
erscheint im Januar
Embedded Systems in Automotive Applications
Elsevier, 2026
978-0-443-33861-8
ca. 299.00 CHF
erscheint im Januar
Reliability Assessment of Flow Networks and Industrial Systems
Bridging Theory and Applications
Elsevier, 2026
978-0-443-33883-0
ca. 259.00 CHF
erscheint im Januar
On Digital Architecture in Ten Books
Vol. 3: Books VII–X
Birkhäuser Verlag, 2026
978-3-0356-2604-9
ca. 63.00 CHF
erscheint im April
Distributed Computing and Intelligent Data Analytics
Wiley, 2026
978-1-394-39596-5
ca. 289.00 CHF
erscheint im Februar
Learning-Driven Game Theory for AI
Concepts, Models, and Applications
Elsevier, 2026
978-0-443-43852-3
ca. 235.00 CHF
erscheint im Februar
The Linux Command Line, 3rd Edition
A Complete Introduction
Random House N.Y., 2026
978-1-7185-0452-3
ca. 57.90 CHF
erscheint im Januar
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14247-8
ca. 75.00 CHF
erscheint im Februar
Coding for Erasure Channels
Cambridge Academic, 2026
978-1-107-13155-2
ca. 165.00 CHF
erscheint im Februar