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
Informations bibliographiques
septembre 2025, env. 230 pages, Computer Science Foundations and Applied Logic, Anglais
Springer International Publishing
978-3-031-98344-3
Mots-clés
Informations bibliographiques
septembre 2025, env. 230 pages, Computer Science Foundations and Applied Logic, Anglais
Springer International Publishing
978-3-031-98344-3
Mots-clés
Autres titres de la collection: Computer Science Foundations and Applied Logic
Afficher toutConcise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
env. 90.00 CHF
disponible dès août 2025
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
env. 103.00 CHF
disponible dès juillet 2025
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
104.00 CHF
livrable dans env. 20-45 jours
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer Nature EN, 2025
978-3-031-74761-8
237.00 CHF
livrable dans env. 20-45 jours
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
262.00 CHF
livrable dans env. 20-45 jours
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer Nature EN, 2025
978-3-031-48280-9
84.00 CHF
livrable dans env. 20-45 jours
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
239.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Overcoming Method-Centrism, Volume 1
A Universe of Relations
Springer International Publishing, 2026
978-3-031-44427-2
env. 158.00 CHF
disponible dès janvier 2026
Recent Advances in Time-Series Classification—Methodology and Applications
Springer International Publishing, 2025
978-3-031-77526-0
199.00 CHF
livrable dans env. 20-45 jours
Elements of Network Science
Theory, Methods and Applications in Stata, R and Python
Springer International Publishing, 2025
978-3-031-84711-0
147.00 CHF
livrable dans env. 20-45 jours
Coupling and Ergodic Theorems for Semi-Markov-Type Processes I
Markov Chains, Renewal, and Regenerative Processes
Springer International Publishing, 2025
978-3-031-89310-0
env. 238.00 CHF
disponible dès juillet 2025
Numerical Methods for Extreme Responses of Dynamical Systems
Finite Dimensional Models
Springer International Publishing, 2025
978-3-031-75022-9
207.00 CHF
livrable dans env. 20-45 jours
Intelligent Systems
34th Brazilian Conference, BRACIS 2024, Belém do Pará, Brazil, November 17–21, 2024, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-79031-7
103.00 CHF
livrable dans env. 20-45 jours
Basiswissen Medizinische Statistik
Springer, 2025
978-3-662-70556-8
env. 52.50 CHF
disponible dès novembre 2025
Multivariate Analysis
An Application-Oriented Introduction
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-47930-5
env. 78.00 CHF
disponible dès août 2025
Karl Jaspers und Martin Heidegger
Annäherungen an ein spannungsreiches Verhältnis zwischen Philosophie und Politik
Universitätsvlg. Winter, 2025
978-3-8253-4986-8
env. 86.00 CHF
disponible dès janvier 2025
Statistical Models and Learning Methods for Complex Data
Springer International Publishing, 2025
978-3-031-84701-1
env. 189.00 CHF
disponible dès septembre 2025
Verified Software. Theories, Tools and Experiments
16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-86694-4
70.00 CHF
livrable dans env. 20-45 jours