Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Häftad, 2001
561 kr
Validation of Stochastic Systems
A Guide to Current Research
AvMarkus Siegle,Joost-Pieter Katoen
E-bok
PDF, Engelska, 2004687 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
Joost-Pieter Katoen, Holger Hermanns, Ed Brinksma
E-bok
2003708 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
544 kr
Operations Research Proceedings 2010
Markus Siegle, Stefan Pickl, Karl Morasch, Bo Hu
E-bok
20112 765 kr
Del 13
Graphs and Combinatorial Optimization: from Theory to Applications
Andreas Brieden, Stefan Pickl, Markus Siegle
Inbunden, 2024
1 834 kr
Quantitative Evaluation of Systems
Pedro R. D'Argenio, Marielle Stoelinga, Markus Siegle, Kaustubh Joshi
E-bok
2013687 kr
Graphs and Combinatorial Optimization: from Theory to Applications
Markus Siegle, Stefan Pickl, Andreas Brieden
E-bok
20242 283 kr