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.
Trends in Functional Programming
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Herausgegeben von:Gibbons, Jeremy
Bibliografische Angaben
August 2025, ca. 525 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99750-1
Schlagworte
Bibliografische Angaben
August 2025, ca. 525 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99750-1
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
Information Management and Big Data
11th Annual International Conference, SIMBig 2024, Ilo, Peru, November 20–22, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-91427-0
ca. 104.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Extended Reality
International Conference, XR Salento 2025, Otranto, Italy, June 17–20, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-97768-8
ca. 102.00 CHF
erscheint im August
A Concise Introduction to Software Engineering
With Open Source and GenAI
Springer Nature EN, 2025
978-3-031-74317-7
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Artificial Intelligence: Methodology, Systems, and Applications
19th International Conference, AIMSA 2024, Varna, Bulgaria, September 18–20, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-81541-6
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Programmieren mit PHP
Einstieg in die serverseitige Webprogrammierung
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-48758-4
ca. 58.50 CHF
erscheint im Oktober
Recent Advances in Communication Networks and Embedded Systems
Proceedings of 8th International Conference on Communication and Network Technology
Springer International Publishing, 2025
978-3-031-92448-4
ca. 206.00 CHF
erscheint im September
From Code to Chip
Open-Source Automated Analog Layout Design
Springer International Publishing, 2025
978-3-031-68561-3
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Building Recommender Systems Using Large Language Models
Springer International Publishing, 2026
978-3-032-01151-0
ca. 69.00 CHF
erscheint im Februar
Applications of Artificial Intelligence and Data Science
First Global Conference, AAIDS 2024, London, UK, April 3–5, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-98497-6
ca. 103.00 CHF
erscheint im August
Consolidated 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