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.
Fundamentals of Computation Theory
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Contenu
This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroc¿aw, Poland, during September 15–17, 2025.
The 32 full papers included in this volume were carefully reviewed and selected from 50 submissions. They present the fundamentals of computation theory including topics such as algorithms, complexity and formal methods.
Informations bibliographiques
novembre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-04699-4
Mots-clés
Contenu
This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroc¿aw, Poland, during September 15–17, 2025.
The 32 full papers included in this volume were carefully reviewed and selected from 50 submissions. They present the fundamentals of computation theory including topics such as algorithms, complexity and formal methods.
Informations bibliographiques
novembre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-04699-4
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
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
env. 103.00 CHF
paraît en décembre
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
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
env. 81.00 CHF
paraît en novembre
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
env. 188.00 CHF
paraît en novembre
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
env. 188.00 CHF
paraît en novembre
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
env. 188.00 CHF
paraît en novembre
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
env. 188.00 CHF
paraît en novembre
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
env. 273.00 CHF
paraît en novembre
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04586-7
env. 91.00 CHF
paraît en octobre
Autres titres sur ce thème
Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9–10, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-80506-6
env. 70.00 CHF
livrable dans env. 20-45 jours
Developments in Language Theory
29th International Conference, DLT 2025, Seoul, South Korea, August 19–22, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-01474-0
env. 168.00 CHF
paraît en septembre
Modern Cryptography
From RSA to Zero-Knowledge and Beyond
978-3-662-67442-0
env. 96.00 CHF
paraît en mars
International Conference on Applied Technologies
6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20–22, 2024, Revised Selected Papers, Part II
Springer International Publishing, 2025
978-3-031-89759-7
env. 124.00 CHF
livrable dans env. 20-45 jours
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
International Workshops of ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Revised Selected Papers, Part V
Springer International Publishing, 2025
978-3-031-74642-0
env. 117.00 CHF
livrable dans env. 20-45 jours
The Semantic Web
22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1–5, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-94577-9
env. 92.00 CHF
livrable dans env. 20-45 jours
Classical Machine Learning
A Practical Guide Using Python
Springer International Publishing, 2026
978-3-032-04398-6
env. 103.00 CHF
paraît en janvier
Ever-Evolving Groups
An Introduction to Modern Finite Group Theory
Springer International Publishing, 2025
978-3-031-89010-9
env. 97.00 CHF
livrable dans env. 20-45 jours
Computer-Human Interaction Research and Applications
8th International Conference, CHIRA 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-82632-0
env. 117.00 CHF
livrable dans env. 20-45 jours
Advanced Intelligent Computing Technology and Applications
21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XI
Springer EN, 2025
978-981-9500-00-0
env. 123.00 CHF
livrable dans env. 20-45 jours
Service-Oriented Computing – ICSOC 2024 Workshops
ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3–6, 2024, Revised Selected Papers, Part I
Springer EN, 2025
978-981-9672-37-0
env. 188.00 CHF
livrable dans env. 20-45 jours