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

1

Cover is for reference only

Foundations of software science and computation structures：Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Corporate Authors: International Joint Conference on Theory and Practice of Software Development 1999 Amsterdam, Netherlands); FOSSACS '99 (1999 Amsterdam, Netherlands)
Group Author: Thomas Wolfgang 1947-
Published: Springer-Verlag,
Publication Dates: c1999.
Call Number: TP31-532/F771/1999/

Book

2

Cover is for reference only

STACS 2006：23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 ; proceedings

Corporate Authors: Symposium on Theoretical Aspects of Computer Science. (23rd 2006 Marseilles, France
Group Author: Durand Bruno; Thomas Wolfgang 1947-
Published: Springer,
Publication Dates: 2006.
Call Number: TP301-532/S989/2006

Book

3

Cover is for reference only

Developments in language theory：foundations, applications, and perspectives : Aachen, Germany, 6-9 July 1999

Corporate Authors: Conference on Developments in Language Theory 1999 Aachen, Germany)
Group Author: Thomas Wolfgang 1947-; Rozenberg Grzegorz
Published: World Scientific,
Publication Dates: c2000.
Call Number: TP301.2-532/D489/1999

Book

4

Cover is for reference only

Automata logics, and infinite games：a guide to current research

Corporate Authors: LINK Online service
Group Author: Grädel Erich 1958-; Thomas Wolfgang 1947-; Wilke Thomas
Published: Springer-Verlag,
Publication Dates: c2002.
Call Number: TP301.6/A939

Book

5

Cover is for reference only

Mathematical logic

Main Authors: Ebbinghaus Heinz-Dieter 1939-
Group Author: Thomas Wolfgang 1947-; Flum Jörg
Published: World Publishing Corporation Springer
Publication Dates: 2008.
Call Number: O141/E15

Book

6

Cover is for reference only

Computer science logic：11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Corporate Authors: Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark); European Association for Computer Science Logic. Conference 1997 Aarhus, Denmark) (Aarhus, Denmark))
Group Author: (Mogens), 1949-; Thomas Wolfgang, 1947-; Nielsen M.
Published: Springer,
Publication Dates: 1998.
Call Number: TP302.2-532/C738/1997/

Book

7

Cover is for reference only

Mathematical logic

Main Authors: Ebbinghaus Heinz-Dieter, 1939-
Group Author: Flum Jörg.; Thomas Wolfgang, 1947-
Published: Springer-Verlag,
Publication Dates: c1984.
Call Number: O141/E15/

Book

8

Cover is for reference only

The many musics of Gidon Kremer

Main Authors: Kremer Gidon, 1947-
Corporate Authors: Orpheus Chamber Orchestra. (Performer); Chamber Orchestra of Europe. (Performer); Deutsche Kammerphilharmonie Bremen. (Performer); Kremerata Baltica (Musical group) (Performer); Wiener Philharmoniker. (Performer)
Group Author: Smirnov Iı̐Uı̐Łrii. (Instrumentalist); Schiff Heinrich, 1951- (Conductor); Klug Thomas. (Conductor); Keulen Isabelle van. (Instrumentalist); Zimmermann Tabea. (Instrumentalist); Geringas David. (Instrumentalist); Brunner Eduard. (Instrumentalist); Vlatkovic Radovan. (Instrumentalist); Thunemann Klaus. (Instrumentalist); Maisenberg Oleg. (Instrumentalist); Bashmet Iı̐Uı̐Łrii. (Instrumentalist); Maisky Mischa. (Instrumentalist); Pushkarev Andrei. (Instrumentalist); Brahms Johannes, 1833-1897. (Conductor); Bernstein Leonard, 1918-1990. (Instrumentalist); Mozart Wolfgang Amadeus 1756-1791. (Conductor); Kashkashian Kim. (Instrumentalist); Mendelssohn-Bartholdy Felix, 1809-1847. (Conductor); Harnoncourt Nikolaus. (Instrumentalist); Glass Philip.; Argerich Martha. 1941-; Schnittke Alfred, 1934-1998.; Dohnanyi Christoph von.; Grindenko Tat£iı̐aı̐Łna, 1946-
Published: Deutsche Grammophon,
Publication Dates: p2007.
Call Number: #WCD/130867

Audio

Narrow Search