Passer au contenu principal Passer au contenu du pied de page

Temporal Logic And State Systems

Fred Kröger , Stephan Merz

27 mars 2008

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

Description

Langue

anglais

Pages

436

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: 9783540674016

Modern Developments in Multivariate Approximation: 5th International Conference, Witten-Bommerholz (Germany), September 2002

Werner Haussmann Couverture rigide
160,95 $
The Duffing Equation: Periodic Solutions and Chaotic Dynamics

Lakshmi Burra Couverture rigide
291,95 $
Theorie Der Doppeltperiodischen Functionen Einer VerSnderlichen Gr÷sse, Volume 1 - Primary Source Edition

Martin Krause Couverture souple
37,99 $
2 formats offerts
Frontiers In Games And Dynamic Games: Theory, Applications, And Numerical Methods

David Yeung Couverture rigide
131,50 $
2 formats offerts
Frontiers In Games And Dynamic Games: Theory, Applications, And Numerical Methods

David Yeung Couverture souple
131,50 $
Recent Developments In Commutative Algebra: Levico Terme, Trento 2019

Claudia Polini Couverture souple
72,95 $
2 formats offerts
Extended Abstracts 2022: Proceedings of the 7th International Conference on the Anthropological Theory of the Didactic (CITAD7)

Ignasi Florensa Couverture souple
72,95 $
Boundary Value Problems, Integral Equations And Related Problems - Proceedings Of The Third International Conference

Guo Chun Wen Couverture rigide
237,95 $
Extended Abstracts 2022: Proceedings of the 7th International Conference on the Anthropological Theory of the Didactic (CITAD7)

Ignasi Florensa Couverture souple
364,95 $
2 formats offerts
Strategic Decisions: The Mathematics of Game Theory

Lexa N. Palmer Livre numérique Kobo
4,99 $
Lognormal Distributions: Theory and Applications

Crow Livre numérique Kobo
87,99 $
Frontiers Of Dynamic Games: Game Theory And Management, St. Petersburg, 2017

Leon A. Petrosyan Couverture souple
145,95 $
3 formats offerts
Optimal Control Theory and Its Applications: Proceedings of the Fourteenth Biennial Seminar of the Canadian Mathematical Congress University of Western Ontario, August 12-25, 1973

Couverture souple
142,95 $
Unterredungen und Mathematische Demonstrationen: Über Zwei Neue Wissenszweige, Die Mechanik und Die Fallgesetze Betreffend, Dritter Band, Zweite unv

Arthur Oettingen Couverture souple
20,99 $
2 formats offerts
Theorie der Goniometrischen und der Longimetrischen Quaternionen: Zugleich als Einführung in die Rechnung mit Punkten und Vectoren (Classic Reprint)

Karl W. Unverzagt Couverture souple
13,57 $
2 formats offerts
Elliptic and Parabolic Equations Involving the Hardy-Leray Potential

Ireneo Peral Alonso Couverture rigide
202,99 $
Partial Differential Equations and Functional Analysis: The Philippe Clement Festschrift

Erik Koelink Couverture rigide
160,95 $
Optimal Control Theory and Its Applications: Proceedings of the Fourteenth Biennial Seminar of the Canadian Mathematical Congress University of Western Ontario, August 12-25, 1973. Part I

Couverture souple
71,50 $
Boundary Value Problems: Essential Fractional Dynamic Equations on Time Scales

Svetlin Georgiev Couverture rigide
65,95 $
Frontiers Of Dynamic Games: Game Theory And Management, St. Petersburg, 2020

Leon A. Petrosyan Couverture rigide
262,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Logics of Specification Languages

Dines Bjorner Couverture souple
248,50 $
2 formats offerts
Elements of Finite Model Theory

Leonid Libkin Couverture souple
145,95 $
2 formats offerts
Modelling Distributed Systems

Wan Fokkink Couverture souple
80,50 $
2 formats offerts
Confluent String Rewriting

Matthias Jantzen Couverture souple
80,50 $
2 formats offerts
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Klaus Mainzer Couverture rigide
157,95 $
2 formats offerts
The Parametric Lambda Calculus: A Metamodel for Computation

Simona Ronchi Della Rocca Couverture souple
80,50 $
2 formats offerts
Information, Uncertainty and Fusion

Bernadette Bouchon-meunier Couverture souple
160,95 $
2 formats offerts
Regulated Rewriting in Formal Language Theory

Jürgen Dassow Couverture souple
160,95 $
Formal Languages And Compilation

Stefano Crespi Reghizzi Couverture souple
116,95 $
2 formats offerts
Formal Languages And Compilation

Stefano Crespi Reghizzi Couverture rigide
145,95 $
4 formats offerts
Introduction to Fuzzy Reliability

Kai-Yuan Kai-Yuan Cai Couverture souple
233,95 $
2 formats offerts
An Introduction to Kolmogorov Complexity and Its Applications

Ming Li Couverture souple
110,50 $
2 formats offerts
Semirings, Automata, Languages

W. Kuich Couverture souple
160,95 $
Introduction to Scientific Computing and Data Analysis

Mark H. Holmes Couverture souple
94,95 $
2 formats offerts
Finite Automata, Formal Logic, and Circuit Complexity

Howard Straubing Couverture rigide
142,95 $
Theory Of Fuzzy Computation

Apostolos Syropoulos Couverture souple
80,50 $
3 formats offerts
Quantum Logic

Karl Svozil Couverture souple
80,50 $
Anticipatory Systems: Philosophical, Mathematical, And Methodological Foundations

Robert Rosen Couverture souple
248,50 $
3 formats offerts
Introduction To The Tools Of Scientific Computing

Einar Smith Couverture souple
80,50 $
2 formats offerts
Introduction To The Tools Of Scientific Computing

Einar Smith Couverture rigide
118,50 $
2 formats offerts