Passer au contenu principal Passer au contenu du pied de page

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Howard Bowman , Rodolfo Gomez

13 octobre 2010

248,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 1 243 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

422

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9781849969512

Recent Advances In Chaotic Systems And Synchronization: From Theory To Real World Applications

Olfa Boubaker Couverture souple
222,50 $
2 formats offerts
Getting Started with Golang Concurrency Primitives

Charles Robinson Couverture souple
19,50 $
Cognition Beyond The Brain: Computation, Interactivity And Human Artifice

Stephen J. Cowley Couverture souple
204,50 $
6 formats offerts
JavaFX Script: Dynamic Java Scripting for Rich Internet/Client-side Applications

James Weaver Couverture souple
58,50 $
Modern Algorithms for Large Sparse Eigenvalue Problems

Arnd Meyer Couverture rigide
193,99 $
Advances In The Theory Of Probabilistic And Fuzzy Data Scientific Methods With Applications

József Dombi Couverture souple
160,95 $
Parallel Processing And Parallel Algorithms: Theory And Computation

Seyed H Roosta Couverture souple
160,95 $
Advances In The Theory Of Probabilistic And Fuzzy Data Scientific Methods With Applications

József Dombi Couverture rigide
160,95 $
2 formats offerts
Mysql 8 Query Performance Tuning: A Systematic Method For Improving Execution Speeds

Jesper Wisborg Krogh Couverture souple
80,50 $
2 formats offerts
Condition: The Geometry Of Numerical Algorithms

Peter Bürgisser Couverture souple
233,95 $
3 formats offerts
Intent Recognition for Human-Machine Interactions

Hua Xu Couverture souple
72,95 $
2 formats offerts
Numerical Computations with GPUs

Volodymyr Kindratenko Couverture souple
233,95 $
3 formats offerts
Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing

John Lawrence Nazareth Couverture souple
80,50 $
2 formats offerts
Analytical and Stochastic Modeling Techniques and Applications: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Khalid Al-Begain Couverture souple
80,50 $
Performance Modeling of Operating Systems Using Object-Oriented Simulations: A Practical Introduction

José M. Garrido Couverture souple
71,50 $
Numerical Sound Synthesis: Finite Difference Schemes and Simulation in Musical Acoustics

Stefan Bilbao Couverture rigide
195,95 $
Recent Advances in Linear and Nonlinear Optics

Couverture rigide
84,16 $
Haptics: Neuroscience, Devices, Modeling, and Applications: 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I

Malika Auvray Couverture souple
80,50 $
2 formats offerts
Mastering UI/UX Design: Theoretical Foundations and Practical Applications

Kameron Hussain Couverture souple
19,50 $
Guide To Discrete Mathematics: An Accessible Introduction To The History, Theory, Logic And Applications

Gerard O'regan Couverture souple
87,95 $
6 formats offerts

Évaluation éditoriale

Auteur

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley Couverture souple
80,50 $
2 formats offerts
Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
Spectral Methods for Uncertainty Quantification: With Applications to Computational Fluid Dynamics

Olivier Le Maitre Couverture souple
145,95 $
2 formats offerts
Algorithms For Analysis, Inference, And Control Of Boolean Networks

Tatsuya Akutsu Couverture rigide
143,50 $
2 formats offerts
Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

Guanjun Liu Couverture rigide
291,95 $
2 formats offerts
Algorithmic Randomness And Complexity

Rodney G. Downey Couverture souple
160,95 $
2 formats offerts
Algorithms And Data Structures: Foundations And Probabilistic Methods For Design And Analysis

Helmut Knebl Couverture souple
80,50 $
Max-Plus Linear Stochastic Systems and Perturbation Analysis

Bernd F. Heidergott Couverture souple
261,50 $
2 formats offerts
Algorithms And Data Structures: Foundations And Probabilistic Methods For Design And Analysis

Helmut Knebl Couverture rigide
124,50 $
Numeric Computation And Statistical Data Analysis On The Java Platform

Sergei V. Chekanov Couverture souple
175,50 $
3 formats offerts
Developments and Applications of Block Toeplitz Iterative Solvers

Xiao-qing Jin Couverture souple
80,50 $
2 formats offerts
Bayesian Hierarchical Models: With Applications Using R

Peter D. Congdon Couverture souple
91,95 $
3 formats offerts
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Zhe Hou Couverture souple
94,95 $
Malware Diffusion Models For Modern Complex Networks: Theory And Applications

Vasileios Karyotis Couverture souple
177,95 $
2 formats offerts
Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

Couverture souple
142,95 $
Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems

Mohamed Wahbi Couverture rigide
217,95 $
2 formats offerts
Programming Your GPU with OpenMP: Performance Portability for GPUs

Tom Deakin Couverture souple
105,00 $
2 formats offerts
From Sequences to Graphs: Discrete Methods and Structures for Bioinformatics

Couverture rigide
197,99 $
2 formats offerts
Nonsequential And Distributed Programming With Go: Synchronization Of Concurrent Processes: Communication - Cooperation - Competition

Christian Maurer Couverture souple
87,95 $
2 formats offerts
The Linear Ordering Problem: Exact and Heuristic Methods in Combinatorial Optimization

Rafael Mart Couverture souple
145,95 $
3 formats offerts