馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Interactive Markov chains and the quest for quantified quality

Main Authors: Hermanns Holger 1967-
Published: Springer,
Publication Dates: c2002.
Call Number: O211.62/H552

Book

2

Cover is for reference only

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

Corporate Authors: TACAS 2006 (2006 Vienna, Austria; ETAPS 2006 (2006 Vienna, Austria)
Group Author: Hermanns Holger 1967-; Palsberg Jens
Published: Springer,
Publication Dates: c2006.
Call Number: TP338.8-532/T671/2006

Book

3

Cover is for reference only

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

Corporate Authors: International Conference on Concurrency Theory (17th 2006 Bonn, Germany); SpringerLink (Online service)
Group Author: Baier Christel.; Hermanns Holger, 1967-
Published: Springer,
Publication Dates: c2006.

Book

4

Cover is for reference only

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

Corporate Authors: PAPM-PROBMIV 2002 (2002 Copenhagen, Denmark)
Group Author: Hermanns Holger, 1967-; Segala Roberto, 1968-
Published: Springer,
Publication Dates: c2002.
Call Number: TP301-532/P963/2002

Book

5

Cover is for reference only

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

Corporate Authors: International Conference on Concurrency Theory (17th 2006 Bonn, Germany)
Group Author: Baier Christel.; Hermanns Holger, 1967-
Published: Springer,
Publication Dates: 2006.
Call Number: TP338.6-532/I61.5/2006

Book

6

Cover is for reference only

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

Corporate Authors: TACAS 2006 (2006 Vienna, Austria); ETAPS 2006 (2006 Vienna, Austria) (Vienna, Austria)); SpringerLink (Online service)
Group Author: Palsberg Jens.; Hermanns Holger, 1967-
Published: Springer,
Publication Dates: c2006.

Book

7

Cover is for reference only

Computer aided verification：19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

Corporate Authors: CAV (Conference) (19th 2007 Berlin, Germany); SpringerLink (Online service)
Group Author: Hermanns Holger, 1967-; Damm Werner.
Published: Springer,
Publication Dates: c2007.

Book

8

Cover is for reference only

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

Corporate Authors: EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands)
Group Author: Brinksma Ed.; Hermanns Holger, 1967-; Katoen Joost-Pieter.
Published: Springer,
Publication Dates: c2001.
Call Number: TP301-1/E896/2000

Book

Narrow Search