Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Kanzleien und Behörden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Infos, Tipps und Tricks
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Download Cover
Petri Net Primer
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Von:
Best, Eike
|
Devillers, Raymond
Buch (broschiert)
ca. 83.00 CHF
erhältlich ab Februar 2025
In den Warenkorb
Bibliografische Angaben
Februar 2025
,
ca. 545 Seiten
,
Computer Science Foundations and Applied Logic
,
Englisch
Springer International Publishing
978-3-031-48280-9
Schlagworte
Bibliografische Angaben
Februar 2025
,
ca. 545 Seiten
,
Computer Science Foundations and Applied Logic
,
Englisch
Springer International Publishing
978-3-031-48280-9
Schlagworte
Weitere Titel der Reihe: Computer Science Foundations and Applied Logic
Alle anzeigen
Proof Assistants and Their Applications in Mathematics and Computer Science
Blanchette, Jasmin
|
Mahboubi, Assia
Springer International Publishing
,
2025
978-3-031-85189-6
0
erhältlich ab Juli 2025
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Farmer, William
Springer International Publishing
,
2025
978-3-031-85351-7
ca. 103.00 CHF
erhältlich ab April 2025
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Stoelinga, Mariëlle
|
Ruijters, Enno
|
Krčál, Pavel
Springer International Publishing
,
2025
978-3-031-78286-2
ca. 89.00 CHF
erhältlich ab März 2025
Multi-Valued Logic for Decision-Making Under Uncertainty
Kagan, Evgeny
|
Rybalov, Alexander
|
Yager, Ronald
Springer International Publishing
,
2025
978-3-031-74761-8
ca. 236.00 CHF
erhältlich ab März 2025
Structural Decision Diagrams in Digital Test
Theory and Applications
Ubar, Raimund
|
Raik, Jaan
|
Jenihhin, Maksim
Springer International Publishing
,
2025
978-3-031-44736-5
ca. 260.00 CHF
erhältlich ab Februar 2025
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Yukita, Shuichi
Springer International Publishing
,
2024
978-3-031-68537-8
237.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
Advances in Applied Econometrics
Celebrating Peter Schmidt's Legacy
Kumbhakar, Subal C.
|
Sickles, Robin C.
|
Wang, Hung-Jen
Springer International Publishing
,
2025
978-3-031-48384-4
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Survival Analysis
Efficient Nonparametric Curve Estimation For Censored Data with R Examples
Efromovich, Sam
Springer International Publishing
,
2025
978-3-031-82813-3
ca. 55.50 CHF
erhältlich ab April 2025
Kognitive Kybernetik
Reanimation und Erweiterung einer Wissenschaftsdisziplin zur Digitalisierung und Kognitivierung von Lebenswelten
Haun, Matthias
Springer
,
2025
978-3-662-64757-8
ca. 148.00 CHF
erhältlich ab Dezember 2025
Safety-Centric Operations Research: Innovations and Integrative Approaches
A Multidisciplinary Approach to Managing Risk in Complex Systems
Yazdi, Mohammad
Springer International Publishing
,
2025
978-3-031-82933-8
ca. 206.00 CHF
erhältlich ab März 2025
Fractional-Order Singular Systems
Robust Control Problems, Admissibility and Stabilization
Zhang, Qing-Hao
|
Lu, Jun-Guo
|
Chen, YangQuan
De Gruyter
,
2025
978-3-11-162856-1
ca. 187.00 CHF
erhältlich ab März 2025
Nichtlineare Systeme und Regelungen
Adamy, Jürgen
Springer
,
2025
978-3-662-70665-7
ca. 178.00 CHF
erhältlich ab Juli 2025
Introduction to Combinatorics and Graph Theory
Rama, R
Springer International Publishing
,
2025
978-3-031-74251-4
ca. 109.00 CHF
erhältlich ab April 2025
Introduction to Operations and Supply Chain Simulation with AnyLogic
Ivanov, Dmitry
|
Millhiser, William P.
|
Nguyen, Phu
Springer International Publishing
,
2025
978-3-031-73663-6
ca. 134.00 CHF
erhältlich ab März 2025
Künftige Informatik
Technologischer Um- und Ausbau der traditionellen Informatik als logische und praktische Konsequenz der Digitalisierung und Kognitivierung zukünftiger Lebenswelten
Haun, Matthias
Springer
,
2025
978-3-662-64759-2
ca. 71.00 CHF
erhältlich ab Dezember 2025
Overcoming Method-Centrism
A transdisciplinary meta-paradigm to tackle psychology’s crises
Uher, Jana
Springer International Publishing
,
2025
978-3-031-44427-2
ca. 146.00 CHF
erhältlich ab Oktober 2025
Brot und Strom für 10 Milliarden Menschen
Nahrung und Energie für eine wachsende Bevölkerung
Stierstadt, Klaus
Springer
,
2025
978-3-662-69348-3
ca. 27.90 CHF
erhältlich ab Juli 2025
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Stoelinga, Mariëlle
|
Ruijters, Enno
|
Krčál, Pavel
Springer International Publishing
,
2025
978-3-031-78286-2
ca. 89.00 CHF
erhältlich ab März 2025