Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Name: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Price: 84.99 CAD
Availability: InStock
Author: Nils Jansen
ISBN: 9783031757785

Édition : Nils Jansen

19 décembre 2024

84,99 $ ~~Réduction sur le prix courant 105,68 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Publié par: Springer Nature Switzerland

ISBN: 9783031757785

List Decoding of Error-Correcting Codes: Winning Thesis of the 2002 ACM Doctoral Dissertation Competition

Venkatesan Guruswami Couverture souple
80,50 $
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Mário S. Alvim Couverture souple
80,50 $
2 formats offerts
Ivor Horton's Beginning ANSI C++: The Complete Language

Ivor Horton Coffret
71,50 $
Probabilistic Approaches to Recommendations

Nicola Barbieri Couverture souple
49,50 $
Voltaire: a Database Programming Environment With a Single Execution

Sunit Gala Couverture souple
69,00 $
Present and Future of Gravitational Wave Astronomy

Couverture rigide
143,53 $
Fundamentals of Index Coding

Fatemeh Arbabjolfaei Couverture souple
128,95 $
Handbook on Parallel and Distributed Processing

Jacek Blazewicz Couverture souple
321,50 $
2 formats offerts
The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture rigide
33,95 $
The Engineer'S Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture souple
31,99 $
The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture souple
36,95 $
The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture rigide
35,95 $
The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture souple
21,95 $
The Engineer'S Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture souple
31,99 $
The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Thomas Walter Barber Couverture souple
21,95 $
Asterisk Cookbook: Solutions To Everyday Telephony Problems

Leif Madsen Couverture souple
34,99 $
2 formats offerts
Human Pose Analysis: Deep Learning Meets Human Kinematics in Video

Songlin Du Couverture rigide
262,95 $
Lecture Notes In Deep Learning: Theoretical Insights Into An Artificial Mind

Shlomo Dubnov Couverture souple
70,50 $
Lecture Notes In Deep Learning: Theoretical Insights Into An Artificial Mind

Shlomo Dubnov Couverture rigide
128,50 $
Speech Recognition Algorithms Based on Weighted Finite-State Transducers

Takaaki Hori Couverture souple
42,95 $

Évaluation éditoriale

nils jansen

Auteur

Papers in Honour of Bernhard Banaschewski: Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra

Guillaume Brümmer Couverture souple
248,50 $
2 formats offerts
A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthda: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

Jian-jia Chen Couverture rigide
87,95 $
2 formats offerts
Worldviews, Science And Us: Bridging Knowledge And Its Implications For Our Perspectives Of The World - Proceedings Of The Workshop On Times Of Entanglement

Diederik Aerts Couverture rigide
214,95 $
A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthda: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

Jian-jia Chen Couverture souple
72,95 $
Automata and Complexity: Essays Presented to Eric Goles on the Occasion of His 70th Birthday

Couverture souple
259,95 $
3 formats offerts
Quantum Field Theory Under the Influence of External Conditions (Qfext09): Devoted To The Centenary Of H B G Casimir - Proceedings Of The Ninth Conference

Kimball A MILTON Couverture rigide
297,95 $
Worldviews, Science And Us: Studies Of Analytical Metaphysics - A Selection Of Topics From A Methodological Perspective - Proceedings Of The 5th Metaphysics Of Science Workshop

Robrecht Vanderbeeken Couverture rigide
148,95 $
Highlights in Computational Chemistry II: Special reprint edition of selected papers published in the Journal of Molecular Modeling on the occasion of Professor Paul von Rague Schleyer's 75th Birthday.

Tim Clark Couverture souple
160,95 $
First International Congress on Adhesion Science and Technology---invited papers: Festschrift in Honor of Dr. K.L. Mittal on the Occasion of his 50th Birthday

Livre numérique Kobo
91,99 $
Singularity Theory: Proceedings of the European Singularities Conference, August 1996, Liverpool and Dedicated to C.T.C. Wall on the Occasion of his 60th Birthday

Couverture souple
81,95 $
Spatial Stochastic Processes: A Festschrift in Honor of Ted Harris on His Seventieth Birthday

Kenneth S Alexander Couverture rigide
41,95 $
Three Decades of Mathematical System Theory: A Collection of Surveys at the Occasion of the 50th Birthday of Jan C. Willems

Couverture souple
71,50 $
Application of Stress Wave Theory to Piles: Test Results: Proceedings of the 14th International Conference on the Application of Stress-Wave Theory to Piles, The Hague, Netherlands, 21-24 September 1992

Livre numérique Kobo
36,99 $
Instabilities in Luminous Early Type Stars: Proceedings of a Workshop in Honour of Professor Cees de Jager on the Occasion of His 65th Birthday Held in Lunteren, the Netherlands, 21-24 April 1986

Couverture souple
71,50 $
LESFOIL: Large Eddy Simulation of Flow Around a High Lift Airfoil: Results of the Project LESFOIL Supported by the European Union 1998 - 2001

Lars Davidson Couverture souple
321,50 $
2 formats offerts
Media - Multimedia - Omnimedia: Selected Papers from the CETaLL Symposium on the Occasion of the 11th AILA World Congress in Jyvaeskylae (Finland) and the Vth Man and the Media Symposium in Nancy (France)

Couverture souple
87,04 $
Practicing The Correspondence Principle In The Old Quantum Theory: A Transformation Through Implementation

Martin Jähnert Couverture souple
189,95 $
The Dead Sea Scrolls and the Study of the Humanities: Method, Theory, Meaning: Proceedings of the Eighth Meeting of the International Organization for Qumran Studies (Munich, 4-7 August, 2013)

Couverture rigide
169,00 $
Analysis without Borders: Dedicated to Ilya Spitkovsky on Occasion of his 70th Anniversary

Sergei Rogosin Couverture rigide
233,95 $
2 formats offerts
Analysis without Borders: Dedicated to Ilya Spitkovsky on Occasion of his 70th Anniversary

Sergei Rogosin Couverture souple
72,95 $

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Description

Vous aimerez peut-être aussi

List Decoding of Error-Correcting Codes: Winning Thesis of the 2002 ACM Doctoral Dissertation Competition

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Ivor Horton's Beginning ANSI C++: The Complete Language

Probabilistic Approaches to Recommendations

Voltaire: a Database Programming Environment With a Single Execution

Present and Future of Gravitational Wave Astronomy

Fundamentals of Index Coding

Handbook on Parallel and Distributed Processing

The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

The Engineer'S Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

The Engineer'S Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

The Engineer's Sketch-Book: Of Mechanical Movements, Devices, Appliances, Contrivances and Details Employed in the Design and C

Asterisk Cookbook: Solutions To Everyday Telephony Problems

Human Pose Analysis: Deep Learning Meets Human Kinematics in Video

Lecture Notes In Deep Learning: Theoretical Insights Into An Artificial Mind

Lecture Notes In Deep Learning: Theoretical Insights Into An Artificial Mind

Speech Recognition Algorithms Based on Weighted Finite-State Transducers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Papers in Honour of Bernhard Banaschewski: Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra

A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthda: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

Worldviews, Science And Us: Bridging Knowledge And Its Implications For Our Perspectives Of The World - Proceedings Of The Workshop On Times Of Entanglement

A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthda: Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

Automata and Complexity: Essays Presented to Eric Goles on the Occasion of His 70th Birthday

Quantum Field Theory Under the Influence of External Conditions (Qfext09): Devoted To The Centenary Of H B G Casimir - Proceedings Of The Ninth Conference

Worldviews, Science And Us: Studies Of Analytical Metaphysics - A Selection Of Topics From A Methodological Perspective - Proceedings Of The 5th Metaphysics Of Science Workshop

Highlights in Computational Chemistry II: Special reprint edition of selected papers published in the Journal of Molecular Modeling on the occasion of Professor Paul von Rague Schleyer's 75th Birthday.

First International Congress on Adhesion Science and Technology---invited papers: Festschrift in Honor of Dr. K.L. Mittal on the Occasion of his 50th Birthday

Singularity Theory: Proceedings of the European Singularities Conference, August 1996, Liverpool and Dedicated to C.T.C. Wall on the Occasion of his 60th Birthday

Spatial Stochastic Processes: A Festschrift in Honor of Ted Harris on His Seventieth Birthday

Three Decades of Mathematical System Theory: A Collection of Surveys at the Occasion of the 50th Birthday of Jan C. Willems

Application of Stress Wave Theory to Piles: Test Results: Proceedings of the 14th International Conference on the Application of Stress-Wave Theory to Piles, The Hague, Netherlands, 21-24 September 1992

Instabilities in Luminous Early Type Stars: Proceedings of a Workshop in Honour of Professor Cees de Jager on the Occasion of His 65th Birthday Held in Lunteren, the Netherlands, 21-24 April 1986

LESFOIL: Large Eddy Simulation of Flow Around a High Lift Airfoil: Results of the Project LESFOIL Supported by the European Union 1998 - 2001

Media - Multimedia - Omnimedia: Selected Papers from the CETaLL Symposium on the Occasion of the 11th AILA World Congress in Jyvaeskylae (Finland) and the Vth Man and the Media Symposium in Nancy (France)

Practicing The Correspondence Principle In The Old Quantum Theory: A Transformation Through Implementation

The Dead Sea Scrolls and the Study of the Humanities: Method, Theory, Meaning: Proceedings of the Eighth Meeting of the International Organization for Qumran Studies (Munich, 4-7 August, 2013)

Analysis without Borders: Dedicated to Ilya Spitkovsky on Occasion of his 70th Anniversary

Analysis without Borders: Dedicated to Ilya Spitkovsky on Occasion of his 70th Anniversary