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
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2024 Collocated ...
ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Herausgegeben von:
Proença, José
|
Fervari, Raul
|
Martins, Manuel A.
, et al.
Buch (broschiert)
ca. 102.00 CHF
erhältlich ab Juli 2025
In den Warenkorb
Bibliografische Angaben
Juli 2025
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-94747-6
Schlagworte
Bibliografische Angaben
Juli 2025
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-94747-6
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
Polynomial Functors
A Mathematical Theory of Interaction
Niu, Nelson
|
Spivak David I.
Cambridge Academic
,
2025
978-1-009-57671-0
ca. 125.00 CHF
erhältlich ab Juli 2025
Digital Product Management
Managing Product Development, Launch and Support
Lee, Boon Kee
Taylor and Francis
,
2025
978-1-041-01322-8
110.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Programming Language Pragmatics
Scott, Michael
|
Aldrich, Jonathan
Elsevier
,
2025
978-0-323-99966-3
ca. 129.00 CHF
erhältlich ab April 2025
Controlling the Effective Hamiltonian of a Driven Quantum Superconducting ...
Venkatraman, Jayameenakshi
Springer International Publishing
,
2025
978-3-031-83269-7
159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
NASA Formal Methods
17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11–13, 2025, Proceedings
Dutle, Aaron
|
Humphrey, Laura
|
Titolo, Laura
Springer International Publishing
,
2025
978-3-031-93705-7
ca. 168.00 CHF
erhältlich ab Juni 2025
Human-Computer Interaction
10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4–7, 2024, Revised Selected Papers
Agredo-Delgado, Vanessa
|
Ruiz, Pablo H.
|
Meneses Escobar, Carlos Augusto
Springer International Publishing
,
2025
978-3-031-91327-3
ca. 188.00 CHF
erhältlich ab Juli 2025
Performance Evaluation and Benchmarking
16th TPC Technology Conference, TPCTC 2024, Guangzhou, China, August 30, 2024, Revised Selected Papers
Nambiar, Raghunath
|
Poess, Meikel
Springer International Publishing
,
2025
978-3-031-93857-3
ca. 69.00 CHF
erhältlich ab Juli 2025
Number-Theoretic Methods in Cryptology
4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24–26, 2024, Revised Selected Papers
Dąbrowski, Andrzej
|
Pieprzyk, Josef
|
Pomykała, Jacek
Springer International Publishing
,
2025
978-3-031-82379-4
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Information Technology
An Introduction for Today's Digital World
Fox Richard
Taylor and Francis
,
2025
978-1-032-86720-5
ca. 255.00 CHF
erhältlich ab Juni 2025
Python for Mathematics
Knight Vincent
Taylor and Francis
,
2025
978-1-032-58817-9
ca. 239.00 CHF
erhältlich ab Mai 2025
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2026
978-3-662-67655-4
ca. 71.00 CHF
erhältlich ab Februar 2026
A Compendium of Responsible Artificial Intelligence
Kumar Jain, Deepak
|
Bhatele, Kirti Raj
|
Garg, Deepak
Taylor and Francis
,
2025
978-1-032-82527-4
ca. 225.00 CHF
erhältlich ab Juli 2025