Cărți de Holger Hermanns

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Lecture Notes in Computer Science, nr. 2090

Editat de Ed Brinksma et al.

29 aug 2001

Preț: 341^.16 lei 426^.45 lei

6-8 săpt.

-20%

Editat de Christel Baier et al.

11 aug 2004

Preț: 385^.79 lei

6-8 săpt.

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3920

Editat de Holger Hermanns et al.

15 mar 2006

Preț: 330^.68 lei 413^.35 lei

6-8 săpt.

-20%

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Editat de Holger Hermanns et al.

10 iul 2002

Preț: 371^.04 lei

6-8 săpt.

Autor Holger Hermanns

11 sep 2002

Preț: 371^.27 lei

6-8 săpt.

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Lecture Notes in Computer Science, nr. 4137

Editat de Christel Baier et al.

10 aug 2006

Preț: 633^.83 lei 792^.28 lei

6-8 săpt.

-20%

Editat de Werner Damm et al.

2 iul 2007

Preț: 335^.68 lei 419^.59 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14464

Editat de Holger Hermanns et al.

15 dec 2023

Preț: 518^.44 lei 648^.05 lei

6-8 săpt.

-20%

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12040

Editat de Holger Hermanns

6 mar 2020

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Cărți de Holger Hermanns

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Validation of Stochastic Systems

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Interactive Markov Chains

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Computer Aided Verification

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

Papetărie, jocuri, reviste

Cărți de Holger Hermanns