Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Trends in Functional Programming
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Publié par:Gibbons, Jeremy
Informations bibliographiques
août 2025, env. 525 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-99750-1
Mots-clés
Informations bibliographiques
août 2025, env. 525 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-99750-1
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutConsolidated 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
env. 102.00 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
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
env. 91.00 CHF
paraît en octobre
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
env. 91.00 CHF
paraît en octobre
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
env. 91.00 CHF
paraît en octobre
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
paraît en octobre
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
env. 102.00 CHF
paraît en septembre
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
env. 102.00 CHF
paraît en septembre
Software Architecture
19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02137-3
env. 102.00 CHF
paraît en septembre
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
env. 168.00 CHF
paraît en septembre
Autres titres sur ce thème
Management of Digital EcoSystems
16th International Conference, MEDES 2024, Naples, Italy, November 18–20, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-93597-8
env. 116.00 CHF
paraît en août
Python Practice Lab
Learn How to Code through Interactive Examples
University Presses, 2026
978-0-691-24360-3
env. 43.50 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
The Wireless Cookbook
Practical Wi-Fi, Bluetooth, and LoRa Projects
Random House N.Y., 2026
978-1-7185-0436-3
env. 89.00 CHF
paraît en janvier
Fälschung, Betrug, Beliebigkeit
Der Vertrauensverlust der Wissenschaft
schwabe, 2025
978-3-7965-5376-9
env. 23.00 CHF
paraît en septembre
Extended Reality
International Conference, XR Salento 2025, Otranto, Italy, June 17–20, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-97762-6
env. 102.00 CHF
paraît en août
Human-Centered Design, Operation and Evaluation of Mobile Communications
6th International Conference, MOBILE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-93060-7
env. 113.00 CHF
livrable dans env. 20-45 jours
Web Programming with PHP and MySQL
A Practical Guide
Springer International Publishing, 2026
978-3-032-02036-9
env. 76.00 CHF
paraît en janvier
Adaptive Instructional Systems
7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-92966-3
env. 92.00 CHF
livrable dans env. 20-45 jours
Advancement in Embedded and Mobile Systems
Proceedings of the 2nd ICTA-EMOS Conference, 19 - 20 September 2024, Kigali, Rwanda
Springer International Publishing, 2025
978-3-031-99218-6
env. 198.00 CHF
paraît en octobre
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
env. 102.00 CHF
paraît en mars