Validation of Stochastic Systems
A Guide to Current Research
AvMarkus Siegle,Joost-Pieter Katoen
E-bok
PDF, Engelska, 2004718 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Häftad, 2001
573 kr
Lectures on Formal Methods and Performance Analysis
Joost-Pieter Katoen, Holger Hermanns, Ed Brinksma
E-bok
2003739 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
556 kr
Operations Research Proceedings 2010
Markus Siegle, Stefan Pickl, Karl Morasch, Bo Hu
E-bok
20112 862 kr
Quantitative Evaluation of Systems
Pedro R. D'Argenio, Marielle Stoelinga, Markus Siegle, Kaustubh Joshi
E-bok
2013718 kr
Operations Research Proceedings 2010
Bo Hu, Karl Morasch, Stefan Pickl, Markus Siegle
Häftad, 2011
2 304 kr
Graphs and Combinatorial Optimization: from Theory to Applications
Markus Siegle, Stefan Pickl, Andreas Brieden
E-bok
20242 366 kr