Kategorien
Handverlesen
Alice Munro
Paul Auster
Über Mütter
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (36 Treffer)
Filter schließen (36 Treffer)
Stichwort auswählen
Alle Stichworte
Petri Nets (36)
Software Engineering (9)
Artificial Intelligence (7)
Graph Theory (6)
Machine Learning (5)
Computer Programming (4)
Software Architecture (4)
Software Design (4)
Algorithms (3)
Decision Support Systems (3)
Evolutionary Algorithms (3)
Formal Logic (3)
Formal Methods (3)
Genetic Algorithms (3)
Hardware (3)
Logic (3)
Model Checking (3)
Modeling (3)
Molecular Computing (3)
Optimization (3)
Project Management (3)
Signal Processing (3)
Abstract Machines (2)
Algebraic Formalisms (2)
Availability Modelling (2)
Bellman Nets (2)
Biochemical Systems (2)
Boolean Models (2)
Business Engineering (2)
C-E Structures (2)
Cause-Effect Strucures (2)
Communication (2)
Computer (2)
Computer Hardware (2)
Computer Networks (2)
Computer Vision (2)
Cryptography (2)
Cyclic Data Flows (2)
Cyclic Route Planning (2)
Cyclic Scheduling (2)
Data Security (2)
Dependability Modelling (2)
Design Structure Matrix (2)
Distributed Systems (2)
Dynamical Systems (2)
Dynamics Java (2)
Engineering Economics (2)
Gene Regulatory Networks (2)
Genetic Programming (2)
Horus Method (2)
Metabolic Networks (2)
Model (2)
Network Analysis (2)
Network Protocols (2)
Neural Networks (2)
Performance Modeling (2)
Production Engineering (2)
Qualitative Analysis (2)
Quantitative Analysis (2)
Quantum Computing (2)
Queuing Models (2)
Reliability Calculations (2)
Reliability Modelling (2)
Safety Integrity Level (2)
Simulation (2)
Stochastic Automata (2)
System (2)
System Optimization (2)
System Performance (2)
Temporal Models (2)
User Interfaces (2)
Algorithm Analysis (1)
Anforderungsanalyse (1)
Anforderungsanalysefo (1)
Asynchronous Circuits (1)
Authentication (1)
Automata (1)
Behavior Diagrams (1)
Boolean Function (1)
Cellular Systems (1)
Cloud Computing (1)
Collaborative Research (1)
Coloured Cp-Nets) (1)
Complexity (1)
Computer Systems (1)
Concurrency Theory (1)
Container Terminal (1)
Coverability Graph (1)
Data Mining (1)
Data Structures (1)
Decidability (1)
Decision Support (1)
Decisions Support (1)
Directed Graphs (1)
Distribution Analysis (1)
Embedded Systems (1)
Event Bushes (1)
Formal Model (1)
Formal Verification (1)
Forrester Diagrams (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (7)
Dv-Gestützte Biologie/bioinformatik (3)
IT-Management (3)
Wirtschaftsmathematik und -Informatik (3)
Algorithmen und Datenstrukturen (2)
Bayesianische Inferenz (2)
Künstliche Intelligenz (2)
Management und Managementtechniken (2)
Mathematik für Ingenieure (2)
Mathematische Modellierung (2)
Netzwerk-Hardware (2)
Regelungstechnik (2)
Computerprogrammierung und Softwareentwicklung (1)
Informationstheorie (1)
Kybernetik und Systemtheorie (1)
Magnetischen (1)
Optischen Materialien (1)
Software Engineering (1)
Technische Anwendung von Elektronischen (1)
Theoretische Informatik (1)
Wissenschaftliche Forschung (1)
Sprache auswählen
Sprachen
Englisch (36)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (23)
Gebunden (13)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Ludwik Czaja
oder
Carlo A. Furia
oder
Thomas Karle
oder
Arie Karniel
oder
Alain Leroy
eng
Advances in Model and Data Engineering in the Digitalization Era
MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2¿4, 2023, Proceedings
Springer Nature Switzerland
2024
Taschenbuch
264 Seiten
74,89
€
in Kürze
eng
Taming the Infinities of Concurrency
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Springer Nature Switzerland
2024
Taschenbuch
324 Seiten
128,39
€
in Kürze
eng
Raymond Devillers / Eike Best
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer Nature Switzerland
2024
Gebunden
560 Seiten
85,59
€
in Kürze
eng
Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19¿20, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
316 Seiten
69,54
€
in Kürze
eng
Advances in Model and Data Engineering in the Digitalization Era
MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21¿24, 2022, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
244 Seiten
80,24
€
in Kürze
This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineerin…
eng
Ludwik Czaja
Computing in Cause-Effect Structures
Springer International Publishing
2022
Taschenbuch
188 Seiten
149,79
€
in Kürze
This book focuses on numerous examples of tasks represented by c-e structure. Cause¿e¿ect (c-e) structures are dynamic objects devised for algebraic …
eng
Alain Leroy / Jean-Pierre Signoret
Reliability Assessment of Safety and Production Systems
Analysis, Modelling, Calculations and Case Studies
Springer International Publishing
2022
Taschenbuch
912 Seiten
139,09
€
in Kürze
This book provides, as simply as possible, sound foundations for an in-depth understanding of reliability engineering with regard to qualitative anal…
eng
Ludwik Czaja
Computing in Cause-Effect Structures
Springer International Publishing
2021
Gebunden
188 Seiten
149,79
€
in Kürze
This book focuses on numerous examples of tasks represented by c-e structure. Cause¿e¿ect (c-e) structures are dynamic objects devised for algebraic …
eng
Alain Leroy / Jean-Pierre Signoret
Reliability Assessment of Safety and Production Systems
Analysis, Modelling, Calculations and Case Studies
Springer International Publishing
2021
Gebunden
912 Seiten
192,59
€
in Kürze
This book provides, as simply as possible, sound foundations for an in-depth understanding of reliability engineering with regard to qualitative anal…
eng
Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26¿27, 2020, Proceedings
Springer International Publishing
2020
Taschenbuch
296 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 14th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems, VECoS…
eng
Modelling and Performance Analysis of Cyclic Systems
Springer International Publishing
2020
Taschenbuch
204 Seiten
106,99
€
in Kürze
Striking a balance between state-of-the-art research and practical applications, this book provides a forum for contributions that cover the main res…
eng
Theory and Practice of Natural Computing
8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9¿11, 2019, Proceedings
Springer International Publishing
2019
Taschenbuch
264 Seiten
62,05
€
in Kürze
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Practice of Natural Computing, TPNC 2019, held in Ki…
eng
Modelling and Performance Analysis of Cyclic Systems
Springer International Publishing
2019
Gebunden
204 Seiten
106,99
€
in Kürze
Striking a balance between state-of-the-art research and practical applications, this book provides a forum for contributions that cover the main res…
eng
Theory and Practice of Natural Computing
7th International Conference, TPNC 2018, Dublin, Ireland, December 12¿14, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
488 Seiten
53,49
€
in Kürze
eng
Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26¿28, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
236 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 12th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECo…
eng
New Frontiers in Quantitative Methods in Informatics
7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
Springer International Publishing
2018
Taschenbuch
184 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice…
eng
Dynamic Knowledge Representation in Scientific Domains
Engineering Science Reference
2017
Gebunden
428 Seiten
226,40
€
in Kürze
eng
Theory and Practice of Natural Computing
6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
332 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 6th International Conference,on Theory and Practice of Natural Computing, TPNC 2017, held in Pr…
eng
Carlo A. Furia / Matteo Rossi …
Modeling Time in Computing
Springer Berlin Heidelberg
2014
Taschenbuch
440 Seiten
53,49
€
in Kürze
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in com…
eng
Yoram Reich / Arie Karniel
Managing the Dynamics of New Product Development Processes
A New Product Lifecycle Management Paradigm
Springer London
2014
Taschenbuch
280 Seiten
160,49
€
in Kürze
Managing the Dynamics of New-Product Development Processes merges product- based planning, process modelling, process execution, probabilistic simula…
eng
Frank Schönthaler / Thomas Karle …
Business Processes for Business Communities
Modeling Languages, Methods, Tools
Springer Berlin Heidelberg
2014
Taschenbuch
204 Seiten
50,28
€
in Kürze
eng
J. Cortadella / M. Kishinevsky …
Logic Synthesis for Asynchronous Controllers and Interfaces
Springer Berlin Heidelberg
2013
Taschenbuch
292 Seiten
106,99
€
in Kürze
This book is the result of a long friendship, of a broad international co operation, and of a bold dream. It is the summary of work carried out by t…
eng
Formal Languages for Computer Simulation
Transdisciplinary Models and Applications
Information Science Reference
2013
Gebunden
460 Seiten
181,30
€
in Kürze
eng
Modeling in Systems Biology
The Petri Net Approach
Springer London
2012
Taschenbuch
388 Seiten
106,99
€
in Kürze
The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, …
eng
Carlo A. Furia / Matteo Rossi …
Modeling Time in Computing
Springer Berlin Heidelberg
2012
Gebunden
440 Seiten
53,49
€
in Kürze
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in com…
eng
Computational Methods in Systems Biology
10th International Conference, CMSB 2012, London, UK, October 3-5, 2012, Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
408 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology…
eng
Computational Logistics
Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
228 Seiten
49,22
€
in Kürze
This book constitutes the refereed proceedings of the Third International Conference on Computational Logistics, held in Shanghai, China, in Septembe…
eng
Frank Schönthaler / Thomas Karle …
Business Processes for Business Communities
Modeling Languages, Methods, Tools
Springer Berlin Heidelberg
2012
Gebunden
204 Seiten
50,28
€
in Kürze
After a brief introduction to the topic of business process modeling, the book offers a quick-start into model-based business process engineering. Af…
eng
Wolfgang Reisig
A Primer in Petri Net Design
Springer Berlin Heidelberg
2011
Taschenbuch
136 Seiten
106,99
€
in Kürze
Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents various…
eng
Yoram Reich / Arie Karniel
Managing the Dynamics of New Product Development Processes
A New Product Lifecycle Management Paradigm
Springer London
2011
Gebunden
280 Seiten
160,49
€
in Kürze
Managing the Dynamics of New-Product Development Processes merges product- based planning, process modelling, process execution, probabilistic simula…
eng
Holger Mauch / Art Lew
Dynamic Programming
A Computational Tool
Springer Berlin Heidelberg
2010
Taschenbuch
400 Seiten
213,99
€
in Kürze
This book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. From the examples pr…
eng
Modeling in Systems Biology
The Petri Net Approach
Springer London
2010
Gebunden
388 Seiten
106,99
€
in Kürze
The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, …
eng
Armin Zimmermann
Stochastic Discrete Event Systems
Modeling, Evaluation, Applications
Springer Berlin Heidelberg
2010
Taschenbuch
408 Seiten
106,99
€
in Kürze
Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions. This book deliv…
eng
Armin Zimmermann
Stochastic Discrete Event Systems
Modeling, Evaluation, Applications
Springer Berlin Heidelberg
2007
Gebunden
408 Seiten
106,99
€
in Kürze
Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions. This book deliv…
eng
Holger Mauch / Art Lew
Dynamic Programming
A Computational Tool
Springer Berlin Heidelberg
2006
Gebunden
400 Seiten
213,99
€
in Kürze
eng
Kurt Jensen
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Springer Berlin Heidelberg
1994
Gebunden
196 Seiten
106,99
€
in Kürze
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume c…
/9783031557286.png "Advances in Model and Data Engineering in the Digitalization Era")
/9783031562211.png "Taming the Infinities of Concurrency")
/9783031482779.png "Petri Net Primer")
/9783031367083.png "Graph Transformation")
/9783031231186.png "Advances in Model and Data Engineering in the Digitalization Era")
/9783030888152.png "Computing in Cause-Effect Structures")
/9783030647100.png "Reliability Assessment of Safety and Production Systems")
/9783030888121.png "Computing in Cause-Effect Structures")
/9783030647070.png "Reliability Assessment of Safety and Production Systems")
/9783030659547.png "Verification and Evaluation of Computer and Communication Systems")
/9783030276546.png "Modelling and Performance Analysis of Cyclic Systems")
/9783030344993.png "Theory and Practice of Natural Computing")
/9783030276515.png "Modelling and Performance Analysis of Cyclic Systems")
/9783030040697.png "Theory and Practice of Natural Computing")
/9783030003586.png "Verification and Evaluation of Computer and Communication Systems")
/9783319916316.png "New Frontiers in Quantitative Methods in Informatics")
/9781522552611.png "Dynamic Knowledge Representation in Scientific Domains")
/9783319710686.png "Theory and Practice of Natural Computing")
/9783642431364.png "Modeling Time in Computing")
/9781447161172.png "Managing the Dynamics of New Product Development Processes")
/9783642430527.png "Business Processes for Business Communities")
/9783642627767.png "Logic Synthesis for Asynchronous Controllers and Interfaces")
/9781466643697.png "Formal Languages for Computer Simulation")
/9781447125983.png "Modeling in Systems Biology")
/9783642323317.png "Modeling Time in Computing")
/9783642336355.png "Computational Methods in Systems Biology")
/9783642335860.png "Computational Logistics")
/9783642247903.png "Business Processes for Business Communities")
/9783642753312.png "A Primer in Petri Net Design")
/9780857295699.png "Managing the Dynamics of New Product Development Processes")
/9783642072000.png "Dynamic Programming")
/9781849964739.png "Modeling in Systems Biology")
/9783642093500.png "Stochastic Discrete Event Systems")
/9783540741725.png "Stochastic Discrete Event Systems")
/9783540370130.png "Dynamic Programming")
/9783540582762.png "Coloured Petri Nets")