DE
|
FR
Focus
Domaines
Droit du travail
Droit de la famille
Droit des assurances sociales
Droit pénal
Étudier le droit
Études
Publications
Littérature
Livres
Collections
Revues
Littérature pour les études
Bases de données
Modules en ligne LEXIA
recht.ch
Services
Services pour
Professionnels
Librairies
Presse
Enseignants
Étudiants
Annonceurs
Corporate Books
Corporate Publishing
Solutions d'édition
Content solutions
Actualités
Newsletter
Événements
Blog
Auteurs
Nos Auteurs
Liste
Témoignages
Aide
Espace des auteurs
Publier chez nous
Éditions
Qui sommes-nous?
Collaborateurs
Histoire
Vision et mission
Culture d'entreprise
Thèmes
Durabilité
Open Access
Carrière
En savoir plus
Newsletter
Notre magazine
Partenaires
Contact
Shop
Droit suisse
Nouveautés
À paraître
Par domaine juridique
Commentaires
Droit étranger
Nouveautés
À paraître
À propos de notre boutique
Assortiment et recherche
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Télécharger la couverture
Model-Based Safety and Assessment
Model-Based Safety and Assessment
9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings
Publié par:
Katsaros, Panagiotis
Livre (broché)
env. 81.00 CHF
paraît en novembre
Ajouter au panier
Informations bibliographiques
novembre 2025
,
env. 395 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-032-05072-4
Mots-clés
Informations bibliographiques
novembre 2025
,
env. 395 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-032-05072-4
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher tout
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83730-2
env. 102.00 CHF
paraît en mars
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
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83731-9
env. 102.00 CHF
paraît en mars
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
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
env. 102.00 CHF
paraît en mars
Superposition for Higher-Order Logic
Bentkamp, Alexander
Springer International Publishing
,
2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in ...
Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Zhang, Tianyu
|
Saldanha, Oliver Lester
|
Han, Luyi
Springer International Publishing
,
2025
978-3-032-05558-3
env. 132.00 CHF
paraît en novembre
Simulation and Synthesis in Medical Imaging
10th International Workshop, SASHIMI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Fernandez, Virginia
|
Wiesner, David
|
Zuo, Lianrui
Springer International Publishing
,
2025
978-3-032-05572-9
env. 81.00 CHF
paraît en novembre
Deep Generative Models
5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Mukhopadhyay, Anirban
|
Oksuz, Ilkay
|
Engelhardt, Sandy
Springer International Publishing
,
2025
978-3-032-05471-5
env. 91.00 CHF
paraît en novembre
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Džeroski, Sašo
|
Levatic, Jurica
|
Pio, Gianvito
Springer International Publishing
,
2025
978-3-032-05460-9
env. 112.00 CHF
paraît en novembre
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Jeż, Artur
|
Otop, Jan
Springer International Publishing
,
2025
978-3-032-04699-4
env. 102.00 CHF
paraît en novembre
Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
Meseguer, Jose
|
Varela, Carlos A.
|
Venkatasubramanian, Nalini
Springer International Publishing
,
2025
978-3-032-05290-2
env. 112.00 CHF
paraît en octobre
Runtime Verification
25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
Könighofer, Bettina
Springer International Publishing
,
2025
978-3-032-05434-0
env. 91.00 CHF
paraît en octobre
Clinical Image-Based Procedures
14th International Workshop, CLIP 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Erdt, Marius
|
Chen, Yufei
|
Wesarg, Stefan
Springer International Publishing
,
2025
978-3-032-05478-4
env. 69.00 CHF
paraît en octobre
Autres titres sur ce thème
Machine Learning, Deep Learning, and Blockchain
Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28–29, 2023, Proceedings
Suriyan, Kannadhasan
|
Sivakumar, Prasanna Devi
|
Anand, Paavai Gopalan
Springer International Publishing
,
2025
978-3-031-88236-4
env. 147.00 CHF
livrable dans env. 20-45 jours
Wireless and Satellite Systems
14th EAI International Conference, WiSATS 2024, Harbin, China, August 23–25, 2024, Proceedings, Part II
Chen, Hsiao-Hwa
|
Meng, Weixiao
Springer International Publishing
,
2025
978-3-031-86202-1
env. 117.00 CHF
livrable dans env. 20-45 jours
Inverse Problems for Mechanical Systems
Methods, Simulations and Experiments
Morassi, Antonino
|
Kawano, Alexandre
Springer International Publishing
,
2025
978-3-031-89978-2
env. 239.00 CHF
livrable dans env. 20-45 jours
Artificial Intelligence and Intelligent Matter
Nanoscience, Soft Matter, Philosophy
te Vrugt, Michael
Springer International Publishing
,
2026
978-3-032-04128-9
env. 69.00 CHF
paraît en février
Intelligent Transport Systems: Ecology, Safety, Quality, Comfort
Proceedings of ITS ESQC 2024, Volume 2
Slavinska, Olena
|
Danchuk, Viktor
|
Kunytska, Olga
Springer International Publishing
,
2025
978-3-031-87378-2
env. 216.00 CHF
livrable dans env. 20-45 jours
Geomatics for Green and Digital Transition
27th Italian Conference, ASITA 2024, Padua, Italy, December 9-13, 2024, Proceedings, Part II
Borgogno-Mondino, Enrico
|
Zamperlin, Paola
Springer International Publishing
,
2025
978-3-031-91143-9
env. 116.00 CHF
paraît en août
Next Democratic Frontiers for Facial Recognition Technology (FRT)
The Legal, Ethical and Democratic Implications of FRT
Menéndez González, Natalia
|
Mobilio, Giuseppe
Springer International Publishing
,
2025
978-3-031-89793-1
env. 199.00 CHF
livrable dans env. 20-45 jours
Lectures on Parallel Computing
Träff, Jesper Larsson
Springer International Publishing
,
2025
978-3-031-86577-0
env. 91.00 CHF
paraît en octobre
Smart Multimedia
4th International Conference, ICSM 2024, Los Angeles, California, USA, March 28–30, 2024, Revised Selected Papers
Berretti, Stefano
|
Azari, Hossein
Springer International Publishing
,
2025
978-3-031-82474-6
env. 92.00 CHF
livrable dans env. 20-45 jours
Selected Areas in Cryptography – SAC 2024
31st International Conference, Montreal, QC, Canada, August 28–30, 2024, Revised Selected Papers, Part II
Eichlseder, Maria
|
Gambs, Sébastien
Springer International Publishing
,
2025
978-3-031-82840-9
env. 92.00 CHF
livrable dans env. 20-45 jours
Mathematik, wirklich für Informatiker:innen
Scheidemann, Volker
Springer
,
2026
978-3-032-05469-2
env. 49.90 CHF
paraît en janvier
Navigating the Deepfake Conundrum: A Manager's Roadmap
Taneja, Sanjay
|
Gupta, Swati
|
Kukreti, Mohit
Springer International Publishing
,
2025
978-3-031-90741-8
env. 239.00 CHF
livrable dans env. 20-45 jours