DE
|
FR
Fokusthemen
Thema
Arbeitsrecht
Familienrecht
Sozialversicherungsrecht
Strafrecht
Recht studieren
Studium
Publikationen
Literatur
Bücher
Buchreihen
Zeitschriften
Studienliteratur
Datenbanken
Onlinemodule LEXIA
recht.ch
Services
Dienstleistungen für
Geschäftskunden
Buchhandlungen
Presse
Dozierende
Studierende
Inserierende
Corporate Books
Corporate Publishing
Publishing Lösungen
Content solutions
Aktuelles
Newsletter
Veranstaltungen
Blog
Autorinnen/Autoren
Unsere Schreibenden
Unsere Autorinnen und Autoren
Autorenstimmen
Hilfe
Autorenlounge
Bei uns publizieren
Verlag
Über uns
Mitarbeitende
Geschichte
Vision und Mission
Unternehmenskultur
Themen
Nachhaltigkeit
Open Access
Karriere
Mehr wissen
Newsletter
Unser Magazin
Partner
Kontakt
Shop
Schweizer Recht
Neuerscheinungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Ausländisches Recht
Neuerscheinungen
Vorankündigungen
Über unseren Shop
Sortiment und Funktionen
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Newsletteraktion:
Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025
10% Rabatt
auf Ihre Onlinebestellungen.
Infos und Anmeldung.
Download Cover
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10–12, 2025, Proceedings
Herausgegeben von:
Gallina, Barbara
|
Törngren, Martin
|
Bitsch, Friedemann
Buch (broschiert)
ca. 91.00 CHF
erscheint im September
In den Warenkorb
Bibliografische Angaben
September 2025
,
ca. 230 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-032-01240-1
Inhaltsverzeichnis
Schlagworte
Bibliografische Angaben
September 2025
,
ca. 230 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-032-01240-1
Inhaltsverzeichnis
Schlagworte
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigen
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
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
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
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
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Hameurlain, Abdelkader
|
Tjoa, A Min
Springer
,
2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Superposition for Higher-Order Logic
Bentkamp, Alexander
Springer International Publishing
,
2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Escobar, Santiago
|
Titolo, Laura
Springer International Publishing
,
2025
978-3-032-04847-9
ca. 81.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part IV
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04626-0
ca. 188.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part III
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04623-9
ca. 188.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part V
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04629-1
ca. 188.00 CHF
erscheint im November
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Jeż, Artur
|
Otop, Jan
Springer International Publishing
,
2025
978-3-032-04699-4
ca. 102.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part II
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04616-1
ca. 188.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part I
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04613-0
ca. 273.00 CHF
erscheint im November
Weitere Titel zum Thema
Control of Renewable Power Systems
A Fully Actuated System Approach
Yu, Yi
|
Liu, Guo-Ping
|
Guerrero, Joseph M.
Springer EN
,
2026
978-981-9517-02-2
ca. 69.00 CHF
erscheint im Februar
Künstliche Intelligenz und Mensch
Eine kulturhistorische Reise von der Vergangenheit in unsere Zukunft
Jaeger, Lars
|
Naji, Alexander
Springer
,
2026
978-3-662-72144-5
ca. 46.90 CHF
erscheint im Januar
General Audio Signal Processing with Deep Learning
Xu, Kele
Springer EN
,
2026
978-981-9508-35-8
ca. 215.00 CHF
erscheint im Januar
Consensus
Fueling Blockchain Innovation and DApp Expansion
Ahmadian, Ali
|
Ashok Kumar Yadav
|
Pal, Om
Elsevier
,
2026
978-0-443-40439-9
ca. 235.00 CHF
erscheint im Januar
A Brief History of Computing
O'Regan, Gerard
Springer International Publishing
,
2026
978-3-032-04254-5
ca. 63.00 CHF
erscheint im Januar
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2026
978-3-662-67655-4
ca. 71.00 CHF
erscheint im Februar
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
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
Robophilosophy
Philosophy of, for, and by Social Robotics
Seibt, Johanna
|
Hakli, Raul
|
Norskov, Marco
MIT Press
,
2026
978-0-262-04498-1
ca. 161.00 CHF
erscheint im Januar
Machine Learning and Big Data-enabled Biotechnology
Alper, Hal S.
Wiley-VCH
,
2026
978-3-527-35474-0
ca. 178.00 CHF
erscheint im Februar
Perturbations in Mechatronic, Energy, and Robotic Systems
Estimation and Attenuation
Rubio, Jose de Jesus
Wiley
,
2026
978-1-394-38063-3
ca. 189.00 CHF
erscheint im April
Design and Implementation of Soft Robotic Manipulators
Zhang, Xiang
|
Fu, Kangjia
|
Wu, Xuesong
Springer EN
,
2026
978-981-9516-56-8
ca. 178.00 CHF
erscheint im Januar
Quantum Machine Learning (QML): Platform, Tools and Applications: Volume 140
Elsevier
,
2026
978-0-443-22382-2
ca. 205.00 CHF
erscheint im Februar