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.
Automated Deduction – CADE 30
Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Juli 2025, ca. 756 Seiten, Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Englisch
Springer International Publishing
978-3-031-99983-3
Juli 2025, ca. 756 Seiten, Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Englisch
Springer International Publishing
978-3-031-99983-3
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
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Superposition for Higher-Order Logic
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
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
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
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
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
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
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
Springer International Publishing, 2025
978-3-032-04613-0
ca. 273.00 CHF
erscheint im November
Weitere Titel zum Thema
These Strange New Minds
How AI Learned to Talk and What It Means
Penguin Books, 2026
978-1-4059-6616-0
ca. 19.90 CHF
erscheint im Februar
Building a Sustainable Society Through Child Participation
Empowering Futures
Springer International Publishing, 2026
978-3-032-04534-8
ca. 69.00 CHF
erscheint im Februar
Integration of Federated Learning and Blockchain for Smart Cities
978-1-394-16645-9
ca. 405.00 CHF
erscheint im Februar
Untangling AI
Driving Business Success and Profit Through Enterprise Automation and AI Agents
Wiley, 2026
978-1-394-39438-8
ca. 51.50 CHF
erscheint im Februar
Practical AI Governance
Building a Program for Strategy and Oversight
Kogan Page, 2026
978-1-3986-2620-1
ca. 55.90 CHF
erscheint im Mai
Artificial Intelligence Act
Article-by-Article Commentary
Beck, C HHart Publishing, OxfordNomos Verlagsgesellschaft, Baden-Baden, 2026
978-3-406-79007-2
ca. 278.00 CHF
erscheint im Februar
New Beginnings
Why Change Is Hard and How We Can Achieve It
Scribe, 2026
978-1-917189-29-3
ca. 26.90 CHF
erscheint im Februar
Technologies in Palliative Care for Older People
Springer International Publishing, 2026
978-3-032-04276-7
ca. 123.00 CHF
erscheint im Januar
Challenges and Applications of Generative Large Language Models
Elsevier, 2026
978-0-443-33592-1
ca. 235.00 CHF
erscheint im Januar
Psychophysics and Experimental Phenomenology of Pattern Cognition
Elsevier, 2026
978-0-443-40455-9
ca. 229.00 CHF
erscheint im Januar
Wie Data Science Unternehmen transformiert
Erkenntnisse aus dem Podcast Data Science mit Milch und Zucker
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48474-3
ca. 114.00 CHF
erscheint im April
Mastering Retrieval-Augmented Generation
Advanced Techniques and Production-Ready Solutions for Enterprise AI
Springer EN, 2026
979-8-8688-1807-3
ca. 76.00 CHF
erscheint im Januar