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

Name: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Price: 109.50 CAD
Availability: InStock
Author: Benjamin Lucien Kaminski
ISBN: 9783031757747

Nils Jansen Édition : Sebastian Junges , Benjamin Lucien Kaminski

20 décembre 2024

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

Description

Langue

anglais

Pages

395

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031757747

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

Livre numérique Kobo
84,99 $ ~~Réduction sur le prix courant 105,68 $ à~~
2 formats offerts
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Nils Jansen Couverture souple
116,95 $
2 formats offerts
Music Navigation with Symbols and Layers: Toward Content Browsing with IEEE 1599 XML Encoding

Denis L. Baggi Couverture rigide
110,02 $
2 formats offerts
Voltaire: a Database Programming Environment With a Single Execution

Sunit Gala Couverture souple
69,00 $
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
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

Kurt Jensen Couverture rigide
233,95 $
Medical Image Understanding and Analysis: 27th Annual Conference, MIUA 2023, Aberdeen, UK, July 19-21, 2023, Proceedings

Gordon Waiter Couverture souple
109,50 $
2 formats offerts
Medical Image Understanding and Analysis: 27th Annual Conference, MIUA 2023, Aberdeen, UK, July 19-21, 2023, Proceedings

Gordon Waiter Couverture souple
58,50 $
Fysos: The Graphical User Interface

Benjamin David Lunt Couverture souple
26,95 $
Computation in Living Cells: Gene Assembly in Ciliates

Andrzej Ehrenfeucht Couverture souple
87,95 $
2 formats offerts
Invitation to Computer Science, Loose-Leaf Version

G.michael Schneider Feuille mobile
49,95 $
Building Natural Language Pipelines: An introduction to Haystack by Deepset

Laura Funderburk Livre numérique Kobo
32,99 $ ~~Réduction sur le prix courant 40,99 $ à~~
Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Colin Johnson Couverture souple
58,50 $
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

Michele Bugliesi Couverture souple
160,95 $
Web Dynamics: Adapting to Change in Content, Size, Topology and Use

Mark Levene Couverture souple
246,95 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
109,50 $
2 formats offerts
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Henk Barendregt Couverture souple
25,95 $
Parallel Processing: Proceedings of the Sagamore Computer Conference, August 20-23, 1974

Couverture souple
64,95 $
Vision and Actualization in Academia: Georgia Tech's College of Computing

Peter A. Freeman Couverture rigide
55,50 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
72,95 $

Évaluation éditoriale

sebastian junges

Auteur

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

Nils Jansen Couverture souple
116,95 $
2 formats offerts
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 $
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Livre numérique Kobo
84,99 $ ~~Réduction sur le prix courant 105,68 $ à~~
2 formats offerts
From Multimedia Communications to the Future Internet: Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement

Stefan Schulte Couverture souple
94,95 $
2 formats offerts
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen Couverture souple
80,50 $
2 formats offerts
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Stefan Kiefer Couverture souple
189,95 $
2 formats offerts
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

Wolfgang Ahrendt Couverture souple
160,95 $
2 formats offerts
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Stefan Kiefer Couverture souple
58,50 $
Languages, Design Methods, And Tools For Electronic System Design: Selected Contributions From Fdl 2018

Tom J. Kazmierski Couverture souple
80,50 $
3 formats offerts
Advances In Dynamics, Optimization And Computation: A Volume Dedicated To Michael Dellnitz On The Occasion Of His 60th Birthday

Oliver Junge Couverture rigide
248,50 $
2 formats offerts
Languages: From Formal To Natural: Essays Dedicated To Nissim Francez On The Occasion Of His 65th Birthday

Orna Grumberg Couverture souple
80,50 $
Advances In Dynamics, Optimization And Computation: A Volume Dedicated To Michael Dellnitz On The Occasion Of His 60th Birthday

Oliver Junge Couverture souple
248,50 $
Atomic Physics Methods in Modern Research: Selection of Papers Dedicated to Gisbert zu Putlitz on the Occasion of his 65th Birthday

Klaus Jungmann Couverture souple
160,95 $
Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Fedor V. Fomin Couverture souple
102,50 $
2 formats offerts
Solving Large Scale Learning Tasks. Challenges And Algorithms: Essays Dedicated To Katharina Morik On The Occasion Of Her 60th Birthday

Stefan Michaelis Couverture souple
80,50 $
2 formats offerts
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Jozef Kelemen Couverture souple
80,50 $
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Thomas Eiter Couverture souple
80,50 $
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 $
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 $
Introduction to Lipschitz Geometry of Singularities: Lecture Notes of the International School on Singularity Theory and Lipschitz Geometry, Cuernavaca, June 2018

Walter Neumann Couverture souple
102,50 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

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

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

Music Navigation with Symbols and Layers: Toward Content Browsing with IEEE 1599 XML Encoding

Voltaire: a Database Programming Environment With a Single Execution

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

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

Medical Image Understanding and Analysis: 27th Annual Conference, MIUA 2023, Aberdeen, UK, July 19-21, 2023, Proceedings

Medical Image Understanding and Analysis: 27th Annual Conference, MIUA 2023, Aberdeen, UK, July 19-21, 2023, Proceedings

Fysos: The Graphical User Interface

Computation in Living Cells: Gene Assembly in Ciliates

Invitation to Computer Science, Loose-Leaf Version

Building Natural Language Pipelines: An introduction to Haystack by Deepset

Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

Web Dynamics: Adapting to Change in Content, Size, Topology and Use

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Parallel Processing: Proceedings of the Sagamore Computer Conference, August 20-23, 1974

Vision and Actualization in Academia: Georgia Tech's College of Computing

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

From Multimedia Communications to the Future Internet: Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Languages, Design Methods, And Tools For Electronic System Design: Selected Contributions From Fdl 2018

Advances In Dynamics, Optimization And Computation: A Volume Dedicated To Michael Dellnitz On The Occasion Of His 60th Birthday

Languages: From Formal To Natural: Essays Dedicated To Nissim Francez On The Occasion Of His 65th Birthday

Advances In Dynamics, Optimization And Computation: A Volume Dedicated To Michael Dellnitz On The Occasion Of His 60th Birthday

Atomic Physics Methods in Modern Research: Selection of Papers Dedicated to Gisbert zu Putlitz on the Occasion of his 65th Birthday

Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Solving Large Scale Learning Tasks. Challenges And Algorithms: Essays Dedicated To Katharina Morik On The Occasion Of Her 60th Birthday

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

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)

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

Introduction to Lipschitz Geometry of Singularities: Lecture Notes of the International School on Singularity Theory and Lipschitz Geometry, Cuernavaca, June 2018