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

1

Cover is for reference only

Rewriting techniques and applications：10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications 1999 Trento, Italy) (Trento, Italy))
Group Author: Rusinowitch M.; (Michael); Narendran Paliath, 1955-
Published: Springer,
Publication Dates: c1999.
Call Number: TP314-532/R454/1999

Book

2

Cover is for reference only

Truth maintenance systems：proceedings, ECAI-90 workshop, Stockholm, Sweden, August 6, 1990

Corporate Authors: European Conference on Artificial Intelligence (1990 Stockholm); Truth Maintenance Workshop (1990 Stockholm, Sweden) (Stockholm, Sweden))
Group Author: Martins Jorg P.; Reinfrank M.; (Michael), 1958-
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP18-53/E89/1990/

Book

3

Cover is for reference only

Computational combinatorial optimization：optimal or provably near-optimal solutions

Group Author: Jünger M.; (Michael); Naddef Denis, 1947-
Published: Springer,
Publication Dates: c2001.
Call Number: O221-532/C738/2000

Book

4

Cover is for reference only

Mathematical foundations of programming semantics：5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

Corporate Authors: International Conference on the Mathematical Foundation of Programming Semantics 1989 Tulane University) (Tulane University))
Group Author: (Michael), 1956-; Main M.
Published: Springer-Verlag,
Publication Dates: c1990.
Call Number: TP312-53/M426.1/1989/

Book

5

Cover is for reference only

Integer programming and combinatorial optimization：11th International IPCO Conference, Berlin, Germany, June 8-10, 2005 : proceedings

Corporate Authors: Conference on Integer Programming and Combinatorial Optimization (11th 2005 Berlin, Germany)
Group Author: (Michael); Kaibel Volker.; Jünger M.
Published: Springer,
Publication Dates: 2005.

Book

6

Cover is for reference only

Advances in intelligent data analysis V：5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003 : proceedings

Corporate Authors: International Symposium on Intelligent Data Analysis (5th 2003 Berlin, Germany)
Group Author: Berthold M.; (Michael)
Published: Springer,
Publication Dates: c2003.
Call Number: TP274-1/A244/2003

Book

7

Cover is for reference only

Mathematical foundations of programming language semantics：3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Corporate Authors: Workshop on the Mathematical Foundations of Programming Language Semantics 1987 New Orleans, La.) (New Orleans, La.))
Group Author: (Michael), 1956-; Main M.
Published: Springer-Verlag,
Publication Dates: c1988.
Call Number: TP312-53/M426/1987/

Book

8

Cover is for reference only

Advances in intelligent data analysis：reasoning about data : second international symposium, IDA-97, London, UK, August 4-6, 1997 : proceedings

Corporate Authors: IDA-97 1997 London, England) (London, England))
Group Author: (Xiaohui); Cohen Paul R.; Berthold M.; (Michael); Liu X.
Published: Springer,
Publication Dates: c1997.
Call Number: TP274-1/A244/1997/

Book

9

Cover is for reference only

Integer programming and combinatorial optimization：11th International IPCO Conference, Berlin, Germany, June 8-10, 2005 : proceedings

Corporate Authors: Conference on Integer Programming and Combinatorial Optimization (11th 2005 Berlin, Germany)
Group Author: Jünger M.; (Michael); Kaibel Volker.
Published: Springer,
Publication Dates: 2005.
Call Number: O221.4-532/I61/2005

Book

10

Cover is for reference only

Theory of computing and systems：proceedings, Israel symposium, Haifa, Israel, May 27-28, 1992

Corporate Authors: Israel Symposium on the Theory of Computing and Systems (1992 Haifa)
Group Author: Dolev D.; (Danny); Galil Zvi.; Rodeh M.; (Michael)
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP301-53/I85/1992/

Book

11

Cover is for reference only

Advances in intelligent data analysis：third international symposium, IDA-99, Amsterdam, The Netherlands, August 9-11, 1999 : proceedings

Corporate Authors: IDA-99 (1999 Amsterdam, Netherlands) (Amsterdam, Netherlands))
Group Author: Hand David J.; Kok Joost N.; Berthold M.; (Michael)
Published: Springer,
Publication Dates: c1999.
Call Number: TP274-1/A244/1999

Book

12

Cover is for reference only

Combinatorial optimization--Eureka, you shrink!：papers dedicated to Jack Edmonds : 5th international workshop, Aussois, France, March 5-9, 2001, revised papers

Group Author: Jünger M.; (Michael); Reinelt G.; (Gerhard); Rinaldi Giovanni.
Published: Springer,
Publication Dates: c2003.
Call Number: O224-532/C731-1/2001

Book

13

Cover is for reference only

Advances in intelligent data analysis VII：7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007 : proceedings

Corporate Authors: International Symposium on Intelligent Data Analysis (7th 2007 Ljubljana, Slovenia); SpringerLink (Online service)
Group Author: (Michael); Shawe-Taylor John.; Lavrač Nada.; Berthold M.
Published: Springer,
Publication Dates: c2007.

Book

14

Cover is for reference only

The Semantic Web：research and applications : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007 : proceedings

Corporate Authors: European Semantic Web Conference (4th 2007 Innsbruck, Austria); SpringerLink (Online service)
Group Author: Kifer M.; (Michael), 1954-; May Wolfgang, 1968-; Franconi Enrico.
Published: Springer,
Publication Dates: c2007.

Book

15

Cover is for reference only

Computational life sciences：first international symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005 : proceedings

Corporate Authors: CompLife (2005 Konstanz, Germany)
Group Author: (Michael); Berthold M.
Published: Springer,
Publication Dates: c2005.
Call Number: Q-39/C738/2005

Book

16

Cover is for reference only

Computational life sciences：first international symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005 : proceedings

Corporate Authors: CompLife 2005 (2005 Konstanz, Germany); SpringerLink (Online service)
Group Author: (Michael); Berthold M.
Published: Springer-Verlag,
Publication Dates: c2005.

Book

17

Cover is for reference only

Graph drawing：9th International Symposium, GB 2001, Vienna, Austria, September 23-26, 2001 : revised papers

Corporate Authors: Symposium on Graph Drawing (9th 2001 Vienna, Austria)
Group Author: Jünger M.; (Michael); Leipert Sebastian.; Mutzel Petra.
Published: Springer,
Publication Dates: c2002.
Call Number: TP391.72-532/G766/2001

Book

18

Cover is for reference only

Logic programming in action：Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings

Corporate Authors: International Logic Programming Summer School (2nd 1992 Zurich)
Group Author: (Gerard); Fuchs N. E.; (Norbert E.); Ratcliffe M.; (Michael); Comyn G.
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP311-532/I61.1/1992/

Book

19

Cover is for reference only

The Logic of theory change：proceedings, workshop, Konstanz, FRG, October 13-15, 1989

Group Author: (André), 1958-; Morreau M.; (Michael); Fuhrmann A.
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP18-53/L832.2/1989/

Book

20

Cover is for reference only

Non-monotonic reasoning：2nd international workshop, Grassau, FRG, June 1988 : proceedings

Group Author: Reinfrank M.; (Michael), 1958-
Published: Springer-Verlag,
Publication Dates: c1989.

Book

Narrow Search