Passer au contenu principal Passer au contenu du pied de page

Introduction to Concurrency Theory: Transition Systems and CCS

Roberto Gorrieri , Cristian Versari

11 septembre 2015

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

334

Texts In Theoretical Computer Science. An Eatcs Series

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783319214900

Cooperation: Game-theoretic Approaches

Sergiu Hart Couverture souple
160,95 $
Evolution: Tech's Transformative Journey

Shen Kuo Couverture souple
44,99 $
Into a Deeper Understanding of Evolutionary Computing: Exploration, Exploitation, and Parameter Control: Volume 2

Abdul Hanif Abdul Halim Couverture rigide
291,95 $
Epistemic Complexity And Knowledge Construction: Morphogenesis, Symbolic Dynamics And Beyond

A. Carsetti Couverture souple
160,95 $
3 formats offerts
Multidimensional Signals and Systems: Theory and Foundations

Rudolf Rabenstein Couverture rigide
124,50 $
2 formats offerts
Ontology, Epistemology, and Teleology for Modeling and Simulation: Philosophical Foundations For Intelligent M

Andreas Tolk Couverture souple
248,50 $
2 formats offerts
A Volterra Approach to Digital Predistortion: Sparse Identification and Estimation

Carlos Crespo Cadenas Couverture rigide
149,99 $
Into a Deeper Understanding of Evolutionary Computing: Exploration, Exploitation, and Parameter Control: Volume 1

Abdul Hanif Abdul Halim Couverture rigide
291,95 $
Transactions of the Tenth Prague Conference on Information Theory, Statistical Decision Functions, Random Processes: held at Prague, from July 7 to 11, 1986

Couverture souple
142,95 $
Paradoxes And Physical Limits Of Information Theory

Philippe Jacquet Couverture rigide
157,95 $
Possibility for Decision: A Possibilistic Approach to Real Life Decisions

Christer Carlsson Couverture souple
248,50 $
2 formats offerts
The Societal Impacts of Algorithmic Decision-Making

Manish Raghavan Livre numérique Kobo
52,99 $ ~~Réduction sur le prix courant 65,69 $ à~~
The Societal Impacts of Algorithmic Decision-Making

Manish Raghavan Couverture rigide
94,45 $
Speed Limits On The Information Superhighway: An Analysis Of The Legal Issues In Information Operations And Homeland Defense

Bryan D Richardson Couverture souple
59,00 $
AI: The New Revolution: A complete guide to understand and use Artificial Intelligence

Julien Mattei Couverture souple
16,95 $
Extreme Value Theory-Based Methods for Visual Recognition

Walter J Scheirer Couverture souple
64,95 $
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner Couverture souple
87,95 $
Transactions of the Ninth Prague Conference: on Information Theory, Statistical Decision Functions, Random Processes held at Prague, from June 28 to July 2, 1982 Volume B

Couverture rigide
142,95 $
Hierarchical Perceptual Grouping For Object Recognition: Theoretical Views And Gestalt-law Applications

Eckart Michaelsen Couverture rigide
160,95 $
2 formats offerts
Charges Against the Federal Board for Vocational Education, Volume 1

United States. Congress. House. Committe Couverture rigide
57,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Introduction to Circuit Complexity: A Uniform Approach

Heribert Vollmer Couverture souple
124,50 $
2 formats offerts
An Introduction To Online Computation: Determinism, Randomization, Advice

Dennis Komm Couverture souple
102,50 $
2 formats offerts
Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

Jörg Rothe Couverture souple
80,50 $
2 formats offerts
Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou Couverture souple
159,50 $
2 formats offerts
Theory of Semi-Feasible Algorithms

Lane A. Hemaspaandra Couverture souple
160,95 $
2 formats offerts
Boolean Functions and Computation Models

Peter Clote Couverture souple
159,50 $
2 formats offerts
Models And Algorithms Of Time-dependent Scheduling

Stanis Gawiejnowicz Couverture rigide
248,50 $
2 formats offerts
Process Algebra with Timing

J.C.M. Baeten Couverture souple
80,50 $
2 formats offerts
Parameterized Complexity Theory

J. Flum Couverture souple
131,50 $
2 formats offerts
Introduction to Process Algebra

Wan Fokkink Couverture souple
80,50 $
2 formats offerts
Verification of Reactive Systems: Formal Methods and Algorithms

Klaus Schneider Couverture souple
80,50 $
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig Couverture souple
80,50 $
2 formats offerts
Process Algebras For Petri Nets: The Alphabetization Of Distributed Systems

Roberto Gorrieri Couverture souple
131,50 $
2 formats offerts
The Complexity Theory Companion

Lane A. Hemaspaandra Couverture souple
94,95 $
2 formats offerts
Computable Analysis: An Introduction

Klaus Weihrauch Couverture souple
80,50 $
2 formats offerts
Software Engineering 2: Specification of Systems and Languages

Dines Bjorner Couverture souple
80,50 $
2 formats offerts
Models And Algorithms Of Time-dependent Scheduling

Stanis Gawiejnowicz Couverture souple
248,50 $
Public-Key Cryptography

Arto Salomaa Couverture souple
80,50 $
2 formats offerts
Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness

K. Mehlhorn Couverture souple
80,50 $
A Recursive Introduction to the Theory of Computation

Carl Smith Couverture souple
80,50 $
2 formats offerts