Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Logical Foundations of Computer Science
Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Inhalt
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.
Bibliografische Angaben
Mai 2007, 516 Seiten, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Englisch
Springer Nature EN
978-3-540-72732-3
Inhaltsverzeichnis
Schlagworte
Inhalt
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.
Bibliografische Angaben
Mai 2007, 516 Seiten, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Englisch
Springer Nature EN
978-3-540-72732-3
Inhaltsverzeichnis
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. 103.00 CHF
erhältlich ab März 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
ca. 102.00 CHF
erhältlich ab März 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
ca. 102.00 CHF
erhältlich ab März 2026
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 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
ca. 55.90 CHF
erhältlich ab August 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
ca. 55.90 CHF
erhältlich ab August 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
ca. 55.90 CHF
erhältlich ab August 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
ca. 55.90 CHF
erhältlich ab August 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
ca. 102.00 CHF
erhältlich ab August 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
ca. 102.00 CHF
erhältlich ab August 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
ca. 102.00 CHF
erhältlich ab August 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
ca. 102.00 CHF
erhältlich ab August 2025
Weitere Titel zum Thema
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82533-7
ca. 139.00 CHF
erhältlich ab Januar 2026
Non-Volatile Memory and Selector Devices
Technology and Applications
Wiley-VCH, 2026
978-3-527-35399-6
ca. 354.00 CHF
erhältlich ab Januar 2026
Managing Sustainable Operations of Logistics and Supply Chain Management
Trends and Future Challenges
978-1-394-23851-4
ca. 275.00 CHF
erhältlich ab Mai 2026
Zeroing Dynamics, Gradient Dynamics, and Newton Iterations
Taylor and Francis, 2026
978-1-138-89408-2
ca. 99.00 CHF
erhältlich ab Januar 2026
Code Chronicles
The Art of Storytelling in Software
Elsevier, 2026
978-0-443-29248-4
ca. 235.00 CHF
erhältlich ab Mai 2026
Nature-Inspired Computing
Bio-Inspired Algorithms
Taylor and Francis, 2026
978-1-4822-4480-9
ca. 225.00 CHF
erhältlich ab Januar 2026
The Linux Command Line, 3rd Edition
A Complete Introduction
Turnaround, 2026
978-1-7185-0452-3
ca. 57.90 CHF
erhältlich ab Januar 2026
The Stack, 10th Anniversary Edition
On Software and Sovereignty
MIT Press, 2026
978-0-262-55391-9
ca. 42.50 CHF
erhältlich ab Februar 2026