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.
Logic and Its Applications
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Informations bibliographiques
mai 2025, env. 263 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-89609-5
Mots-clés
Informations bibliographiques
mai 2025, env. 263 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-89609-5
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. 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
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
Springer International Publishing, 2026
978-3-031-83734-0
env. 102.00 CHF
paraît en mars
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 23–26, 2025, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-032-01798-7
env. 91.00 CHF
paraît en octobre
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, Revised Selected Papers, Part II
Springer International Publishing, 2025
978-3-032-01805-2
env. 91.00 CHF
paraît en octobre
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, Revised Selected Papers, Part III
Springer International Publishing, 2025
978-3-032-01822-9
env. 91.00 CHF
paraît en octobre
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
paraît en octobre
Constructive Approaches for Security Analysis and Design of Embedded Systems
First International Conference, CASCADE 2025, Saint-Etienne, France, April 2–4, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-01404-7
env. 102.00 CHF
paraît en septembre
Financial Cryptography and Data Security. FC 2025 International Workshops
CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-032-00491-8
env. 102.00 CHF
paraît en septembre
Software Architecture
19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02137-3
env. 102.00 CHF
paraît en septembre
Computer Information Systems and Industrial Management
24th International Conference, CISIM 2025, Fukuoka, Japan, September 11–13, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02405-3
env. 168.00 CHF
paraît en septembre
Autres titres sur ce thème
Wirtschaftsinformatik
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-49208-3
env. 65.00 CHF
paraît en janvier
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
Artificial Intelligence and Power in Government
Springer International Publishing, 2026
978-3-032-01892-2
env. 188.00 CHF
paraît en janvier
Künstliche Intelligenz in Seminar- und Abschlussarbeiten
Ein Praxisleitfaden für Studierende mit Handlungsempfehlungen, Prompt-Beispielen und kritischer Einordnung
Springer, 2026
978-3-662-71541-3
env. 31.90 CHF
paraît en janvier
Praxis der Teleportation
Anwendungen der virtuellen und erweiterten Realität in Wirtschaft und Wissenschaft
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48557-3
env. 40.90 CHF
paraît en février
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-243621-0
env. 75.00 CHF
livrable dans env. 10-20 jours
KI-VO
Gesetz über künstliche Intelligenz. Kommentar
Beck, C H, 2026
978-3-406-79469-8
env. 221.00 CHF
paraît en mars
KI-VO
Verordnung über Künstliche Intelligenz
Beck, C H, 2026
978-3-406-79167-3
env. 159.00 CHF
paraît en janvier
Management in der Radiologie
Controlling, Qualitätsmanagement, Digitalisierung
Springer, 2026
978-3-662-64779-0
env. 127.00 CHF
livrable dans env. 20-45 jours
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2026
978-3-030-86860-4
env. 168.00 CHF
paraît en janvier
Model-Based Systems Engineering with the SPES Modeling Language
A SysML Workbench for the SPES Methodology
Springer International Publishing, 2026
978-3-031-57294-4
55.90 CHF
Pas encore paru.
Handbuch Digitale Medien und Methoden
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-36624-7
env. 159.00 CHF
paraît en janvier