Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Contenu
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Informations bibliographiques
octobre 2018, env. 271 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer Nature EN
978-3-030-03043-8
Sommaire
Mots-clés
Contenu
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Informations bibliographiques
octobre 2018, env. 271 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer Nature EN
978-3-030-03043-8
Sommaire
Mots-clés
Autres titres de la collection: Programming and Software Engineering
Afficher toutComputer 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
env. 92.00 CHF
livrable dans env. 20-45 jours
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
env. 82.00 CHF
livrable dans env. 20-45 jours
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
env. 70.00 CHF
livrable dans env. 20-45 jours
Intelligent Tutoring Systems
15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Springer Nature EN, 2019
978-3-030-22243-7
env. 82.00 CHF
livrable dans env. 20-45 jours
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
env. 89.00 CHF
livrable dans env. 20-45 jours
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
env. 92.00 CHF
livrable dans env. 20-45 jours
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
env. 70.00 CHF
livrable dans env. 20-45 jours
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
env. 70.00 CHF
livrable dans env. 20-45 jours
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
env. 70.00 CHF
livrable dans env. 20-45 jours
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
env. 70.00 CHF
livrable dans env. 20-45 jours
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
env. 92.00 CHF
livrable dans env. 20-45 jours
Programming with Actors
State-of-the-Art and Research Perspectives
Springer Nature EN, 2018
978-3-030-00301-2
env. 70.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Machine Learning and Big Data-enabled Biotechnology
Wiley-VCH, 2026
978-3-527-35474-0
env. 178.00 CHF
paraît en février
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-272955-8
env. 195.00 CHF
livrable dans env. 10-20 jours
Distributed Computing and Intelligent Data Analytics
Wiley, 2026
978-1-394-39596-5
env. 289.00 CHF
paraît en février
AI and Data Engineering for Healthcare
Real-World Applications and Case Studies
Taylor and Francis, 2026
978-1-032-98846-7
env. 239.00 CHF
paraît en janvier
The Linux Command Line, 3rd Edition
A Complete Introduction
Random House N.Y., 2026
978-1-7185-0452-3
env. 57.90 CHF
paraît en janvier
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14246-1
env. 179.00 CHF
paraît en février
Bipolar Fuzzy Hybrid Aggregation Operators for Decision-Making
Wiley, 2026
978-1-394-23388-5
env. 201.00 CHF
paraît en avril
On Digital Architecture in Ten Books
Vol. 3: Books VII–X
Birkhäuser Verlag, 2026
978-3-0356-2604-9
env. 63.00 CHF
paraît en avril
Web Programming with PHP and MySQL
A Practical Guide
Springer International Publishing, 2026
978-3-032-02036-9
env. 76.00 CHF
paraît en janvier
Quantum Algorithms and Their Applications in Cryptology
Taylor and Francis, 2026
978-1-032-99817-6
env. 195.00 CHF
paraît en février
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14247-8
env. 75.00 CHF
paraît en février