Passer au contenu principal Passer au contenu du pied de page

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle Mciver , Charles Carroll Morgan

19 novembre 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

388

Monographs in Computer Science

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9781441923127

Software Architecture with C++: Design modern systems using effective architecture concepts, design patterns, and techniques with C++20

Adrian Ostrowski Livre numérique Kobo
48,99 $ ~~Réduction sur le prix courant 60,25 $ à~~
Verification of Sequential and Concurrent Programs

Krzysztof R. Apt Couverture souple
131,50 $
System Parameter Identification: Information Criteria and Algorithms

Badong Chen Livre numérique Kobo
106,99 $ ~~Réduction sur le prix courant 133,00 $ à~~
2 formats offerts
Concepts and Applications of Fuzzy Inference System

Couverture rigide
114,95 $
Real-Time Database Systems: Fundamentals, Architectures and Applications

Pedro Mejia Alvarez Couverture souple
72,95 $
Computer Fundamentals - 8th Edition: Concepts, Systems & Applications

Pradeep K.Sinha Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Application-Driven Architecture Synthesis

Francky Catthoor Couverture souple
248,50 $
2 formats offerts
Econometrics In Practice

Paul Turner Couverture rigide
109,50 $
2 formats offerts
Cognitive Radio: Basic Concepts, Mathematical Modeling And Applications

Rajeshree Raut Couverture rigide
207,50 $
2 formats offerts
Introduction to Ansible Network Automation: A Practical Primer

Erwin Medina Couverture souple
87,95 $
2 formats offerts
Performance Evaluation and Applications of ATM Networks

Couverture souple
285,95 $
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Naeem Khalid Janjua Couverture rigide
248,50 $
2 formats offerts
An Introduction to Software Design: Concepts, Principles, Methodologies, and Techniques

Chenglie Hu Couverture souple
87,95 $
2 formats offerts
Introduction To Communications Technologies: A Guide For Non-engineers

Stephan Jones Couverture rigide
162,95 $
2 formats offerts
Spatiotemporal Data Analytics and Modeling: Techniques and Applications

John John A Couverture rigide
262,95 $
2 formats offerts
Control Applications for Biomedical Engineering Systems

Livre numérique Kobo
132,99 $ ~~Réduction sur le prix courant 166,00 $ à~~
Coding Examples from Simple to Complex: Applications in Python(tm)

Paul A. Gagniuc Couverture souple
72,95 $
Spatiotemporal Data Analytics and Modeling: Techniques and Applications

John John A Couverture souple
58,50 $
Refactoring Mainframe Applications: Improving Architecture and Modularization

Ricardo Nuqui Livre numérique Kobo
20,53 $
Numerical Linear Algebra, Digital Signal Processing and Parallel Algorithms

Gene H. Golub Couverture souple
160,95 $

Évaluation éditoriale

Auteur

Conversational Forms Of Instruction And Message Layer Design

Andrew S. Gibbons Couverture souple
94,95 $
2 formats offerts
The Didactical Challenge Of Symbolic Calculators: Turning a Computational Device into a Mathematical Instrument

Dominique Guin Couverture souple
175,50 $
2 formats offerts
Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies

John Laird Couverture souple
248,50 $
2 formats offerts
Elicitation: The Science And Art Of Structuring Judgement

Luis C. Dias Couverture rigide
437,95 $
2 formats offerts
Elicitation: The Science and Art of Structuring Judgement

Luis C. Dias Couverture souple
437,95 $
Semiparametric Regression for the Social Sciences

Luke John Keele Couverture rigide
103,95 $
Graphing Jane Austen: The Evolutionary Basis of Literary Meaning

J. Carroll Couverture rigide
80,50 $
3 formats offerts
C<sup>∞</sup>-Algebraic Geometry with Corners

Kelli Francis-Staite Couverture souple
91,95 $
Analysis, Probability And Mathematical Physics On Fractals

Patricia Alonso Ruiz Couverture rigide
230,95 $
2 formats offerts
Forensic Gis: The Role Of Geospatial Technologies For Investigating Crime And Providing Evidence

Gregory A. Elmes Couverture souple
248,50 $
3 formats offerts
Theoretical, Experimental, and Numerical Contributions to the Mechanics of Fluids and Solids: A collection of papers in honor of Paul M. Naghdi

Couverture souple
285,95 $
2 formats offerts
Cellular: An Economic And Business History Of The International Mobile-phone Industry

Daniel D. Garcia-swartz Couverture souple
60,00 $
2 formats offerts
Spectral Analysis of Time-Series Data

Rebecca M. Warner Couverture rigide
94,95 $
Tetrobot: A Modular Approach to Reconfigurable Parallel Robotics

Gregory J. Hamlin Couverture souple
248,50 $
2 formats offerts
Fundamentals Of Spacecraft Attitude Determination And Control

F. Landis Markley Couverture souple
131,50 $
3 formats offerts
The Mathematics Of Patterns, Symmetries, And Beauties In Nature: In Honor Of John Adam

Bourama Toni Couverture rigide
180,95 $
2 formats offerts
Predictive Statistics: Analysis And Inference Beyond Models

Bertrand S. Clarke Couverture rigide
113,95 $
Mathematical Techniques: An Introduction for the Engineering, Physical, and Mathematical Sciences

Dominic Jordan Couverture souple
99,99 $
Atomic Transactions: In Concurrent and Distributed Systems

Nancy A. Lynch Couverture rigide
173,50 $
Electronic CAD Frameworks

Timothy J. Barnes Couverture souple
160,95 $
2 formats offerts