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

1

Cover is for reference only

Automata, languages and programming：37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part II

Corporate Authors: International Colloquium on Automata, Languages, and Programming (37th 2010 Bordeaux, Aquitaine, France); SpringerLink (Online service)
Group Author: Abramsky Samson, 1953-
Published: Springer,
Publication Dates: 2010.

Book

2

Cover is for reference only

Typed lambda calculi and applications：5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Corporate Authors: International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland
Group Author: Abramsky Samson 1953-
Published: Springer,
Publication Dates: 2001.
Call Number: TP301-532/I61/2001

Book

3

Cover is for reference only

Abstract interpretation of declarative languages

Group Author: Hankin Chris.; Abramsky Samson, 1953-
Published: E. Horwood Halsted Press,
Publication Dates: 1987.
Call Number: TP312/A164/

Book

4

Cover is for reference only

Handbook of logic in computer science

Group Author: Abramsky Samson 1953-; Gabbay Dov M 1945-; Maibaum Thomas S. E 1947-
Published: Clarendon Press,
Publication Dates: 1992-
Call Number: TP3-62/H236.1/

Book

5

Cover is for reference only

Mathematical foundations of information flow：Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana

Corporate Authors: Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation (2008 New Orleans, La.); Tulane University. Department of Mathematics.
Group Author: (Alfred Hoblitzelle), 1908-; Abramsky Samson, 1953-; Mislove Michael W.; Clifford A. H.
Published: American Mathematical Society,
Publication Dates: c2012.
Call Number: O1-532/C637

Book

Narrow Search