Kennen Sie schon unseren
Geschäftskundenservice?
Wir beraten Sie gerne
.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Geschäftskunden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Sortiment und Funktionen
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Download Cover
Rigorous State-Based Methods
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Herausgegeben von:
Leuschel, Michael
|
Ishikawa, Fuyuki
Buch (broschiert)
ca. 168.00 CHF
erhältlich ab Juli 2025
In den Warenkorb
Bibliografische Angaben
Juli 2025
,
ca. 335 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-94532-8
Schlagworte
Bibliografische Angaben
Juli 2025
,
ca. 335 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-94532-8
Schlagworte
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigen
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
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 102.00 CHF
erhältlich ab März 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
ca. 102.00 CHF
erhältlich ab März 2026
Lectures on Parallel Computing
Träff, Jesper Larsson
Springer International Publishing
,
2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 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
ca. 91.00 CHF
erhältlich ab August 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
ca. 168.00 CHF
erhältlich ab Juli 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
ca. 188.00 CHF
erhältlich ab Juli 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
ca. 168.00 CHF
erhältlich ab Juli 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
ca. 168.00 CHF
erhältlich ab Juli 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
ca. 168.00 CHF
erhältlich ab Juli 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
ca. 91.00 CHF
erhältlich ab Juli 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
ca. 91.00 CHF
erhältlich ab Juli 2025
Weitere Titel zum Thema
Applications of Computational Intelligence
7th IEEE Colombian Conference, ColCACI 2024, Pamplona, Colombia, July 17–19, 2024, Revised Selected Papers
Orjuela-Cañón, Alvaro David
|
Lopez, Jesus A.
|
Suarez, Oscar J.
Springer International Publishing
,
2025
978-3-031-88853-3
188.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Explainable Machine Intelligence in Healthcare
Ortale, Riccardo
|
Costa, Giovanni
|
Forestiero, Agostino
Springer International Publishing
,
2025
978-3-031-91378-5
ca. 198.00 CHF
erhältlich ab August 2025
Machine Learning, Deep Learning and AI for Cybersecurity
Stamp, Mark
|
Jureček, Martin
Springer International Publishing
,
2025
978-3-031-83156-0
ca. 188.00 CHF
erhältlich ab Juni 2025
Artificial Intelligence and Speech Technology
6th International Conference, AIST 2024, Delhi, India, November 13–14, 2024, Proceedings, Part I
Sharma, Arun
|
Rani, Dr. Ritu
Springer International Publishing
,
2025
978-3-031-91330-3
ca. 168.00 CHF
erhältlich ab Juni 2025
Die Vierte Kränkung
Menschlicher Geist im Schatten der Künstlichen Intelligenz
Safranski, Rüdiger
Hanser C.
,
2025
978-3-446-28177-6
ca. 34.50 CHF
erhältlich ab November 2025
Was nun?
Eine Philosophie der Krise
Liessmann, Konrad Paul
Zsolnay
,
2025
978-3-552-07572-6
ca. 33.50 CHF
erhältlich ab September 2025
Management in der Radiologie
Controlling, Qualitätsmanagement, Digitalisierung
Teichgräber, Ulf
|
Güttler, Felix
Springer
,
2026
978-3-662-64779-0
ca. 127.00 CHF
erhältlich ab März 2026
Global Perspectives on AI, Ethics, and Business Economics
Charting the Future
Saura, José Ramón
Springer International Publishing
,
2025
978-3-031-88780-2
ca. 198.00 CHF
erhältlich ab Juni 2025
Digitally Transformed Education: Are We There Yet?
4th IFIP TC 3 Open Conference on Computers in Education, OCCE 2024, Bournemouth, UK, February 27 – March 1, 2024, Revised Selected Papers
Leahy, Margaret
|
Reffay, Christophe
Springer International Publishing
,
2025
978-3-031-88743-7
189.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2026
978-3-662-67655-4
ca. 71.00 CHF
erhältlich ab Februar 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
ca. 102.00 CHF
erhältlich ab März 2026
Intelligente Verfahren
Identifikation und Regelung nichtlinearer Systeme
Schröder, Dierk
|
Buss, Martin
Springer
,
2026
978-3-662-59768-2
ca. 138.00 CHF
erhältlich ab März 2026