Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
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
Logical Foundations of Computer Science
Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Contenu
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Informations bibliographiques
mai 2007, 516 pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer Nature EN
978-3-540-72732-3
Sommaire
Mots-clés
Contenu
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Informations bibliographiques
mai 2007, 516 pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer Nature EN
978-3-540-72732-3
Sommaire
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. 103.00 CHF
disponible dès mars 2026
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
disponible dès mars 2026
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
disponible dès mars 2026
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98684-0
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-98678-9
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98667-3
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-98681-9
env. 55.90 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98413-6
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-031-98461-7
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-031-98464-8
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98458-7
env. 102.00 CHF
disponible dès août 2025
Autres titres sur ce thème
Internet Governance
A Human Rights Perspective
Taylor and Francis, 2026
978-1-138-79864-9
env. 149.00 CHF
disponible dès janvier 2026
Mobile Intelligence for Autonomous Driving Systems
V2X, ITS & Telematics
978-1-394-34205-1
env. 269.00 CHF
disponible dès mars 2026
Study Guide for TOGAF 9.1 Certifications
Taylor and Francis, 2026
978-1-138-19603-2
env. 105.00 CHF
disponible dès janvier 2026
Non-Volatile Memory and Selector Devices
Technology and Applications
Wiley-VCH, 2026
978-3-527-35399-6
env. 354.00 CHF
disponible dès janvier 2026
Bipolar Fuzzy Hybrid Aggregation Operators for Decision-Making
Wiley, 2026
978-1-394-23388-5
env. 201.00 CHF
disponible dès avril 2026
Quantum Computing and Machine Learning for 6G
978-1-394-23808-8
env. 275.00 CHF
disponible dès mars 2026
Beginner's Step-by-Step Coding Course
Learn Computer Programming the Easy Way
Random House N.Y., 2026
978-0-593-96348-7
env. 36.50 CHF
disponible dès janvier 2026
Automation of Logic
Taylor and Francis, 2026
978-1-4398-7535-3
env. 115.00 CHF
disponible dès janvier 2026
Security, Transportation, and the Supply Chain
Mitigating Threats and Facilitating the Flow of Commerce
Taylor and Francis, 2026
978-1-4665-7815-9
env. 85.00 CHF
disponible dès janvier 2026