Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Software Engineering and Formal Methods
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Bibliografische Angaben
November 2024, ca. 462 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-77381-5
Inhaltsverzeichnis
Schlagworte
Bibliografische Angaben
November 2024, ca. 462 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-77381-5
Inhaltsverzeichnis
Schlagworte
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigenConsolidated 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
ca. 102.00 CHF
erscheint im März
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
ca. 102.00 CHF
erscheint im März
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
ca. 102.00 CHF
erscheint im März
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
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
ca. 91.00 CHF
erscheint im Oktober
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
ca. 91.00 CHF
erscheint im Oktober
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
ca. 91.00 CHF
erscheint im Oktober
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erscheint im Oktober
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
ca. 102.00 CHF
erscheint im September
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
ca. 102.00 CHF
erscheint im September
Software Architecture
19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02137-3
ca. 102.00 CHF
erscheint im September
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
ca. 168.00 CHF
erscheint im September
Weitere Titel zum Thema
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-243621-0
ca. 75.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
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
Noch nicht erschienen. Termin unbestimmt.
Artificial Intelligence
Transcending Traditional Paradigms
Springer International Publishing, 2026
978-3-031-91083-8
ca. 96.00 CHF
erscheint im Januar
Realität+
Virtuelle Welten und die Probleme der Philosophie
Suhrkamp, 2026
978-3-518-30075-6
ca. 35.90 CHF
erscheint im Februar
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2026
978-3-030-86860-4
ca. 168.00 CHF
erscheint im Januar
Artificial Intelligence and Power in Government
Springer International Publishing, 2026
978-3-032-01892-2
ca. 188.00 CHF
erscheint im Januar
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
ca. 31.90 CHF
erscheint im Januar
AI Innovations in Public Services
The Case of National Libraries
Springer International Publishing, 2026
978-3-032-01343-9
ca. 69.00 CHF
erscheint im Januar
Artificial Intelligence Act
Article-by-Article Commentary
NomosHart PublishingC.H.Beck, 2026
978-3-8487-8848-4
ca. 289.00 CHF
erscheint im März
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-272955-8
ca. 195.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Intelligente Verfahren
Identifikation und Regelung nichtlinearer Systeme
Springer, 2026
978-3-662-59768-2
ca. 138.00 CHF
erscheint im März