Treffliste - Hermanns, Holger - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

5 treff

Sortering

Forsidebilde

Interactive Markov chains : and the quest for quantified quality

Hermanns, Holger
Inngår i serie: Lecture notes in computer science (2428)
Bok Engelsk c2002

Ledig 1/1

Forsidebilde

CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings

CONCUR 2006
Inngår i serie: Lecture notes in computer science (4137)
Bok Engelsk c2006

Ledig 1/1

Forsidebilde

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

TACAS 2006
Inngår i serie: Lecture notes in computer science (3920)
Bok Engelsk c2006

Ledig 1/1

Forsidebilde

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

EEF/Euro Summer School on Trends in Computer Science
Inngår i serie: Lecture notes in computer science (2090)
Bok Engelsk c2001

Ledig 1/1

Forsidebilde

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

PAPM-PROBMIV 2002
Inngår i serie: Lecture notes in computer science (2399)
Bok Engelsk c2002

Ledig 1/1

Søk og bestill fra andre bibliotek: Biblioteksøk