Catalog > Science > Mathématiques > Paul Pettersson & Wang Yi: Formal Modeling and Analysis of Timed Systems (PDF)

Paul Pettersson & Wang Yi
Formal Modeling and Analysis of Timed Systems [PDF ebook]
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Support

Couverture du Paul Pettersson & Wang Yi: Formal Modeling and Analysis of Timed Systems (PDF)

€57.91

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783540316169 ● Éditeur Paul Pettersson & Wang Yi ● Maison d’édition Springer Berlin Heidelberg ● Publié 2005 ● Téléchargeable 3 fois ● Devise EUR ● ID 6316398 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Paul Pettersson Wang Yi

49 673 Ebooks dans cette catégorie

Couverture du Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

Couverture du Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

Couverture du Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

Couverture du Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

Couverture du Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

Couverture du Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

Couverture du Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. T …

Couverture du J.J. Allaire & Garrett Grolemund: R Markdown

J.J. Allaire & Garrett Grolemund: R Markdown

R Markdown: The Definitive Guide is the first official book authored by the core R Markdown developers that provides a comprehensive and accurate reference to the R Markdown ecosystem. With R Markdow …

Couverture du Jiacun Wang: Formal Methods in Computer Science

Jiacun Wang: Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduce …

Couverture du R.L. Weber: More Random Walks in Science

R.L. Weber: More Random Walks in Science

More Random Walks in Science is an anthology of fascinating and frequently amusing anecdotes, quotations, illustrations, articles, and reviews that reflect the more lighthearted aspects of the scient …

Page suivante >>>