Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Petri Net Primer

Petri Net Primer

A Compendium on the Core Model, Analysis, and Synthesis
Livre (broché)env. 83.00 CHF
disponible dès février 2025

Informations bibliographiques

février 2025, env. 545 Pages, Computer Science Foundations and Applied Logic, Anglais
Springer International Publishing
978-3-031-48280-9

Mots-clés

Autres titres de la collection: Computer Science Foundations and Applied Logic

Afficher tout
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
0
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
env. 103.00 CHF
disponible dès avril 2025
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
env. 89.00 CHF
disponible dès mars 2025
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer International Publishing, 2025
978-3-031-74761-8
env. 236.00 CHF
disponible dès mars 2025
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
env. 260.00 CHF
disponible dès février 2025
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
237.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Optimal Iterative Learning Control
A Practitioner's Guide
Springer International Publishing, 2025
978-3-031-80235-5
env. 198.00 CHF
disponible dès avril 2025
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
env. 69.00 CHF
disponible dès avril 2026
Partial Dynamic Equations
Wave, Parabolic and Elliptic Equations on Time Scales
De Gruyter, 2025
978-3-11-163551-4
env. 192.00 CHF
disponible dès mars 2025
Constrained Markov Sequence Generation
Applications to Music and Text
Springer Nature EN, 2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
Introduction to Combinatorics and Graph Theory
Springer International Publishing, 2025
978-3-031-74251-4
env. 109.00 CHF
disponible dès avril 2025
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 390.00 CHF
disponible dès mars 2026
Data-driven Modelling and Scientific Machine Learning in Continuum Physics
Springer International Publishing, 2025
978-3-031-63364-5
env. 168.00 CHF
disponible dès août 2025