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

21

Cover is for reference only

Cyber attack information system : Erfahrungen und Erkenntnisse aus der IKT-Sicherheitsforschung /

Group Author: Leopold, Helmut, 1963- (Editor); Bleier, Thomas E. (Editor); Skopik, Florian (Editor)
Published: Springer Vieweg,
Publication Dates: [2015]
Call Number: WG/TP393.08/C994

Book

22

Cover is for reference only

Handbook of model checking /

Group Author: Clarke, Edmund M., Jr. Edmund Melson, 1945; Henzinger, T. A. Thomas A; Veith, Helmut; Bloem, Roderick P
Published: Springer,
Publication Dates: [2018]
Call Number: TP302-62/H236-1

Book

23

Cover is for reference only

Doppelleben：literarische Szenen aus Nachkriegsdeutschland.

Corporate Authors: Deutsche Akademie für Sprache und Dichtung.
Group Author: Böttiger Helmut, 1956-; Dittrich Lutz.; Busch Bernd.; Combrink Thomas, 1976-
Published: Wallstein Verlag,
Publication Dates: 2009.
Call Number: I516.065-28/D692

Book

24

Cover is for reference only

The complete symphonies and orchestral songs

Main Authors: Mahler Gustav 1860-1911. (Mahler.)
Corporate Authors: Concertgebouworkest; Wiener Philharmoniker; New York Philharmonic; Konzertvereinigung Wiener Staatsopernchor; Wiener Singverein; Wiener Sa ngerknaben
Group Author: Bernstein Leonard 1918-1990. (Conductor); Hampson Thomas (Performer); Ludwig Christa (Performer); Hendricks Barbara (Performer); Wittek Helmut (Performer); Popp Lucia (Performer); Schmidt Andreas 1960- (Performer); Price Margaret 1941-2011. (Performer); Prey Hermann 1929-1998. (Performer); Dam Jose van (Performer); King James 1925-2005. (Performer); Fischer-Dieskau Dietrich 1925-2012. (Performer)
Published: Deutsche Grammophon,
Publication Dates: [1998]
Call Number: #WCD/130590

Audio

25

Cover is for reference only

The Berlin Group and the philosophy of logical empiricism

Corporate Authors: SpringerLink (Online service)
Group Author: Milkov, Nikolay, 1953-; Peckhaus, Volker.
Published:

Electronic eBook

26

Cover is for reference only

Advances in global sourcing : models, governance, and relationships : 7th Global Sourcing Workshop 2013, Val d'Isère, France, March 11-14, 2013, Revised selected papers /

Corporate Authors: Global Sourcing Workshop Val d'Isère, France); SpringerLink (Online service)
Group Author: Oshri, Ilan; Kotlarsky, Julia; Willcocks, Leslie.
Published: Springer,
Publication Dates: 2013.

eBook

27

Cover is for reference only

Small organic molecules on surfaces : fundamentals and applications /

Corporate Authors: SpringerLink (Online service)
Group Author: Sitter, Helmut, 1951-; Draxl, Claudia; Ramsey, Michael (Michael G.)
Published: Springer,
Publication Dates: 2013.

eBook

28

Cover is for reference only

Ways of proof theory /

Corporate Authors: De Gruyter.
Group Author: Schindler, Ralf
Published: De Gruyter,
Publication Dates: [2010]

eBook

29

Cover is for reference only

Electronic Government : 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013 : proceedings /

Corporate Authors: EGOV (Conference) Koblenz, Germany); SpringerLink (Online service)
Group Author: Wimmer, Maria A.; Janssen, Marijn; Scholl, Jochen
Published: Springer,
Publication Dates: [2013]

eBook

30

Cover is for reference only

Knowledge discovery, knowledge engineering and knowledge management : third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised selected papers /

Corporate Authors: IC3K (Conference) Paris, France); SpringerLink (Online service)
Group Author: Fred, Ana.
Published: Springer,
Publication Dates: 2013.

eBook

31

Cover is for reference only

Image-guided cancer therapy : a multidisciplinary approach /

Corporate Authors: SpringerLink (Online service)
Group Author: Dupuy, Damian E.; Fong, Yuman; McMullen, William N.
Published: Springer,
Publication Dates: 2013.

eBook

32

Cover is for reference only

Advances in production management systems : competitive manufacturing for innovative products and services : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, revised Selected Papers. Part I /

Corporate Authors: IFIP WG5.7 International Conference on Advances in Production Management Systems Rhodes, Greece); SpringerLink (Online service)
Group Author: Emmanouilidis, Christos; Taisch, Marco; Kiritsis, Dimitris
Published: Springer,
Publication Dates: 2013.

eBook

33

Cover is for reference only

Historical semantics and cognition /

Corporate Authors: De Gruyter.
Group Author: Blank, Andreas; Koch, Peter
Published: De Gruyter Mouton,
Publication Dates: [1999]

eBook

34

Cover is for reference only

Thomas Manns Doktor Faustus : neue Ansichten, neue Einsichten /

Group Author: Detering, Heinrich (Editor); Marx, Friedhelm, 1963- (Editor); Sprecher, Thomas, 1957- (Editor)
Published: Vittorio Klostermann,
Publication Dates: [2013]
Call Number: WG/I516.074/T459

Book

35

Cover is for reference only

Die 80er : figurative Malerei in der BRD /

Corporate Authors: Städtische Galerie im Städelschen Kunstinstitut Frankfurt am Main
Group Author: Engler, Martin (Editor)
Published: Hatje Cantz,
Publication Dates: [2015]
Call Number: WG/J233(516)-28/A179

Book

36

Cover is for reference only

Handbook of computer aided geometric design /

Corporate Authors: Elsevier Science & Technology.
Group Author: Farin, Gerald E. (Editor); Hoschek, Josef. (Editor); Kim, Myung-Soo. (Editor)
Published: Elsevier,
Publication Dates: 2002.

eBook

37

Cover is for reference only

Age-differentiated work systems /

Corporate Authors: SpringerLink (Online service)
Group Author: Schlick, Christopher Marc (Editor); Frieling, Ekkehart (Editor); Wegge, Ju rgen (Editor)
Published: Springer,
Publication Dates: 2013.

eBook

38

Cover is for reference only

Product experience /

Corporate Authors: Elsevier Science & Technology.
Group Author: Schifferstein, H. (Hendrik), 1964- (Editor); Hekkert, Paul, 1963- (Editor)
Published: Elsevier,
Publication Dates: 2008.

eBook

39

Cover is for reference only

Die slavischen sprachen / the slavic languages. halbband 2 /

Corporate Authors: De Gruyter.
Group Author: Gutschmidt, Karl (Editor); Kempgen, Sebastian (Editor); Berger, Tilman (Editor); Kosta, Peter (Editor)
Published: De Gruyter Mouton,
Publication Dates: [2014]

eBook

40

Cover is for reference only

Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /

Corporate Authors: CIAA (Conference) Halifax, N.S.); SpringerLink (Online service)
Group Author: Konstantinidis, Stavros
Published: Springer,
Publication Dates: [2013]

eBook

Narrow Search