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

1

Cover is for reference only

Foundations for programming languages

Main Authors: Mitchell John C.
Published: MIT Press,
Publication Dates: 2000 ,c1996.
Call Number: TP312/M681-1

Book

2

Cover is for reference only

程序设计语言理论基础 = Foundations for programming languages

Main Authors: 美米切尔 Mitchell, John C ((美)John C. Mitchell著)
Group Author: 许满武 (译)
Published: 电子工业出版社
Publication Dates: 2006
Call Number: TP312/9942-4

Book

3

Cover is for reference only

Foundations for programming languages

Main Authors: Mitchell John C.
Corporate Authors: SpringerLink (Online service)
Published: MIT Press,
Publication Dates: c1996.

Book

4

Cover is for reference only

Got game：how the gamer generation is reshaping business forever

Main Authors: Beck John C.
Group Author: Wade Mitchell.
Published: Harvard Business School Press,
Publication Dates: c2004.
Call Number: G899-05/B393

Book

5

Cover is for reference only

Theoretical aspects of object-oriented programming：types, semantics, and language design

Group Author: Gunter Carl A.; Mitchell John C.
Published: MIT Press,
Publication Dates: c1994.
Call Number: TP311.11/T396/

Book

6

Cover is for reference only

The Godfather doctrine：a foreign policy parable

Main Authors: Hulsman John C., 1967-
Group Author: Mitchell A. Wess, 1977-
Published: Princeton University Press,
Publication Dates: c2009.
Call Number: D871.22/H917-1

Book

7

Cover is for reference only

Principles of security and trust : second International Conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /

Corporate Authors: POST 2013 Rome, Italy); SpringerLink (Online service); ETAPS (Conference) Rome, Italy)
Group Author: Basin, David; Mitchell, John C.
Published: Springer,
Publication Dates: 2013.

eBook

8

Cover is for reference only

The kids are alright：how the gamer generation is changing the workplace

Main Authors: Beck John C.
Group Author: Wade Mitchell.
Published: Harvard Business School McGraw-Hill, distributor],
Publication Dates: 2006.
Call Number: C93-05/B393

Book

9

Cover is for reference only

FMSE '05：proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005

Corporate Authors: ACM Workshop on Formal Methods in Security Engineering (3rd 2005 Fairfax, Va.); ACM Conference on Computer and Communications Security 2005 Alexandria, Va.) (Alexandria, Va.)); Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.
Group Author: Mitchell John C.; Küsters Ralf.
Published: Association for Computing Machinery,
Publication Dates: c2005.
Call Number: TP309-532/A849-2/2005

Book

10

Cover is for reference only

Reliable Software Technologies - Ada-Europe 2009：14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Main Authors: Hutchison David
Corporate Authors: SpringerLink (Online service)
Group Author: Steffen Bernhard.; Kittler Josef.; Nierstrasz Oscar.; Pandu Rangan C.; Sudan Madhu.; Mitchell John C.; Mattern Friedemann.; Naor Moni; Vardi Moshe Y.; Tygar Doug.; Kanade Takeo.; Kermarrec Yvon.; Kordon Fabrice.; Weikum Gerhard.; Terzopoulos Demetri.; Kleinberg Jon M.
Published: Springer Berlin Heidelberg,
Publication Dates: 2009.

Book

11

Cover is for reference only

Biology and biochemistry for chemists and chemical engineers

Main Authors: Mitchell W. J. (Wilfrid J.), 1953-
Group Author: Slaughter J. C.; (John Colin), 1939-
Published: Ellis Horwood,
Publication Dates: 1989.

Book

12

Cover is for reference only

Crime and justice : a review of research /

Group Author: Tonry, Michael H.
Published: University of Chicago Press,
Publication Dates: [2018]
Call Number: D917/C929-24

Book

13

Cover is for reference only

Environmental epigenomics in health and disease epigenetics and complex diseases /

Corporate Authors: SpringerLink (Online service)
Group Author: Jirtle, Randy L.; Tyson, Frederick L., 1953-
Published:

Electronic eBook

14

Cover is for reference only

Genomics of the saccharinae /

Corporate Authors: SpringerLink (Online service)
Group Author: Paterson, Andrew H., 1960-
Published: Springer,
Publication Dates: 2013.

eBook

15

Cover is for reference only

Stereotactic body radiation therapy /

Corporate Authors: SpringerLink (Online service)
Group Author: Lo, Simon S.
Published: Springer,
Publication Dates: 2012.

eBook

16

Cover is for reference only

Computational intelligence in image processing /

Corporate Authors: SpringerLink (Online service)
Group Author: Chatterjee, Amitava; Siarry, Patrick.
Published: Springer,
Publication Dates: 2013.

eBook

17

Cover is for reference only

Handbook of the cerebellum and cerebellar disorders /

Corporate Authors: SpringerLink (Online service)
Group Author: Manto, Mario
Published: Springer,
Publication Dates: 2013.

eBook

18

Cover is for reference only

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013 : proceedings. Part II /

Corporate Authors: International Conference on Computer Analysis of Images and Patterns York, England); SpringerLink (Online service)
Group Author: Wilson, Richard (Computer scientist); Hancock, Edwin R.; Bors, Adrian; Smith, William
Published: Springer,
Publication Dates: [2013]

eBook

19

Cover is for reference only

Everlasting love song Vol.3：karaoke

Main Authors: Adams B. (Composer); Bettis J. (Composer); Hammond A. (Composer); Rich A. (Composer); Friedman J. (Composer); Widhorn F. (Composer); Lennon John (Composer); Gibb B. (Composer); Mitchell J. (Composer); Clark (Composer); Bettis (Composer); Jones J. (Composer); Blackwell D. (Composer); Stock Mike (Composer); Harry Deborah (Composer); Bell R. (Composer); Taylar J. (Composer); Jennings W. (Composer); Marx R. (Composer); Ashford N. (Composer); Simpson V. (Composer); Moroder G. (Composer); Whitlock T. (Composer); Henley L. (Composer); Silbar J. (Composer); Thompson (Composer); Mann Barry (Composer); Wine T. (Composer); Bacharach C. Bayer (Composer); Creed Linda (Composer); Masser Michael (Composer); Gold (Composer); Bettis John (Composer); David H. (Composer); Webster Paul Francis (Composer); Jarre Maurice (Composer); Goffin G. (Composer)
Published: Glory Star Communication International Co., Ltd.
Publication Dates: [199-]
Call Number: #DVD 1978

Book

20

Cover is for reference only

The Blackwell guide to American philosophy

Corporate Authors: Wiley InterScience (Online service)
Group Author: Marsoobian, Armen.; Ryder, John, 1951-
Published:

Electronic eBook

Narrow Search