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

1

Cover is for reference only

Program specialization

Main Authors: Marlet Renaud.
Published: ISTE Wiley,
Publication Dates: 2013.
Call Number: TP313/M347

Book

2

Cover is for reference only

Optimization in engineering sciences：exact methods

Group Author: Borne Pierre.
Published: ISTE Wiley,
Publication Dates: 2013.
Call Number: TB11/O627

Book

3

Cover is for reference only

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers /

Corporate Authors: International Workshop on Logic-Based Program Synthesis and Transformation Odense, Denmark); SpringerLink (Online service)
Group Author: Vidal, German.
Published:

Electronic eBook

4

Cover is for reference only

Theory and practice of model transformations：first international conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 ; proceedings

Corporate Authors: ICMT 2008 (2008 Zurich, Switzerland); SpringerLink (Online service)
Group Author: Gray Jeff; (Jeffrey G.); Pierantonio Alfonso.; Vallecillo Antonio, 1962-
Published: Springer,
Publication Dates: 2008.

Book

5

Cover is for reference only

The art of SEO : mastering search engine optimization /

Main Authors: Enge, Eric (Author)
Group Author: Spencer, Stephan M.; Stricchiola, Jessie
Published: O'Reilly,
Publication Dates: 2023.
Call Number: F713.36/A784/4th ed.

Book

6

Cover is for reference only

Optimization and multiobjective control of time-discrete systems：dynamic networks and multilayered structures

Main Authors: Lozovanu D. D. (Dmitriĭ Dmitrievich)
Corporate Authors: SpringerLink (Online service)
Group Author: Pickl Stefan, 1967-
Published: Springer,
Publication Dates: c2009.

Book

7

Cover is for reference only

Automatic program development：a tribute to Robert Paige

Corporate Authors: SpringerLink (Online service)
Group Author: Danvy Olivier.; Paige Robert A.
Published: Springer,
Publication Dates: c2008.

Book

8

Cover is for reference only

HPC@Green IT：green high performance computing methods

Main Authors: Gruber Ralf, 1943-
Corporate Authors: SpringerLink (Online service)
Group Author: Keller Vincent.
Published: Springer-Verlag,
Publication Dates: c2010.

Book

9

Cover is for reference only

Optimization in engineering sciences exact methods /

Group Author: Borne, Pierre.
Published:

Electronic eBook

10

Cover is for reference only

Algorithmic methods for railway optimization：international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers

Corporate Authors: Dagstuhl Seminar on Algorithmic Methods for Railway Optimization (2004 Dagstuhl, Wadern, Germany) (Dagstuhl, Wadern, Germany)); SpringerLink (Online service); Workshop on Algorithmic Methods and Models for Optimization of Railways 2004 Bergen, Norway) (Bergen, Norway))
Group Author: Geraets Frank.
Published: Springer,
Publication Dates: c2007.

Book

11

Cover is for reference only

Multiobjective optimization：interactive and evolutionary approaches

Corporate Authors: SpringerLink (Online service)
Group Author: Branke Jürgen, 1969-
Published: Springer-Verlag,
Publication Dates: c2008.

Book

12

Cover is for reference only

Learning and intelligent optimization：Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007 : selected papers

Corporate Authors: LION (Conference) (2nd 2007 Trento, Italy); SpringerLink (Online service)
Group Author: Battiti Roberto, 1961-; Watson Jean-Paul.; Maniezzo Vittorio.
Published: Springer-Verlag,
Publication Dates: c2008.

Book

13

Cover is for reference only

Nature-inspired optimization algorithms : recent advances in natural computing and biomedical applications /

Group Author: Khamparia, Aditya, 1988- (Editor); Khanna, Ashish, (engineer) (Editor); Nguyen, Nhu Gia (Editor); Le Nguyen, Bao (Editor)
Published: De Gruyter,
Publication Dates: [2021]
Call Number: TP183/N285-4

Book

14

Cover is for reference only

Logic synthesis for compositional microprogram control units

Main Authors: Barkalov Alexander.
Corporate Authors: SpringerLink (Online service)
Group Author: Titarenko Larysa.
Published: Springer-Verlag,
Publication Dates: 2008.

Book

15

Cover is for reference only

The art of SEO

Group Author: Enge Eric.
Published: O'Reilly,
Publication Dates: c2010.
Call Number: F713.36/A784

Book

16

Cover is for reference only

Learning and Intelligent Optimization：Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers

Corporate Authors: LION 2009 (2009 Trento, Italy); SpringerLink (Online service)
Group Author: Stützle Thomas.
Published: Springer-Verlag,
Publication Dates: c2009.

Book

Narrow Search