Author Results for Smolka, Scott A.

Smolka,Scott A.
SpringerLink (Online service)
Wegner,Peter
(Alban),
Bergstra,J. A.
see all »
Dina Goldin, Scott A. Smolka, Peter Wegner (eds.)
ETAPS (Conference)
Elsevier Science & Technology
Goldin,Dina Q
Goldin,Dina Q.

1
操作系统设计与实现 OSP 2 方法 the OSP2 approach

Cover is for reference only
Main Authors: 美 基弗 Kifer, Michael (Michael Kifer，Scott A. Smolka著); 美 斯莫尔卡 Smolka, Scott A
Group Author: 王俊华 (译)
Published: 清华大学出版社
Publication Dates: 2010
Call Number: TP316/4150
Book
Save to List
Saved in:
2
CONCUR '95 concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings

Cover is for reference only
Group Author: Smolka Scott A.; Lee Insup.
Published: Springer,
Publication Dates: c1995.
Call Number: TP338.6-532/I61.5/1995/
Book
Save to List
Saved in:
4
Interactive computation the new paradigm

Cover is for reference only
Group Author: Goldin Dina Q; Smolka Scott A; Wegner Peter
Published: Springer,
Publication Dates: c2006.
Call Number: TP3/I611-1
Book
Save to List
Saved in:
5
Interactive computation the new paradigm

Cover is for reference only
Corporate Authors: NetLibrary, Inc.
Group Author: Smolka Scott A.; Wegner Peter.; Goldin Dina Q.
Published: Springer,
Publication Dates: c2006.
Book
Save to List
Saved in:
7
Handbook of process algebra

Cover is for reference only
Group Author: Bergstra J. A.; Ponse A.; (Alban), 1955-; Smolka Scott A.
Published: Elsevier,
Publication Dates: 2001.
Call Number: TP301.1-62/H236
Book
Save to List
Saved in:
8
Handbook of process algebra /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Bergstra, J. A. (Editor); Ponse, A. (Alban), 1955- (Editor); Smolka, Scott A. (Editor)
Published: Elsevier,
Publication Dates: 2001.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —