Passer au contenu principal Passer au contenu du pied de page

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Wojciech Penczek , Agata Pólrola

25 novembre 2010

246,95 $

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

Description

Langue

anglais

Pages

257

Studies in Computational Intelligence

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642069420

Calculus, Early Transcendentals, International Metric Edition: Early Transcendentals, International Metric Edition

James Stewart Couverture rigide
199,95 $
Mathematical Logic with Special Reference to the Natural Numbers

S. W. P. Steen Couverture souple
86,95 $
Code Recognition and Set Selection with Neural Networks

C Jeffries Couverture souple
71,50 $
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Couverture souple
80,50 $
2 formats offerts
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Emil Sekerinski Couverture souple
65,95 $
2 formats offerts
New Directions In Paraconsistent Logic: 5th Wcp, Kolkata, India, February 2014

Jean-Yves Beziau Couverture souple
248,50 $
3 formats offerts
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Stéphane Demri Couverture souple
80,50 $
The Hybrid High-order Method For Polytopal Meshes: Design, Analysis, And Applications

Daniele Antonio Di Pietro Couverture rigide
233,95 $
2 formats offerts
Icgg 2018 - Proceedings Of The 18th International Conference On Geometry And Graphics: 40th Anniversary - Milan, Italy, August 3-7, 2018

Luigi Cocchiarella Couverture souple
948,95 $
2 formats offerts
Professor Stewart's Hoard of Mathematical Treasures

IAN STEWART Couverture souple
28,99 $
2 formats offerts
Automatic Speech Analysis and Recognition: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, June 29-July 10, 1981

Couverture souple
233,95 $
2 formats offerts
Recent Advances in Time Series Forecasting

Dinesh C.S. Bisht Couverture souple
108,50 $
3 formats offerts
Tensor Spaces And Numerical Tensor Calculus

Wolfgang Hackbusch Couverture rigide
233,95 $
3 formats offerts
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018

Vladimir A. Garanzha Couverture souple
248,50 $
Symmetric Functions: A Beginner's Course

Evgeny Smirnov Couverture souple
58,50 $
Mathematical and Physical Papers; Volume 2

Joseph Larmor Couverture rigide
40,95 $
Symmetric Functions: A Beginner's Course

Evgeny Smirnov Couverture rigide
80,50 $
Howard's California Calculator and Golden Rule for Equation of Payments

C Frusher Howard Couverture rigide
32,78 $
Practical Quantum Mechanics II

Siegfried Flügge Couverture souple
80,50 $
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Vladimir A. Garanzha Couverture rigide
364,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory: Computational Intelligence and Soft Computing Applications

Vassilis G. Kaburlasos Couverture souple
160,95 $
2 formats offerts
Hierarchical Bayesian Optimization Algorithm: Toward a New Generation of Evolutionary Algorithms

Martin Pelikan Couverture souple
80,50 $
2 formats offerts
Recent Advances in Evolutionary Computation for Combinatorial Optimization

Carlos Cotta Couverture souple
248,50 $
2 formats offerts
Recent Advances On Memetic Algorithms And Its Applications In Image Processing

D. Jude Hemanth Couverture rigide
248,50 $
2 formats offerts
Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness

Igor E Shparlinski Couverture rigide
141,95 $
Parallel Genetic Algorithms: Theory and Real World Applications

Gabriel Luque Couverture souple
160,95 $
2 formats offerts
New Developments in Formal Languages and Applications

Gemma Bel-Enguix Couverture souple
248,50 $
2 formats offerts
A Missing Link in Cybernetics: Logic and Continuity

Alex M. Andrew Couverture souple
160,95 $
3 formats offerts
Recent Advances in Formal Languages and Applications

Zolt Ésik Couverture souple
246,95 $
2 formats offerts
Logical Foundations for Rule-Based Systems

Antoni Ligeza Couverture souple
248,50 $
2 formats offerts
Complexity Management in Fuzzy Systems: A Rule Base Compression Approach

Alexander Gegov Couverture souple
160,95 $
The Convergence Problem for Dissipative Autonomous Systems: Classical Methods and Recent Advances

Alain Haraux Couverture souple
80,50 $
2 formats offerts
Extending the Scalability of Linkage Learning Genetic Algorithms: Theory And Practice

Ying-ping Chen Couverture souple
160,95 $
2 formats offerts
Modelling And Control Of Dynamical Systems: Numerical Implementation In A Behavioral Framework

Ricardo Zavala Yoe Couverture souple
160,95 $
2 formats offerts
Complex Networks: Results of the 1st International Workshop on Complex Networks (CompleNet 2009)

Ronaldo Menezes Couverture souple
160,95 $
2 formats offerts
Non-smooth And Complementarity-based Distributed Parameter Systems: Simulation And Hierarchical Optimization

Michael Hintermüller Couverture rigide
189,95 $
2 formats offerts
Algorithms for Fuzzy Clustering: Methods in c-Means Clustering with Applications

Sadaaki Miyamoto Couverture souple
248,50 $
2 formats offerts
Fast Solvers for Mesh-Based Computations

Maciej Paszynski Couverture souple
147,95 $
Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information

Zongmin Ma Couverture souple
160,95 $
2 formats offerts
Finite Automata, Formal Logic, and Circuit Complexity

Howard Straubing Couverture rigide
142,95 $