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

1

Cover is for reference only

Static analysis：7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

Corporate Authors: International Static Analysis Symposium 2000 Santa Barbara, Calif.)
Group Author: Palsberg Jens.
Published: Springer,
Publication Dates: c2000.
Call Number: TP301-532/S797/2000

Book

2

Cover is for reference only

Semantics and algebraic specification：essays dedicated to Peter D. Mosses on the occasion of his 60th birthday

Corporate Authors: SpringerLink (Online service)
Group Author: Palsberg Jens.
Published: Springer,
Publication Dates: c2009.

Book

3

Cover is for reference only

Semantics and algebraic specification：essays dedicated to Peter D. Mosses on the occasion of his 60th birthday

Corporate Authors: SpringerLink (Online service)
Group Author: Palsberg Jens.
Published: Springer-Verlag,
Publication Dates: 2009.

Book

4

Cover is for reference only

Static analysis：16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings

Corporate Authors: International Static Analysis Symposium (16th 2009 Los Angeles, Calif.); SpringerLink (Online service)
Group Author: Su Zhendong.; Palsberg Jens.
Published: Springer,
Publication Dates: c2009.

Book

5

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

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

Modern compiler implementation in Java

Main Authors: Appel Andrew W., 1960-
Group Author: Palsberg Jens.
Published: Cambridge University Press,
Publication Dates: 2002.
Call Number: TP314-43/A646-1/2nd.ed.

Book

8

Cover is for reference only

Object-oriented type systems

Main Authors: Palsberg Jens.
Group Author: Schwartzbach Michael I.
Published: Wiley,
Publication Dates: c1994.
Call Number: TP316/P182/

Book

9

Cover is for reference only

Model checking software：15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings

Corporate Authors: International SPIN Workshop (15th: 2008 Los Angeles, Calif.); SpringerLink (Online service)
Group Author: Majumdar Rupak.; Palsberg Jens.; Havelund Klaus, 1955-
Published: Springer,
Publication Dates: 2008.

Book

10

Cover is for reference only

现代编译程序实现：Java语言

Main Authors: 美阿佩尔 A.W. ((美)Andrew W.Appel,(美)With Jens Palsberg著); 美 Appel Adrew W.; 美帕尔斯伯格 W.J.; 美 Palsberg With Jens
Published: 高等教育出版社
Publication Dates: 2003
Call Number: TP314/7222

Book

Narrow Search