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

1

Cover is for reference only

Vivid logic：knowledge-based reasoning with two kinds of negation

Main Authors: Wagner G. (Gerd), 1957-
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP301.6/W133/

Book

2

Cover is for reference only

Foundations of knowledge systems：with applications to databases and agents

Main Authors: Wagner G. (Gerd), 1957-
Published: Kluwer Academic Publishers,
Publication Dates: c1998.
Call Number: TP182/W133/

Book

3

Cover is for reference only

Rules and rule markup languages for the Semantic Web：Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003 : proceedings

Corporate Authors: RuleML 2003 (2003 Sanibel, Fla.)
Group Author: Schroeder Michael.; Wagner G.; (Gerd), 1957-
Published: Springer,
Publication Dates: c2003.
Call Number: TP312-532/R935/2003

Book

4

Cover is for reference only

Computational complexity

Main Authors: Wagner K (Klaus)
Group Author: Wechsung Gerd
Published: Reidel Pub. Co. Hingham, MA, U.S.A. Distributors for the U.S.A. and Canada, Kluwer Academic Publishers,
Publication Dates: c1986.
Call Number: O141/W133/

Book

5

Cover is for reference only

11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021) : online, 7-9 July 2021 /

Corporate Authors: International Conference on Simulation and Modeling Methodologies, Technologies and Applications Online); Science and Technology Publications, Lda.
Group Author: Wagner, Gerd; Werner, Frank; Oren, Tuncer; Rango, Floriano De‏
Published: Curran Associates, Inc.,
Publication Dates: [2021]
Call Number: TP391.9-532/I613-3/2021

Book

6

Cover is for reference only

12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications : (SIMULTECH 2022) : Lisbon, Portugal, 14-16 July 2022 /

Corporate Authors: International Conference on Simulation and Modeling Methodologies, Technologies and Applications Lisbon, Portugal); Institute for Systems and Technologies of Information, Control and Communication. (sponsoring body.); Science and Technology Publications, Lda.; Curran Associates, Inc.
Group Author: Wagner, Gerd (Editor); Werner, Frank (Editor); Rango, Floriano De‏ (Editor)
Published: Curran Associates, Inc.,
Publication Dates: [2022]
Call Number: TP391.9-532/I613-3/2022

Book

7

Cover is for reference only

New results in numerical and experimental fluid mechanics XIV : contributions to the 23rd STAB/DGLR Symposium, Berlin, Germany 2022 /

Corporate Authors: STAB/DGLR Symposium Berlin, Germany)
Group Author: Dillman, Andreas (Editor); Heller, Gerd (Editor); Krämer, Ewald (Editor); Wagner, Claus (Editor); Weiss, Julien (Editor)
Published: Springer,
Publication Dates: [2024]
Call Number: V211-532/N532/2022

Book

8

Cover is for reference only

Logics in AI：European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings

Corporate Authors: European Workshop JELIA '92 (1992 Berlin)
Group Author: Wagner G.; (Gerd), 1957-; Pearce David A., 1952-
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP18-532/L832/1992/

Book

9

Cover is for reference only

New results in numerical and experimental fluid mechanics XIII : contributions to the 22nd STAB/DGLR Symposium /

Corporate Authors: STAB/DGLR Symposium
Group Author: Dillmann, Andreas. (Editor); Heller, Gerd (Editor); Krämer, Ewald (Editor); Wagner, Claus Albrecht, 1962- (Editor)
Published: Springer,
Publication Dates: [2021]
Call Number: V211-532/N532/2020

Book

10

丰田套路 2 刻意练习提升组织能力和认知 Building organizational capability and mindset through kata coaching

Cover is for reference only

丰田套路. 2, 刻意练习提升组织能力和认知 = Toyota kata culture. Building organizational capability and mindset through kata coaching

Main Authors: 美鲁斯 Rother, Mike ((美)迈克·鲁斯(Mike Rother)，(德)盖德·奥林格尔(Gerd Aulinger)著); 德奥林格尔 Aulinger, Gerd
Corporate Authors: 唐道述企业管理咨询（上海）有限公司
Group Author: 美瓦格纳 Wagner, Libby (插图); 杨凯 (译); 武鹏远 (译); 裴琦斐 (译)
Published: 机械工业出版社
Publication Dates: 2019
Call Number: F431.364/2648#2

Book Online Online

11

Cover is for reference only

Tristan und Isolde

Main Authors: Wagner Richard (Composer); Bohm Karl (cond.); Windgassen Wolfgang (vocal); Talvela Martti (vocal); Nilsson Birgit (vocal); Waechter Eberhard; Heater Claude; Ludwig Christa; Wohlfahrt Erwin; Nienstedt Gerd; Schreier Peter (vocal)
Corporate Authors: Chor und Orchester der Bayreuther Festspiele
Published: DGG
Publication Dates: p1966
Call Number: #CD 4399

Audio

12

Cover is for reference only

Der Ring des Nibelungen

Main Authors: Wagner Richard 1813-1883. (Wagner.)
Corporate Authors: Bayreuther Festspiele
Group Author: Adam Theo (Vocalist); Nienstedt Gerd 1932-1993. (Vocalist); Esser Hermin (Vocalist); Bo hm Karl 1894-1981. (Conductor); Neidlinger Gustav 1910-1991. (Vocalist); Windgassen Wolfgang (Vocalist); Wohlfahrt Erwin (Vocalist); Burmeister Annelies (Vocalist); Talvela Martti (Vocalist); Silja Anja (Vocalist); Bo hme Kurt 1908-1989. (Vocalist); Soukupova Vera 1932- (Vocalist)
Published: Decca,
Publication Dates: c2010, p1973.
Call Number: #WCD/130607

Audio

13

Cover is for reference only

The best of the Ring

Main Authors: Wagner, Richard, 1813-1883.
Corporate Authors: Bayreuther Festspiele. (Orchester.)
Group Author: Böhm, Karl, 1894-1981. (Conductor); Nilsson, Birgit. (Singer); Rysanek, Leonie. (Singer); Hopf, Gertraud. (Singer); Synek, Liane. (Singer); Burmeister, Annelies. (Singer); Schärtel, Elisabeth. (Singer); Siebert, Dorothea. (Singer); Wagner, Sieglinde. (Singer); Dernesch, Helga. (Singer); Hesse, Ruth. (Singer); Červená, Soňa, 1925- (Singer); Windgassen, Wolfgang. (Singer); King, James, 1925-2005. (Singer); Adam, Theo. (Singer); Neidlinger, Gustav, 1910-1991. (Singer); Greindl, Josef. (Singer); Nienstedt, Gerd, 1932-1993. (Singer); Wohlfahrt, Erwin. (Singer)
Published:
Call Number: #WCD/150036

CD Audio

14

Cover is for reference only

Europasoziologie : Handbuch für Wissenschaft und Studium /

Group Author: Bach, Maurizio (Editor); Hönig, Barbara (Editor)
Published: Nomos,
Publication Dates: 2018.
Call Number: WG/C91-095/E892

Book

Narrow Search