SULJE VALIKKO

avaa valikko

Prakash Panangaden | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



Labelled Markov Processes
Tekijä: Prakash Panangaden
Kustantaja: Imperial College Press (2009)
Saatavuus: Ei tiedossa
EUR   106,60
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Tekijä: Prakash Panangaden; Franck van Breugel
Kustantaja: American Mathematical Society (2004)
Saatavuus: Ei tiedossa
EUR   118,90
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky - Essays Dedicted to Samson Abramsky on
Tekijä: Bob Coecke; Luke Ong; Prakash Panangaden
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
    
Labelled Markov Processes
106,60 €
Imperial College Press
Sivumäärä: 212 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2009, 30.06.2009 (lisätietoa)
Kieli: Englanti
Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Kirjan painos kustantajalta loppu. Mahdollisesta uudesta painoksesta ei vielä tietoa. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Labelled Markov Processeszoom
Näytä kaikki tuotetiedot
ISBN:
9781848162877
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste