Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
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
Software Engineering and Formal Methods
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Informations bibliographiques
novembre 2024, 462 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-77381-5
Sommaire
Mots-clés
Informations bibliographiques
novembre 2024, 462 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-77381-5
Sommaire
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutConsolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83730-2
env. 103.00 CHF
disponible dès mars 2026
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83731-9
env. 102.00 CHF
disponible dès mars 2026
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98684-0
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-98678-9
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98667-3
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-98681-9
env. 55.90 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98413-6
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-031-98461-7
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-031-98464-8
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98458-7
env. 102.00 CHF
disponible dès août 2025
Autres titres sur ce thème
Python Practice Lab
Learn How to Code through Interactive Examples
University Presses, 2026
978-0-691-24360-3
env. 43.50 CHF
disponible dès mars 2026
Global Digital Divides in the COVID-19 Era
Purposeful Use of the Internet and Technologies
De Gruyter, 2026
978-3-11-079377-2
env. 127.00 CHF
disponible dès janvier 2026
Steuerberatung 2030
Zwischen Tradition und Vision
NWB Verlag, 2025
978-3-482-68741-9
env. 33.50 CHF
disponible dès juin 2025
Management in der Radiologie
Controlling, Qualitätsmanagement, Digitalisierung
Springer, 2026
978-3-662-64779-0
env. 127.00 CHF
disponible dès mars 2026
Lehrbuch der Softwaretechnik
Springer, 2026
978-3-662-67655-4
env. 71.00 CHF
disponible dès février 2026
Consensus
Fueling Blockchain Innovation and DApp Expansion
Elsevier, 2026
978-0-443-40439-9
env. 235.00 CHF
disponible dès janvier 2026
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
env. 69.00 CHF
disponible dès avril 2026
Python Fast Track
A Complete Guide to Rapidly Mastering and Applying Python Programming
Elsevier, 2025
978-0-443-33823-6
env. 235.00 CHF
disponible dès juin 2025
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026
Intelligente Verfahren
Identifikation und Regelung nichtlinearer Systeme
Springer, 2026
978-3-662-59768-2
env. 138.00 CHF
disponible dès mars 2026
Nachhaltige New Work
Gestaltungsansätze zum klimaneutralen und regenerativen Arbeiten
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48767-6
env. 52.50 CHF
disponible dès janvier 2026