Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Service/Hilfe
Cookie-Einstellungen
Merkliste
Über uns
Kontakt
Widerrufsrecht
Datenschutz
AGB
Impressum
Merkzettel
Mein Konto
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 €*
Für Sie erreichbar unter:
+49 89 23 500 5 0
Mo-Fr. 08:30 - 17:00 Uhr
E-Mail: service@biazzamedien.de
Home
Digitale Tools
Service
Standorte
Team
Zur Kategorie Digitale Tools
Mein Bibliothekar
Meine Datenbanken
eBooks
Zur Kategorie Service
B2B
Schulen
Weiterbildungsinstitute
Privatkunden
Menü schließen
Service/Hilfe
Cookie-Einstellungen
Merkliste
Über uns
Kontakt
Widerrufsrecht
Datenschutz
AGB
Impressum
Merkzettel
Kategorien
Digitale Tools
Service
Standorte
Team
Zu "Concurrency" wurden 72 Produkte gefunden
Filter
Filter
Verlag
APRESS (5)
dpunkt (2)
Springer Berlin (31)
Springer International Publishing (33)
tredition (1)
Verlag
APRESS (5)
dpunkt (2)
Springer Berlin (31)
Springer International Publishing (33)
tredition (1)
Produktart
Gebunden (9)
Kartoniert / Broschiert (63)
Herausgeber
Aarts, Emile H.L. Leeuwen, Jan van Rem, Martin (1)
Ait Ameur, Yamine Schewe, Klaus-Dieter (1)
Ajmone Marsan, Marco (1)
America, Pierre (1)
Baeten, Joseph C.M. Klop, Jan W. (1)
Baier, Christel Tinelli, Cesare (1)
Best, Eike (1)
Bjørner, Nikolaj de Boer, Frank (1)
Bode, Arndt Reeve, Mike Wolf, Gottfried (1)
Calinescu, Radu Rumpe, Bernhard (1)
Carter, Larry Ferrante, Jeanne (1)
Choffrut, Christian Jantzen, Matthias (1)
Cleaveland, Walter R. (1)
Devillers, Raymond Valmari, Antti (1)
Gurevich, Yuri Kutter, Philipp W. Odersky, Martin Thiele, Lothar (1)
Hage, Jurriaan McCarthy, Jay (1)
Hagiya, Masami Mitchell, John C. (1)
Heckel, Reiko Taentzer, Gabriele (1)
Hinze, Ralf Voigtländer, Janis (1)
Jacquet, Jean-Marie Massink, Mieke (1)
Katoen, Joost-Pieter Langerak, Rom Rensink, Arend (1)
Kobayashi, Naoki Pierce, Benjamin C. (1)
Kordon, Fabrice Moldt, Daniel (1)
Kristensen, Lars Michael van der Werf, Jan Martijn (1)
Kunkel, Julian M. Ludwig, Thomas (1)
Larsen, Kim G. Skyum, Sven Winskel, Glynn (1)
Leucker, Martin Rueda, Camilo Valencia, Frank D. (1)
Levi, Giorgio (1)
Meyer, Roland Platzer, André Wehrheim, Heike (1)
Möhring, Rolf H. (1)
Nishio, Shojiro Yonezawa, Akinori (1)
Pardo, Alberto Swierstra, S. Doaitse (1)
Reisig, Wolfgang Rozenberg, Grzegorz (1)
Ribeiro, Pedro Sampaio, Augusto (1)
Rolim, Jose (1)
Rozenberg, Grzegorz (3)
Schlingloff, Bernd-Holger Vogel, Thomas Skowron, Andrzej (2)
Shen, Xipeng Mueller, Frank Tuck, James (1)
Shyamasundar, Rudrapatna K. (1)
Smolka, Scott (1)
Tokoro, Mario Nierstrasz, Oscar Wegner, Peter (1)
Voronkov, Andrei (1)
Yahav, Eran (1)
Autor
Badouel, Eric Bernardinello, Luca Darondeau, Philippe (2)
Bancila, Marius (1)
Bennett, Gary Lees, Brad Fisher, Mitchell (1)
Best, Eike Devillers, Raymond Koutny, Maciej (2)
Buhr, Peter A. (2)
Börger, Egon Gervasi, Vincenzo (1)
Gorrieri, Roberto (2)
Gorrieri, Roberto Versari, Cristian (2)
Hunt, John (4)
Hussain, Rumeel Zulfiqar, Maryam (1)
Jones, Cliff B. (2)
Kautsch, Andrés Ibañez (1)
Korotkevitch, Dmitri (1)
Kuhn, Darl Kyte, Thomas (1)
Nielson, Flemming Riis Nielson, Hanne (1)
Saniya (1)
Schröpfer, Andreas (1)
Schlagworte
Advanced control flow (2)
Algebra (2)
algorithm (5)
Algorithmen (2)
Algorithms (4)
algorithms (3)
Algorithmus (3)
Analysis (2)
Atomicity (3)
Automat (2)
Automata (2)
Bisimulation (2)
C++ Control Flow (2)
C++ programming language (2)
Calculus of Communicating Systems (CCS) (2)
Coloured Petrinets (2)
Complexity (2)
Computational Geometry (2)
Computer Science Logic (2)
Concurrency (72)
Concurrent Programming (2)
Concurrent programming (2)
Concurrent Python (2)
Control flow (2)
Coroutines (2)
CS&P 21 (2)
Databases (5)
Databases in Python (2)
Deadlocks (2)
Denotational semantics (2)
Distributed Computing (2)
Distributed Systems (3)
Embedded systems (2)
Exceptions (2)
Formal Methods (6)
Formal methods (5)
Functional Programming (3)
Games (2)
Games in Python (2)
Graphics (2)
Haskell (2)
Infinite Operators (2)
Introductory Python (2)
Java (2)
Knowledge Discovery and Data Mining (2)
Komplexität (4)
Logging (2)
Logic (5)
logic (4)
Machine learning (2)
Model Checking (3)
Model checking (2)
Models of Computation (3)
Models of computation (5)
Multi-agent Systems (2)
Nebenläufigkeit (2)
Net design (2)
Net Synthesis (2)
Netzentwurf (3)
Object Oriented Programming (3)
Object-Oriented Language (OOL) (2)
Operating Systems (2)
Operational Semantics (2)
Parallel Algorithms (3)
Parallel Architectures (4)
Parallel Languages (2)
Parallelism (5)
Parallelität (3)
petri net (3)
Petri Net Models (2)
Petri Nets (8)
Petri nets (4)
Petrinetz-Modelle (2)
Place/Transition Nets (P/T-Nets) (2)
Process Algebra (2)
Process Algebras (2)
Process algebras (2)
Process Calculus (2)
Process Discovery (2)
Program Analysis (2)
Program Logic (2)
Program Semantics (2)
Program Verification (3)
Programmiersprache (2)
programming (3)
Programming Language (2)
Programming Language Semantics (2)
Programming languages (4)
Programming Theory (2)
Python Graphics and Graphical User Interfaces (2)
Reactive Programming (2)
Reactive Systems (2)
Recursion (2)
Refinement (2)
Rough Sets (2)
Semantics (4)
Soft Computing (2)
SOS Semantics (2)
Structural Invariants (2)
Verification (4)
Erscheinungsdatum
1990 (1)
1991 (1)
1992 (1)
1993 (1)
1994 (1)
1995 (1)
1998 (1)
2000 (1)
2001 (1)
2010 (1)
2011 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2022 (1)
2023 (1)
2024 (1)
Sprache
Deutsch (2)
Englisch (70)
1
2
3
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Concurrency, Specification and Programming
ISBN: 9783031266508
171,19 €*
In den Warenkorb
Advanced Guide to Python 3 Programming
ISBN: 9783031403354
74,89 €*
In den Warenkorb
Structures of Computing
ISBN: 9783031543579
53,49 €*
In den Warenkorb
Process Algebras for Petri Nets
ISBN: 9783319856940
85,59 €*
In den Warenkorb
Process Algebras for Petri Nets
ISBN: 9783319555584
85,59 €*
In den Warenkorb
Understanding Programming Languages
ISBN: 9783030592592
53,49 €*
In den Warenkorb
Mathematics of Program Construction
ISBN: 9783319197968
53,49 €*
In den Warenkorb
Application and Theory of Petri Nets and Concurrency
ISBN: 9783319390857
53,49 €*
In den Warenkorb
Software Engineering and Formal Methods
ISBN: 9783319229683
53,49 €*
In den Warenkorb
Carl Adam Petri: Ideas, Personality, Impact
ISBN: 9783319961538
48,14 €*
In den Warenkorb
Understanding Control Flow
ISBN: 9783319798301
53,49 €*
In den Warenkorb
Programming Languages
ISBN: 9783319240114
42,80 €*
In den Warenkorb
Understanding Programming Languages
ISBN: 9783030592561
74,89 €*
In den Warenkorb
Application and Theory of Petri Nets and Concurrency
ISBN: 9783319194875
53,49 €*
In den Warenkorb
Introduction to Concurrency Theory
ISBN: 9783319366388
53,49 €*
In den Warenkorb
Trends in Functional Programming
ISBN: 9783319146744
42,80 €*
In den Warenkorb
FM 2015: Formal Methods
ISBN: 9783319192482
53,49 €*
In den Warenkorb
Coordination Models and Languages
ISBN: 9783319597454
53,49 €*
In den Warenkorb
Unifying Theories of Programming
ISBN: 9783030310370
53,49 €*
In den Warenkorb
Formal Methods
ISBN: 9783030051556
53,49 €*
In den Warenkorb
High Performance Computing
ISBN: 9783319201184
53,49 €*
In den Warenkorb
Understanding Control Flow
ISBN: 9783319257013
53,49 €*
In den Warenkorb
ModelEd, TestEd, TrustEd
ISBN: 9783319682693
53,49 €*
In den Warenkorb
Correct System Design
ISBN: 9783319235059
51,36 €*
In den Warenkorb
1
2
3
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
