Cărți de Holger Hermanns

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ț: 482^.30 lei 602^.87 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ț: 332^.57 lei 415^.71 lei

6-8 săpt.

-20%

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4590

Editat de Werner Damm et al.

2 iul 2007

Preț: 350^.21 lei 437^.76 lei

6-8 săpt.

-20%

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ț: 659^.31 lei 824^.13 lei

6-8 săpt.

-20%

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ț: 343^.77 lei 429^.71 lei

6-8 săpt.

-20%

Validation of Stochastic Systems: A Guide to Current Research

Lecture Notes in Computer Science, nr. 2925

Editat de Christel Baier et al.

11 aug 2004

Preț: 398^.74 lei

6-8 săpt.

Interactive Markov Chains: The Quest for Quantified Quality

Lecture Notes in Computer Science, nr. 2428

Autor Holger Hermanns

11 sep 2002

Preț: 384^.70 lei

6-8 săpt.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2399

Editat de Holger Hermanns et al.

10 iul 2002

Preț: 384^.48 lei

6-8 săpt.

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ț: 354^.68 lei 443^.35 lei

6-8 săpt.

-20%