Connaissez-vous déjà notre
service clients professionnels ?
Nous nous ferons un plaisir de vous conseiller
.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Se connecter
S’enregistrer
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Focus
Domaines
Étudier le droit
Droit du travail
Études
Droit de la famille
Droit des assurances sociales
Droit pénal
Publications
Littérature
Modules en ligne LEXIA
Livres
Collections
Revues
Bases de données
recht.ch
Littérature pour les études
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Professionnels
Corporate Publishing
Content solutions
Librairies
Événements
Presse
Enseignants
Étudiants
Annonceurs
Newsletter
Blog
Auteurs
Nos Auteurs
Aide
Liste
Espace des auteurs
Publier chez nous
Témoignages
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Collaborateurs
Durabilité
Newsletter
Histoire
Open Access
Vision et mission
Carrière
Notre magazine
Culture d'entreprise
Partenaires
Contact
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Nouveautés
Nouveautés
Assortiment et recherche
À paraître
À paraître
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Télécharger la couverture
Rigorous State-Based Methods
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Publié par:
Leuschel, Michael
|
Ishikawa, Fuyuki
Livre (broché)
env. 168.00 CHF
disponible dès juillet 2025
Ajouter au panier
Informations bibliographiques
juillet 2025
,
env. 335 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-94532-8
Mots-clés
Informations bibliographiques
juillet 2025
,
env. 335 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-94532-8
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher tout
Ada 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83730-2
103.00 CHF
livrable dans env. 20-45 jours
Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83731-9
env. 102.00 CHF
disponible dès mars 2026
Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026
Lectures on Parallel Computing
Träff, Jesper Larsson
Springer International Publishing
,
2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
Fast, Low-Resource, Accurate Robust Organ and Pan-cancer Segmentation
MICCAI Challenge, FLARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings
Ma, Jun
|
Wang, Bo
Springer International Publishing
,
2025
978-3-031-96201-1
env. 91.00 CHF
disponible dès août 2025
Applied Cryptography and Network Security
23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part I
Fischlin, Marc
|
Moonsamy, Veelasha
Springer International Publishing
,
2025
978-3-031-95760-4
env. 168.00 CHF
disponible dès juillet 2025
Artificial Intelligence in Medicine
23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part I
Bellazzi, Riccardo
|
Juarez Herrero, Jose Manuel
|
Sacchi, Lucia
Springer International Publishing
,
2025
978-3-031-95837-3
env. 188.00 CHF
disponible dès juillet 2025
Applied Cryptography and Network Security
23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part II
Fischlin, Marc
|
Moonsamy, Veelasha
Springer International Publishing
,
2025
978-3-031-95763-5
env. 168.00 CHF
disponible dès juillet 2025
Applied Cryptography and Network Security
23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part III
Fischlin, Marc
|
Moonsamy, Veelasha
Springer International Publishing
,
2025
978-3-031-95766-6
env. 168.00 CHF
disponible dès juillet 2025
Artificial Intelligence in Medicine
23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part II
Bellazzi, Riccardo
|
Juarez, Jose M.
|
Sacchi, Lucia
Springer International Publishing
,
2025
978-3-031-95840-3
env. 168.00 CHF
disponible dès juillet 2025
Integration of Constraint Programming, Artificial Intelligence, and Operations ...
22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II
Tack, Guido
Springer International Publishing
,
2025
978-3-031-95975-2
env. 91.00 CHF
disponible dès juillet 2025
Integration of Constraint Programming, Artificial Intelligence, and Operations ...
22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I
Tack, Guido
Springer International Publishing
,
2025
978-3-031-95972-1
env. 91.00 CHF
disponible dès juillet 2025
Autres titres sur ce thème
Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026
Fintech and the Emerging Ecosystems
Exploring Centralised and Decentralised Financial Technologies
Zarifis, Alex
|
Cheng, Xusen
Springer International Publishing
,
2025
978-3-031-83401-1
env. 206.00 CHF
disponible dès juillet 2025
Hermeneutics at the Intersection of Medical Technology
Interpretation Reimagined
Friis, Jan Kyrre Berg Olsen
Springer International Publishing
,
2025
978-3-031-88754-3
146.00 CHF
livrable dans env. 20-45 jours
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Noller, Jörg
Uni-TaschenbücherBrill | Fink
,
2026
978-3-8252-6288-4
env. 28.50 CHF
disponible dès janvier 2026
Notebook mit Windows 11 - Leichter Einstieg für Senioren
Sonderauflage. Ohne Vorkenntnisse - große Schrift und komplett in Farbe
Kiefer, Philip
Markt + Technik
,
2025
978-3-98810-068-9
14.50 CHF
disponible de suite
Postartifizielle Literatur
Lesen im Zeitalter künstlicher Intelligenz
Bajohr, Hannes
Suhrkamp
,
2026
978-3-518-12826-8
env. 22.90 CHF
disponible dès janvier 2026
Verzauberte Vorbestimmung (Signierte Ausgabe)
Roman
Lüscher, Jonas
Hanser C.
,
2025
978-3-446-70067-3
env. 35.50 CHF
disponible dès janvier 2025
Artificial Intelligence and Speech Technology
6th International Conference, AIST 2024, Delhi, India, November 13–14, 2024, Proceedings, Part II
Sharma, Arun
|
Rani, Ritu
Springer International Publishing
,
2025
978-3-031-91339-6
env. 168.00 CHF
disponible dès juin 2025
Advances on Intelligent Computing and Data Science II
Proceedings of the 4th International Conference of Advanced Computing and Informatics (ICACIN 2024), Volume 1
Saeed, Faisal
|
Mohammed, Fathey
|
Mohammed, Errais
Springer International Publishing
,
2025
978-3-031-91350-1
env. 238.00 CHF
disponible dès juin 2025
Asimovs Kindergarten
El Arbi, Reda
Lector Books
,
2025
978-3-906913-54-4
32.00 CHF
disponible de suite
Management in der Radiologie
Controlling, Qualitätsmanagement, Digitalisierung
Teichgräber, Ulf
|
Güttler, Felix
Springer
,
2026
978-3-662-64779-0
env. 127.00 CHF
disponible dès mars 2026
Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83731-9
env. 102.00 CHF
disponible dès mars 2026