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 for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Informations bibliographiques
juillet 2019, env. 161 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer EN
978-3-030-27007-0
Sommaire
Mots-clés
Informations bibliographiques
juillet 2019, env. 161 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer EN
978-3-030-27007-0
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 EN, 2019
978-3-030-26249-5
env. 92.00 CHF
livrable dans env. 20-45 jours
OpenMP: Conquering the Full Hardware Spectrum
15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Springer EN, 2019
978-3-030-28595-1
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 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 EN, 2019
978-3-030-27454-2
env. 70.00 CHF
livrable dans env. 20-45 jours
End-User Development
7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Springer EN, 2019
978-3-030-24780-5
env. 82.00 CHF
livrable dans env. 20-45 jours
Reuse in the Big Data Era
18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Springer EN, 2019
978-3-030-22887-3
env. 70.00 CHF
livrable dans env. 20-45 jours
Services Computing – SCC 2019
16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23553-6
env. 70.00 CHF
livrable dans env. 20-45 jours
Services – SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23380-8
env. 70.00 CHF
livrable dans env. 20-45 jours
Web Services – ICWS 2019
26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23498-0
env. 70.00 CHF
livrable dans env. 20-45 jours
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 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 EN, 2019
978-3-030-22396-0
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 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 EN, 2019
978-3-030-21758-7
env. 89.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Quantum Communication and Cryptography
Elsevier, 2026
978-0-443-21532-2
env. 149.00 CHF
paraît en février
Fusing The Application Of Radiation Imaging Technology With Ai: From Theory To ...
Ingram Publishers Services, 2026
978-981-1294-46-4
env. 149.00 CHF
paraît en février
Artificial Intelligence: Analytics, Platforms, and Risks
Springer International Publishing, 2026
978-3-031-64391-0
env. 40.90 CHF
paraît en février
Medical Analytics for Clinical and Healthcare Applications
Wiley, 2026
978-1-394-30145-4
env. 249.00 CHF
paraît en janvier
The Routledge Companion to Digital Humanities in Theatre and Performance
Taylor and Francis, 2026
978-1-138-91777-4
env. 240.00 CHF
livrable dans env. 10-20 jours
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-243621-0
env. 76.00 CHF
livrable dans env. 10-20 jours
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Uni-TaschenbücherBrill | Fink alt, 2026
978-3-8252-6288-4
env. 28.50 CHF
paraît en janvier
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-272955-8
env. 196.00 CHF
livrable dans env. 10-20 jours
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82533-7
env. 140.00 CHF
livrable dans env. 10-20 jours
Handbook of Nature Inspired Algorithms
Models and Applications
978-1-394-16644-2
env. 270.00 CHF
livrable dans env. 10-20 jours