Author books / Книги автора Anna Slobodová (auth.) Luboš Brim Boudewijn Haverkort Martin Leucker Jaco van de Pol (eds.) » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Anna Slobodová (auth.) Luboš Brim Boudewijn Haverkort Martin Leucker Jaco van de Pol (eds.) » Page 3

book Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

pdf

Author: Anna Slobodová (auth.) Luboš Brim Boudewijn Haverkort Martin Leucker Jaco van de Pol (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

pdf

Author: Mark E. Crovella (auth.) Boudewijn R. Haverkort Henrik C. Bohnenkamp Connie U. Smith (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer Performance Evaluation Modelling Techniques and Tools: 7th International Conference Vienna, Austria, May 3–6, 1994 Proceedings

Computer Performance Evaluation Modelling Techniques and Tools: 7th International Conference Vienna, Austria, May 3–6, 1994 Proceedings

djvu

Author: Kishor S. Trivedi Boudewijn R. Haverkort (auth.) Günter Haring Gabriele Kotsis (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

pdf

Author: Ana Sokolova Erik P. de Vink (auth.) Christel Baier Boudewijn R. Haverkort Holger Hermanns Joost-Pieter Katoen Markus Siegle (eds.)
Language: English
Year: 2004

00

26.01.2024

3

0

book Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

pdf

Author: Boudewijn R. Haverkort (auth.) Nigel Thomas Carlos Juiz (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Performance of computer communication systems: a model-based approach

Performance of computer communication systems: a model-based approach

pdf

Author: Boudewijn R. Haverkort
Language: English
Year: 1998

00

26.01.2024

0

0