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

1

Cover is for reference only

Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics /

Main Authors: Draheim, Dirk, 1969- (Author)
Published: Springer,
Publication Dates: [2017]
Call Number: TP301/D759

Book

2

Cover is for reference only

Business process technology：a unified view on business processes, workflows and enterprise applications

Main Authors: Draheim Dirk, 1969-
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2010.

Book

3

Cover is for reference only

Trends in enterprise application architecture：VLDB workshop, TEAA 2005, Trondheim, Norway, August 28, 2005 : revised selected papers

Corporate Authors: TEAA 2005 (2005 Trondheim, Norway; International Conference on Very Large Databases 2005 Trondheim, Norway) (Trondheim, Norway))
Group Author: Draheim Dirk 1969-; Weber Gerald, Dr
Published: Springer,
Publication Dates: c2006.
Call Number: F270.7-532/T794/2005

Book

4

Cover is for reference only

Form-oriented analysis：a new methodology to model form-based applications

Main Authors: Draheim Dirk 1969-
Group Author: Weber Gerald, Dr
Published: Springer,
Publication Dates: c2005.
Call Number: TP317/D759

Book

5

Cover is for reference only

Trends in enterprise application architecture：2nd international conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006 ; revised selected papers

Corporate Authors: TEAA 2006 (2006 Berlin, Germany); SpringerLink (Online service)
Group Author: Weber Gerald, Dr.; Draheim Dirk, 1969-
Published: Springer,
Publication Dates: c2007.

Book

6

Cover is for reference only

Trends in enterprise application architecture：VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005 : revised selected papers

Corporate Authors: TEAA 2005 (2005 Trondheim, Norway); VLDB Workshop 2005 Trondheim, Norway) (Trondheim, Norway)); LINK (Online service); International Conference on Very Large Data Bases 2005 Trondheim, Norway) (Trondheim, Norway))
Group Author: Weber Gerald, Dr.; Draheim Dirk, 1969-
Published: Springer,
Publication Dates: c2006.

Book

7

Cover is for reference only

Form-oriented analysis：a new methodology to model form-based applications

Main Authors: Draheim Dirk, 1969-
Corporate Authors: NetLibrary, Inc.
Group Author: Weber Gerald, Dr.
Published: Springer,
Publication Dates: c2005.

Book

Narrow Search