索书号 - 上海交通大学图书馆 · web view索书号 书名 作者 isbn 出版社 出版年...

63
索索 索索 ISBN 索索索 索索索 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949- 3540219617 (hd.bd.) : Springer, c2005.- B516.31 C178C The Cambridge companion to Kant and modern philosophy / Guyer, Paul, 1948- 052182303X (hardback)- Cambridge University Press, 2006.- B516.59 C178C The Cambridge companion to Adorno / Huhn, Thomas., Adorno, Theodor W., 1903-1969. 0521775000 (pbk.) : Cambridge University Press, 2004.- B82-057 R287R2 Readings in cyberethics / Spinello, Richard A., Tavani, Herman T. 0763724106 (paperback) : Jones and Bartlett Publishers, c2004.- C913.7 H241S Social policy and the ethic of care / Hankivsky, Olena. 077481070X (hbk.) : UBC Press, c2004.- D0 C737M Comparing political communication : Esser, Frank, 1966-, Pfetsch, Barbara. 0521535409 (pbk.) : Cambridge University Press, 2004.- D815.4 B837B Britain, the Six Day War and its aftermath / Brenchley, Frank. 9781850434061 (EAN)- I.B. Tauris, 2005.- D956.13 H424M Media rights and intellectual property / Haynes, Richard, 1966- 0748620621 (hbk.)- Edinburgh University Press, c2005.- D971.221 B788L Law and internet cultures / Bowrey, Kathy. 9780521600484 (pbk.)- Cambridge University Press, 2005.-

Upload: dinhthuy

Post on 20-Apr-2018

332 views

Category:

Documents


5 download

TRANSCRIPT

Page 1: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

索书号 书名 作者 ISBN 出版社 出版年B503.922 N144G Galileo Galilei, when the

world stood still / N ss, Atle, 1949- 3540219617 (hd.bd.) : Springer, c2005.-

B516.31 C178CThe Cambridge companion to Kant and modern philosophy /

Guyer, Paul, 1948- 052182303X (hardback)-

Cambridge University Press, 2006.-

B516.59 C178C The Cambridge companion to Adorno /

Huhn, Thomas., Adorno, Theodor W., 1903-1969. 0521775000 (pbk.) : Cambridge

University Press, 2004.-

B82-057 R287R2 Readings in cyberethics / Spinello, Richard A., Tavani, Herman T.

0763724106 (paperback) :

Jones and Bartlett Publishers, c2004.-

C913.7 H241S Social policy and the ethic of care / Hankivsky, Olena. 077481070X (hbk.) : UBC Press, c2004.-

D0 C737M Comparing political communication :

Esser, Frank, 1966-, Pfetsch, Barbara. 0521535409 (pbk.) : Cambridge

University Press, 2004.-

D815.4 B837B Britain, the Six Day War and its aftermath / Brenchley, Frank. 9781850434061

(EAN)- I.B. Tauris, 2005.-

D956.13 H424M Media rights and intellectual property / Haynes, Richard, 1966- 0748620621 (hbk.)- Edinburgh

University Press, c2005.-

D971.221 B788L Law and internet cultures / Bowrey, Kathy. 9780521600484 (pbk.)-

Cambridge University Press, 2005.-

F224.32 F952G Game theory / Tirole, Jean., Fudenberg, Drew. 0262061414- MIT Press, c1991.-

F224.32 F952T The theory of learning in games /

Levine, David K., Fudenberg, Drew.

0262061945 (hc : alk. paper) : MIT Press, c1998.-

F270.7-532 Business process Bussler, Christoph., BPM 3540325956 (pbk.) : Springer, c2006.-

Page 2: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

B981U 2005 management workshops : 2005 (2005 : Nancy, France), Haller, Armin.

F270.7-532 T794T 2005

Trends in enterprise application architecture :

TEAA 2005 (2005 : Trondheim, Norway), Draheim, Dirk, 1969-, Weber, Gerald, Dr., International Conference on Very Large Databases (31st : 2005 : Trondheim, Norway)

3540327347 (pbk.) : Springer, c2006.-

F270.7-62 H236H V.2

Handbook on knowledge management / Holsapple, C. W. 3540435271 (v. 1 :

alk. paper)- Springer, c2003.-

F273 S495AAverage-cost control of stochastic manufacturing systems /

Zhang, Qing, 1959-, Zhang, Hanqin., Sethi, Suresh P.

0387219471 (alk. paper) : Springer, c2005.-

F407.9 S655M2 Managing risk in construction projects /

Smith, Nigel J., Merna, Tony., Jobling, Paul, 1955-

1405130121 (alk. paper) : Blackwell Pub., 2006.-

F713.36-53 A265A 2004

Agent-mediated electronic commerce VI :

Faratin, Peyman., AAMAS Workshop on Agent-Mediated Electronic Commerce (6th : 2004 : New York, N.Y.), Rodriguez-Aguilar, Juan A., International Joint Conference on Autonomous Agents and Multiagent Systems (3rd : 2004 : New York, N.Y.)

3540297375 (pbk.) : Springer, c2006.-

Page 3: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

F713.36-532 I61D 2006

Data engineering issues in e-commerce and services :

International Workshop on Data Engineering Issues in E-Commerce and Services (2nd : 2006 : San Francisco, Calif.), Lee, Juhnyoung.

3540354409 (pbk.) : Springer, c2006.-

F713.8 J59C8 Creative strategy in advertising /

Jewler, A. Jerome., Drewniany, Bonnie L. 053462510X (pbk.) : Thomson/

Wadsworth, c2005.-

F830.91 K29A2 Asset pricing : Kellerhals, B. Philipp. 3540208534 : Springer, c2004.-G258.9 B414L Living library : Beek, Marijke., DeCarlo, Eva. 3791334557- Prestel Pub., c2005.-

G354.4 W364W Web intelligence / Liu, Jiming, 1962-, Zhong, Ning, 1956-, Yao, Yiyu.

3540443843 (alk. paper) : Springer, c2003.-

G354.4-532 F619F 2006

Flexible query answering systems :

FQAS 2006 (2006 : Milan, Italy), Larsen, Henrik Legind. 3540346384 (pbk.) : Springer, c2006.-

G354-53 B364A 2006

Advances in information retrieval :

European Conference on IR Research (28th : 2006 : London, England), Lalmas, Mounia.

3540333479 (pbk.) : Springer, c2006.-

G434-532 E24T 2006

Technologies for e-learning and digital entertainment :

Edutainment 2006 (2006 : Hangzhou, China), Pan, Zhigeng.

3540334238 (pbk.) : Springer, c2006.-

G642.477 R968H How to write a successful science thesis :

Bliefert, Claus., Russey, William E., Ebel, Hans Friedrich.

9783527312986- Wiley-VCH, c2006.-

H0 B414L Language and meaning : Beedham, Christopher. 9027215642- John Benjamins Publishing, c2005.-

Page 4: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

H0 G827S Saving languages : Grenoble, Lenore A., Whaley, Lindsay J.

9780521816212 (hbk.)-

Cambridge University Press, 2006.-

H0-05 R514L Language development and individual differences : Richards, Brian J. 0521362539- Cambridge

University Press, 1990.-

H030 K41C Cognitive semantics and scientific knowledge : Kertész, András. 1588115011 (alk.

paper)- J. Benjamins, c2004.-

H04 B141S The syntax-morphology interface :

Baerman, Matthew., Brown, Dunstan., Corbett, Greville G.

9780521821810 (hbk.)-

Cambridge University Press, 2005.-

H04 C649C Clusivity : Filimonova, Elena. 1588116441- J. Benjamins Pub., c2005.-

H04 D175M Mental spaces in grammar : Dancygier, Barbara., Sweetser, Eve.

9780521844680 (hbk.)-

Cambridge University Press, 2005.-

H04 S333I In other words : Schiffrin, Deborah. 9780521484749 (pbk.)-

Cambridge University Press, 2006.-

H04 T655L Linguistics and the formal sciences : Tomalin, Marcus. 9780521854818

(hbk.)-Cambridge University Press, 2006.-

H05 D324M Metaphor and corpus linguistics / Deignan, Alice.

9027238928 (Amsterdam : hd.bd.) :

J. Benjamins, c2005.-

H052 E15A2 The art of scientific writing : Ebel, Hans Friedrich., Bliefert, Claus., Russey, William E.

3527298290 (acid-free paper) : Wiley-VCH, 2004.-

H059 T772T Translation and cultural change : Hung, Eva. 1588116271 (US :

hbk.)- J. Benjamins, c2005.-

H08-53 I61C 2006Computational linguistics and intelligent text processing :

Gelbukh, Alexander, 1962-, CICLing (Conference) (7th : 2006 : Mexico City, Mexico)

3540322051 (pbk. : alk. paper) : Springer, c2006.-

Page 5: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

H09 N464C Collocations in a learner corpus / Nesselhauf, Nadja. 9027222851 (Eur. :

hbk.) : J. Benjamins, c2005.-

H09 S267I Introducing second language acquisition / Saville-Troike, Muriel, 1936- 9780521790864

(hbk.)-Cambridge University Press, 2006.-

H09 V872V Vocabulary in a second language :

Bogaards, Paul., Laufer-Dvorkin, Batia.

9027217092 (Eur. : hbk.)- J. Benjamins, c2004.-

H31 M958DDiscourse markers in native and non-native English discourse /

Müller, Simone. 9027253811 (alk. paper) :

John Benjamins Pub., c2005.-

H773-37 C738C 2006

Computational processing of the Portuguese language :

PROPOR 2006 (7th : 2006 : Itatiaia, Rio de Janeiro, Brazil), Vieira, Renata.

3540340459 (pbk.) : Springer, c2006.-

I06 W877L Literature and the taste of knowledge / Wood, Michael, 1936- 9780521844765

(hbk.)-Cambridge University Press, 2005.-

I561.064 S424S Scotland and the borders of romanticism /

Davis, Leith, 1960-, Duncan, Ian., Sorensen, Janet.

0521832837 (cloth) :

Cambridge University Press, 2004.-

I712.072 R514G Gender and the poetics of reception in Poe's circle / Richards, Eliza. 0521832810 : Cambridge

University Press, 2004.-

J110.99 G762S Surrealism and the visual arts : Grant, Kim, 1962- 0521836557 (hbk.) : Cambridge

University Press, 2005.-

J61-39 C738C 2005

Computer music modeling and retrieval :

Computer Music Modeling and Retrieval Symposium (3rd : 2005 : Pisa, Italy), Kronland-Martinet, Richard., Voinier, Thierry., Ystad, S 

3540340270 (pbk.) : Springer, c2006.-

Page 6: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

lvi.

J-62 I61I30 V.1 International directory of arts =   3598231075 : K.G. Saur, 2006.-

J-62 I61I30 V.2 International directory of arts =   3598231075 : K.G. Saur, 2006.-

J-62 I61I30 V.3 International directory of arts =   3598231075 : K.G. Saur, 2006.-

J809.712 C178C V.1

The Cambridge history of American theatre /

Bigsby, C. W. E., Wilmeth, Don B. 0521679834 (v. 1) : Cambridge

University Press, 2006.-

K12 C178C V.13 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C V.14 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.10 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.11 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.12 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.3/1

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.3/2

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.3/3

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

Page 7: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

K12 C178C2 V.4 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.5 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.6 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.7/1

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.7/2

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.8 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C2 V.9 The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C3 V.1/1

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C3 V.1/2

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C3 V.2/1

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K12 C178C3 V.2/2

The Cambridge ancient history.-   0521070511 (v.

1/1)-Cambridge University Press, 1970--

K503 N532N V.4/1

The New Cambridge medieval history /

McKitterick, Rosamond., Reuter, Timothy., Luscombe, David., Riley-Smith, Jonathan.

0521362911 (v.1)- Cambridge University Press, 1995--

Page 8: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

K503 N532N V.4/2

The New Cambridge medieval history /

McKitterick, Rosamond., Reuter, Timothy., Luscombe, David., Riley-Smith, Jonathan.

0521362911 (v.1)- Cambridge University Press, 1995--

K837.126.1 A333A V.1 Albert Einstein :

Einstein, Albert, 1879-1955., Renn, Jürgen, 1956-, Max-Planck-Institut fur Wissenschaftsgeschichte.

3527405712 : Wiley-VCH, c2005.-

K837.126.1 A333A V.2 Albert Einstein :

Einstein, Albert, 1879-1955., Renn, Jürgen, 1956-, Max-Planck-Institut fur Wissenschaftsgeschichte.

3527405712 : Wiley-VCH, c2005.-

N61 C744C5 A dictionary of science.- Martin, E. A. (Elizabeth A.), Daintith, John. 9780192806413- Oxford University

Press, 2005.-

N61 W927W V.1 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

N61 W927W V.2 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

N61 W927W V.3 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

N61 W927W V.4 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

N61 W927W V.5 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

N61 W927W V.6 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

Page 9: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

N61 W927W V.7 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

N61 W927W V.8 The World Book encyclopedia of science.- World Book, Inc. 071663399X (set) : World Book, c2001.-

O1 B368A Algebra and geometry / Beardon, Alan F. 0521890497 (pbk.) : Cambridge University Press, 2005.-

O1-0 V286E2 Estimation of dependences based on empirical data /

Kotz, Samuel., Vapnik, Vladimir Naumovich. 0387308652 : Springer, c2006.-

O11 F443F Fibonacci's Liber abaci : Fibonacci, Leonardo, ca. 1170-ca. 1240., Sigler, L. E. 0387407375 (pbk.) : Springer, 2003,

c2002.-

O1-39 M426M 2005

Mathematical knowledge management :

International Conference on Mathematical Knowledge Management (4th : 2005 : Bremen, Germany), Kohlhase, Michael, 1964-

354031430X (pbk.) : Springer, c2006.-

O15 S488L Local algebra / Serre, Jean Pierre. 3540666419 (acid-free paper) : Springer, c2000.-

O151.21 B886C Combinatorial matrix classes / Brualdi, Richard A. 0521865654 : Cambridge

University Press, 2006.-

O151.21 G211O2Oscillation matrices and kernels and small vibrations of mechanical systems /

Gantmakher, F. R. (Feliks Ruvimovich), Krein, M. G. (Mark Grigor evich), 1907-

0821831712 (alk. paper) :

American Mathematical Society,

c2002.-

O151.21 T939M Matrix calculus and zero-one matrices : Turkington, Darrell A. 0521807883- Cambridge

University Press, 2002.-

O153.1-532 I61C Formal concept analysis : Missaoui, R., International 3540322035 (pbk.) : Springer, c2006.-

Page 10: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2006

Conference on Formal Concept Analysis (4th : 2006 : Dresden, Germany), Schmid, Jurg, 1944-

O153.3 G118R Representations of finite-dimensional algebras /

Ro ter, A. V (Andre  Vladimirovich), 1937-, Gabriel, Peter, 1933-, Algebra.

3540629904 (acid-free paper) : Springer, c1997.-

O15-39 A394A Algebra, meaning, and computation :

Meseguer, José., Futatsugi, Kokichi., Jouannaud, Jean-Pierre., Goguen, Joseph., Goguen, Joseph.

354035462X (pbk.) : Springer, c2006.-

O156 D537F A first course in modular forms /

Diamond, Fred., Shurman, Jerry Michael. 038723229X : Springer, c2005.-

O156.2 H477IInvitation to the mathematics of Fermat-Wiles /

Hellegouarch, Yves. 0123392519 (acid-free paper) : Academic Press, c2002.-

O156.2 S488G Galois cohomology / Serre, Jean Pierre.3540619909 (hardcover : acid-free paper)-

Springer, 2000, c1997.-

O174 F961S2 Submodular functions and optimization / Fujishige, Satoru. 0444520864 : Elsevier, 2005.-

O174.1-532 T717T 1994

Total positivity and its applications /

Gasca, Mariano, 1943-, Micchelli, Charles A. 079233924X : Kluwer Academic

Publishers, c1996.-

Page 11: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

O174.2 F775F Fourier analysis and convexity / Brandolini, Luca, 1963- 0817632638 (acid-

free paper) : Birkh user, c2004.-

O174.2 H288H Harmonic analysis and rational approximation : Fournier, Jean-Daniel, 1951- 3540309225 (pbk.) : Springer, c2006.-

O174.3 A732C Classical potential theory / Armitage, David H., 1945-, Gardiner, Stephen J.

1852336188 (alk. paper) :5158 Springer, c2001.-

O174.5 G234H Harmonic measure / Marshall, Donald E. (Donald Eddy), 1947-, Garnett, John B.

9780521470186 (hardback)-

Cambridge University Press, 2005.-

O174.56 F981F Fundamentals of hyperbolic manifolds :

London Mathematical Society., Marden, Albert., Epstein, D. B. A., Canary, Richard Douglas.

0521615585 (pbk.) : Cambridge University Press, 2006.-

O175.5-532 N864B 2002 Bilinear integrable systems :

NATO Advanced Workshop on Bilinear Integrable Systems: From Classical to Quantum, Continuous to Discrete (2002 : Saint Petersburg, Russia), Moerbeke, Pierre van., Lambert, Franklin., North Atlantic Treaty Organization., Faddeev, L. D.

1402035020 (pbk.) : Springer, c2006.-

O177 J45S Spectral properties of noncommuting operators / Jefferies, Brian, 1956- 3540219234 (pbk.) : Springer, c2004.-

O177 O61O Operator theory, systems Alpay, Daniel., Vinnikov, V. 3764372125 (alk. Birkh user, c2005.-

Page 12: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

theory, and scattering theory : (Victor) paper) :

O177.3 A216S2 Sobolev spaces /Adams, R. A. (Robert Alexander), 1940-, Fournier, John J. F.

0120441438 : Academic Press, 2003.-

O18 B684A Algorithmic geometry /

Boissonnat, J.-D. (Jean-Daniel), 1953-, Yvinec, Mariette, 1953-, Boissonnat, J.-D. (Jean-Daniel), 1953- Géometrie algorithmique.

0521563224 (hardback)

Cambridge University Press, 1997

O18 C738M2 Computational geometry : Berg, Mark de. 3540656200 (alk. paper) : Springer, c2000.-

O18 S951G Geometric topology :Sullivan, Dennis (Dennis Parnell), 1941-, Ranicki, Andrew, 1948-

9781402035111- Springer, c2005.-

O18-39 A939A 2004

Automated deduction in geometry :

Wang, Dongming., International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, Fla.), Hong, Hoon.

354031332X (pbk.) : Springer, c2006.-

O186.11 E36TA treatise on the differential geometry of curves and surfaces /

Eisenhart, Luther Pfahler, b. 1876. 0486438201 : Dover Publications, 2004.-

Page 13: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

O186.15 C322D Differential forms / Cartan, Henri Paul, 1904- 0486450104 (pbk.) : Dover Publications, 2006.-

O189.2 D582S Sheaves in topology / Dimca, Alexandru. 3540206655 (pbk. : acid-free paper) : Springer, c2004.-

O189.21 F919C Cellular structures in topology /

Fritsch, Rudolf, 1939-, Piccinini, Renzo A., 1933- 0521327849 : Cambridge

University Press, 1990.-

O189.22 K61I2An introduction to intersection homology theory /

Kirwan, Frances Clare, 1959-, Woolf, Jonathan.

1584881844 (alk. paper) :

Chapman & Hall/CRC, 2006.-

O211.6 G864R The random-cluster model / Grimmett, Geoffrey. 3540328904 (hd.bd.) : Springer, c2006.-

O211.6 P685C Combinatorial stochastic processes : Pitman, Jim., Picard, Jean. 354030990X : Springer, c2006.-

O211.6 T267A The art of random walks / Telcs, András. 3540330275 (pbk.) : Springer, c2006.-

O211.62 K14C2 Cycle representations of Markov processes / Kalpazidou, Sophia L. 0387291660 : Springer, c2006.-

O211.63 M661S Stochastic numerics for mathematical physics /

Mil shte n, G. N. (Grigori No khovich), Tretyakov, Michael V.

3540211101 : Springer, c2004.-

O212.8-37 A244A Advances in Bayesian networks /

Gámez, José A., Moral, Serafín, 1952-, Salmerón, Antonio.

3540208763 (alk. paper) : Springer, c2004.-

O224 E27E Efficient approximation and online algorithms :

Jansen, Klaus., Bampis, Evripidis., Kenyon, Claire. 3540322124 (pbk.) : Springer, c2006.-

O224-532 E93E Evolutionary computation in Raidl, Günther., Gottlieb, 3540331786 (pbk.) : Springer, c2006.-

Page 14: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2006 combinatorial optimization :Jens., EvoCOP (Conference) (6th : 2006 : Budapest, Hungary)

O224-532 I61I 2006

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems :

Smith, Barbara, 1948-, International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (3rd : 2005 : Cork, Ireland), Beck, J. Christopher.

3540343067 (pbk.) : Springer, c2006.-

O226 B846IAn introduction to queueing theory and matrix-analytic methods /

Breuer, Lothar., Baum, D. 1402036302 (hd.bd.) : Springer, c2005.-

O233-53 I61A 2006

Petri nets and other models of concurrency :

Donatelli, Susanna., Thiagarajan, P. S., International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th : 2006 : Turku, Finland)

3540346996 (pbk.) : Springer, c2006.-

O35 C764C Control of fluid flow / Koumoutsakos, Petros D., Mezic, Igor. 9783540251408- Springer, c2006.-

O413.1 F674E2 Elementary quantum mechanics / Fong, Peter. 9812562923- World Scientific, c2005.-

Page 15: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

O413.1 M958I Introduction to quantum mechanics : Müller-Kirsten, H. J. W. 9812566910- World Scientific, c2006.-

O431.2 V416M Modern foundations of quantum optics / Vedral, Vlatko. 1860945317 (hbk)- Imperial College

Press, 2005.-

O481.3 O58O The one-dimensional Hubbard model / Essler, Fabian H. L. 0521802628 : Cambridge

University Press, 2005.-

O482.53 S416S V.1 The science of hysteresis / Mayergoyz, I. D., Bertotti,

Giorgio. 0123694310 (v. 1)- Academic, 2006.-

O482.53 S416S V.2 The science of hysteresis / Mayergoyz, I. D., Bertotti,

Giorgio. 0123694310 (v. 1)- Academic, 2006.-

O482.53 S416S V.3 The science of hysteresis / Mayergoyz, I. D., Bertotti,

Giorgio. 0123694310 (v. 1)- Academic, 2006.-

O571.4 G558DW Direct nuclear reactions / Glendenning, Norman K. 9812389458 : World Scientific Publishing Co., c2004.-

O63 B168R Reactive polymer blending /Baker, W. (Warren E.), Scott, C. (Chris E.), Hu, G.-H. (Guo-Hua)

1569903123 : Hanser ; c2001.-

O646 B148F2 Fundamentals of electrochemistry /

Bagotsky, V. S. (Vladimir Sergeevich) 0471700584 : Wiley-Interscience, c2006.-

O782-32 M961M Multiscale modeling in epitaxial growth / Voigt, Axel.

9783764372088 (hardcover : acid-free paper)-

Birkh user, c2005.-

P1-61 D554D2 A dictionary of astronomy / Ridpath, Ian. 0198605137 (pbk.) : Oxford University Press, 2003.-

Page 16: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

P228.4 U55U2 Understanding GPS : Kaplan, Elliott D., Hegarty, C. (Christopher J.)

1580538940 (alk. paper) : Artech House, c2006.-

P228.4-532 L811L 2006

Location- and context-awareness :

LoCA 2006 (2006 : Dublin, Ireland), Hazas, Mike., Krumm, John., Strang, Thomas, 1972-

3540341501 (pbk.) : Springer, c2006.-

P-61 D554D2 A dictionary of earth sciences /

Concise Oxford dictionary of earth sciences., Allaby, Michael., Allaby, Ailsa.

0198607601 (pbk.) : Oxford University Press, 2003.-

Q-332 A394A Algebraic statistics for computational biology /

Sturmfels, Bernd, 1962-, Pachter, Lior, 1973- 0521857007 : Cambridge

University Press, 2005.-

Q52-532 E19M 2004

Multiple aspects of DNA and RNA :

 cole d'été de physique theorique (Les Houches, Haute-Savoie, France) (82nd : 2004), Chatenay, Didier., Duke, Thomas Anthony John.

0444520813 : Elsevier, 2005.-

Q75-3 P429M Mathematics of genome analysis /

Percus, Jerome K. (Jerome Kenneth) 0521585260 (pbk.) : Cambridge

University Press, 2002.-

Q7-532 I61R 2006

Research in computational molecular biology :

International Conference on Research in Computational Molecular Biology (10th : 2006 : Venice, Italy), Apostolico, Alberto, 1948-

3540332952 (pbk.) : Springer, c2006.-

Q7-532 T772T 2004

Transactions on computational systems

Emmott, Stephen., Converging Science 3540332456 (pbk.) : Springer, c2006.-

Page 17: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

biology IV /(Conference) (1st. : 2004 : Trento, Italy), Cardelli, Luca., Priami, Corrado.

Q78 I61I An introduction to molecular biotechnology : Wink, Michael. 3527314121 (alk.

paper) : Wiley-VCH, c2006.-

Q811.4 X7E Essential bioinformatics / Xiong, Jin. 0521840988 (hbk.)- Cambridge University Press, 2006.-

Q811.4-532 B615B 2006

Biologically inspired approaches to advanced information technology :

Ijspeert, Auke Jan., BioADIT (2nd : 2006 : Osaka, Japan), Masuzawa, Toshimitsu., Kusumoto, Shinji.

3540312536 (soft cover : alk. paper) : Springer, c2006.-

Q943.1 P713L2 Plant cell culture protocols / Loyola-Vargas, Victor M., Vázquez-Flota, Felipe.

1588295478 (alk. paper) : Humana Press, c2006.-

Q946 N285N2 Natural products from plants / Cseke, Leland J. 0849329760 (alk.

paper) :CRC/Taylor & Francis, 2006.-

R816.4-532 I61D 2006 Digital mammography :

International Workshop on Digital Mammography (8th : 2006 : Manchester, England), Astley, S. (Sue)

3540356258 (pbk.) : Springer, c2006.-

S 20047th Numerical Towing Tank Symposium, 3.-5. October 2004, Hamburg/Germany /

Numerical Towing Tank Symposium (7th : 2004 : Hamburg, Germany), Bertram, Volker., S ding, Heinrich.

  s.n. 2004?]-

Page 18: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

S33 A419P2 Principles of plant breeding / Allard, R. W. (Robert Wayne), 1919- 0471023094 : Wiley, c1999.-

TB114.2 W246H H∞ control for nonlinear descriptor systems /

Wang, He-Sheng., Yung, Chee-Fai., Chang, Fan-Ren.

9781846282898 (pbk.)- Springer, c2006.-

TB123 I57V Vibration with control / Inman, D. J. 0470010517 : John Wiley & Sons, c2006.-

TB126 K64E Engineering fluid dynamics : Kleinstreuer, C. 0521496705 (hardback)-

Cambridge University Press, 1997.-

TB3 B686TThermodynamics and kinetics in materials science :

Bokshtein, B. S. (Boris Samuilovich), Mendelev, Mikhail I., Srolovitz, David J.

0198528035 (acid-free paper)-

Oxford University Press, 2005.-

TB3 T794T Trends in materials science research / Caruta, B. M. 1594543674 : Nova Science

Publishers, c2006.-

TB383 L962N Nanoscale transistors : Lundstrom, Mark., Guo, Jing, 1977-

9780387280028 (hbk.)- Springer, c2006.-

TG142.1 H772S3 Steels :

Honeycombe, R. W. K. (Robert William Kerr), Bhadeshia, H. K. D. H. (Harshad Kumar Dharamshi Hansraj), 1953-

0750680849 : Butterworth-Heinemann, 2006.-

TG665 R294R Recent advances in laser processing of materials /

Perrière, J. (Jacques), Millon, Eric., Fogarassy, E. (Eric) 0080447279 : Elsevier, 2006.-

TH16 B598E Essentials of mechatronics / Billingsley, J. (John) 047172341X : Wiley-Interscience, c2006.-

TK123 S829F5 SI. Fundamentals of engineering thermodynamics /

Shapiro, Howard N., Moran, Michael J.

0470030372 (pbk. : alk. paper) : Wiley, c2006.-

Page 19: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TK124 B139H2 Heat and mass-transfer / Stephan, K. (Karl), 1930-, Baehr, H. D. (Hans Dieter) 3540295267 : Springer, c2006.-

TL501 L481A Accelerator physics / Lee, S. Y. (Shyh-Yuan) 981023709X- World Scientific, 1999.-

TM11 P769B Boundary element methods for electrical engineers /

Poljak, D. (Dragan), Brebbia, C. A. 1845640330 : WIT Press, c2005.-

TM7 M436M

Microwave filters, impedance-matching networks, and coupling structures /

Matthaei, George L., Jones, E. M. T., Young, Leo, 1926- 0890060991 : Artech House

Books, c1980.-

TM7 M511E Electric power systems : Meier, Alexandra von. 0471178594 : IEEE Press : c2006.-

TN47 V573R VLSI test principles and architectures :

Wang, Laung-Terng., Wu, Cheng-Wen, EE Ph. D., Wen, Xiaoqing.

0123705975 :Elsevier Morgan Kaufmann Publishers,

c2006.-

TN711 C978I Inverse problems for electrical networks /

Curtis, Edward B., 1933-, Morrow, James A., 1941-

9810241747 (alk. paper) : World Scientific, c2000.-

TN911.7 C219M Model-based signal processing / Candy, J. V. 0471236322

(cloth) : IEEE Press : c2006.-

TN911.72 C758S Synthesis and optimization of DSP algorithms /

Luk, Wayne., Constantinides, George A., 1975-, Cheung, Peter Y. K.

1402079303 (alk. paper) :

Kluwer Academic Publishers, c2004.-

TN911.72-532 I15I 2006

Independent component analysis and blind signal separation :

ICA 2006 (2006 : Charleston, S.C.), Rosca, Justinian P., 1959-

3540326308 (pbk.) : Springer, c2006.-

TN912.3-53 I61N 2006

Natural language processing and information systems :

International Conference on Applications of Natural 3540346163 (pbk.) : Springer, c2006.-

Page 20: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Language to Information Systems (11th : 2006 : Klagenfurt, Austria), Kop, Christian.

TN912.3-532 I61N 2005

Nonlinear analyses and algorithms for speech processing :

International Conference on Non-Linear Speech Processing (2005 : Barcelona, Spain), Faúndez Zanuy, Marcos.

3540312579 (pbk.) : Springer, c2005.-

TN914-532 I23T 2006

Testing of communicating systems :

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (18th : 2006 : New York, N.Y.),  yar, M. Umit., Duale, Ali Y., Fecko, Mariusz A., 1968-

3540341846 (pbk.) : Springer, c2006.-

TN914-532 N567N 2006

Next generation teletraffic and wired/wireless advanced networking :

Iversen, Villy Baek., NEW2AN 2006 (2006 : St. Petersburg, Russia), Koucheryavy, Yevgeni., Harju, Jarmo.

3540344292 (pbk.) : Springer, c2006.-

TN918.1 T139C Complexity and cryptography : Talbot, John., Welsh, D. J. A. 0521852315 (hbk.)- Cambridge

University Press, 2006.-

TN918.1-53 C957T 2006

Topics in cryptology, CT-RSA 2006 :

Cryptographers' Track at RSA Conference (2006 : San Jose, Calif.), Pointcheval, David.

3540310339 (pbk.) : Springer, c2006.-

Page 21: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TN918.1-53 S464S 2005

Selected areas in cryptography :

Preneel, Bart, 1963-, Tavares, Stafford, 1940-, SAC (2005 : Kingston, Ont.)

3540331085 (pbk.) : Springer, c2006.-

TN918-53 A244A 2006 Advances in cryptology :

Vaudenay, Serge., EUROCRYPT 2006 (2006 : Saint Petersburg, Russia)

3540345469 (pbk.) : Springer, c2006.-

TN918-532 E53E 2006

Emerging trends in information and communication security :

ETRICS 2006 (2006 : Freiburg im Breisgau, Germany), Müller, Günter, 1948-

9783540346401- Springer, c2006.-

TN919.3-53 I61A 2006

Applied algebra, algebraic algorithms, and error-correcting codes :

Fossorier, Marc, 1964-, International Symposium on Applied Algebra, Algebraic Alogorithms and Error-Correcting Codes (16th : 2006 : Las Vegas, NV, USA)

3540314237 (pbk.) : Springer, c2006.-

TN919.8-532 V867V 2005

Visual content processing and representation :

VLBV 2005 (2005 : Sardinia, Italy), Atzori, Luigi. 3540335781 (pbk.) : Springer, c2006.-

TN92-532 I61W 2005

Wireless systems and network architectures in next generation internet :

International Workshop of the EURO-NGI Network of Excellence (2nd : 2005 : Villa Vigoni, Italy), Cesana, Matteo., Fratta, Luigi.

3540340254 (pbk.) : Springer, c2006.-

TP11 B743N2 Multidimensional systems theory and applications /

Multidimensional systems theory., Bose, N. K. (Nirmal K.), 1940-, Buchberger,

1402016239 (acid-free paper) :

Kluwer Academic Publishers, c2003.-

Page 22: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Bruno., Guiver, J. P.

TP11-53 C212A 2006

Advances in artificial intelligence :

Canadian Society for Computational Studies of Intelligence. Conference (19th : 2006 : Québec City, Québec, Canada ), Lamontagne, Luc D., 1965-, Marchand, Mario.

3540346287 (pbk.) : Springer, c2006.-

TP11-53 I61GE 2005

Gesture in human-computer interaction and simulation :

Gesture Workshop (6th : 2005 : Berder Island, France), Gibet, Sylvie., Courty, Nicolas., Kamp, Jean-Francois.

3540326243 (pbk.) : Springer, c2006.-

TP13 A244D 2005 Advanced topics in control systems theory :

Lamnabhi-Lagarrigue, F. (Fran oise), 1953-, Panteley, E. (Elena), Formation en Automatique de Paris (2005 : Paris, France), Loría, A. (Antonio)

9781846283130- Springer, c2006.-

TP13 A244NAdvances in variable structure and sliding mode control /

Edwards, Christopher, 1966-, Colet, Enric., Fridman, Leonid.

9783540328001- Springer, c2006.-

TP13 A488RRobust control of linear systems subject to uncertain time-varying parameters /

Amato, Francesco. 3540239502 (pbk.) : Springer, c2006.-

Page 23: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP13 B212SSwitched finite time control of a class of underactuated systems /

Banavar, Ravi N., Sankaranarayanan, Velupillai. 9783540327998- Springer, c2006.-

TP13 Z63E Essentials of robust control / Zhou, Kemin, Doyle, John Comstock. 0135258332 (pbk.) : Prentice Hall, c1998.-

TP14-53 A244A 2006

Advanced information systems engineering :

Pohl, Klaus, 1960-, CAiSE 2006 (2006 : Luxembourg, Luxembourg), Dubois, E. (Eric)

354034652X (pbk.) : Springer, c2006.-

TP18 F655E3 Evolutionary computation : IEEE Neural Networks Council., Fogel, David B. 0471669512 : Wiley, c2006.-

TP18 R667R Robust control systems with genetic algorithms / Jamshidi, Mohammad. 0849312515 (alk.

paper) : CRC Press, c2003.-

TP181 S497S The seventeen provers of the world / Wiedijk, Freek, 1961- 3540307044 (pbk.) : Springer, c2006.-

TP181-53 C748C 2006 Learning theory :

Lugosi, Gabor., Conference on Learning Theory (19th : 2006 : Pittsburgh, Pa.), Simon, Hans-Ulrich, 1954-

3540352945 (pbk.) : Springer, c2006.-

TP181-532 I61D 2005

Advances in machine learning and cybernetics :

International Conference on Machine Learning and Cybernetics (4th : 2005 : Guangzhou, China), Yeung, Daniel S., 1946-

3540335846 (pbk.) : Springer, c2006.-

TP181-532 L438L Learning and adaption in LAMAS 2005 (2005 : Utrecht, 3540330534 (pbk.) : Springer, c2006.-

Page 24: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2005 multi-agent systems : Netherlands), Tuyls, Karl.

TP181-532 P316M 2005

Machine learning challenges :

PASCAL Machine Learning Challenges Workshop (1st : 2005 : Southampton, England), Qui onero-Candela, Joaquin.

3540334270 (pbk.) : Springer, c2006.-

TP181-532 W926M 2005

Machine learning for multimodal interaction :

Renals, Steve., Workshop on Machine Learning for Multimodal Interaction (2nd : 2005 : Edinburgh, UK), Bengio, Samy.

3540325492 (pbk.) : Springer, c2006.-

TP182 H236H Handbook on ontologies / Studer, Rudi., Staab, Steffen. 3540408347 (alk. paper) : Springer-Verlag, c2004.-

TP183-532 I61A 2006 V.1

Advances in neural networks :

Wang, Jun (Jun Li Jim), International Symposium on Neural Networks (3rd : 2006 : Chengdu, China)

354034439X (v.1 : pbk.) : Springer, c2006.-

TP183-532 I61A 2006 V.2

Advances in neural networks :

Wang, Jun (Jun Li Jim), International Symposium on Neural Networks (3rd : 2006 : Chengdu, China)

354034439X (v.1 : pbk.) : Springer, c2006.-

TP183-532 I61A 2006 V.3

Advances in neural networks :

Wang, Jun (Jun Li Jim), International Symposium on Neural Networks (3rd : 2006 : Chengdu, China)

354034439X (v.1 : pbk.) : Springer, c2006.-

Page 25: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP18-53 E74E 2005

Engineering societies in the agents world VI :

Gleizes, Marie-Pierre., ESAW 2005 (6th : 2005 : Ku adasi Turkey), Dikenelli, O uz., Ricci, Alessandro, 1973-

3540344519 (pbk.) : Springer, c2006.-

TP18-53 H477M 2006

Advances in artificial intelligence :

Antoniou, G. (Grigoris), Hellenic Conference on AI (4th : 2006 : Hēraklion, Crete)

354034117X (pbk.) : Springer, c2006.-

TP18-53 W798N 2005 Neural nets :

Apolloni, Bruno, 1946-, Italian Workshop on Neural Nets (16th : 2005 : Vietri sul Mare, Italy), International Workshop on Natural and Artificial Immune Systems (2005 : Vietri sul Mare, Italy)

3540331832 (pbk.) : Springer, c2006.-

TP18-532 C639C 2005

Computational logic in multi-agent systems :

Toni, Francesca., CLIMA (Conference) (6th : 2005 : London, UK), Torroni, Paolo.

3540339965 (pbk.) : Springer, c2006.-

TP18-532 D313D 2005

Defence applications of multi-agent systems :

DAMAS (2005 : Utrecht, Netherlands), Ghanea-Hercock, Robert., Thompson, Simon.

3540328327 (pbk.) : Springer, c2006.-

TP18-532 E27E 2005

Environments for multi-agent systems II :

E4MAS 2005 (2005 : Utrecht, Netherlands), Weyns, Danny., Parunak, H. Van Dyke.,

3540326146 (pbk.) : Springer, c2006.-

Page 26: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Michel, Fabien.

TP18-532 I61C 2005

Charting the topic maps research and applications landscape :

International Workshop on Topic Map Research and Applications (1st : 2006 : Leipzig, Germany), Maicher, Lutz., Park, Jack.

3540325271 (pbk.) : Springer, c2006.-

TP18-532 I61F 2003 Fuzzy logic and applications :

International Workshop on Fuzzy Logic (5th : 2003 : Naples, Italy), Di Gesu, V., Masulli, F. (Francesco), Petrosino, Alfredo.

3540310193 (pbk.) : Springer, c2006.-

TP18-532 I61F 2005 Fuzzy logic and applications :

International Workshop on Fuzzy Logic and Applications (6th : 2005 : Crema, Italy), Bloch, Isabelle., Tettamanzi, Andrea., Petrosino, Alfredo.

3540325298 (pbk.) : Springer, c2006.-

TP18-532 M478M 2006

Modeling decisions for artificial intelligence :

MDAI (3rd : 2006 : Tarragona, Spain), Torra, Vicenc. 3540327800 (pbk.) : Springer, c2006.-

TP18-532 M961M 2005

Multi-agent-based simulation VI :

MABS 2005 (2005 : Utrecht, Netherlands), Sichman, Jaime S. (Jaime Simao), Antunes, Luis.

3540333800 (pbk.) : Springer, c2006.-

TP18-532 P965P 2005

Programming multi-agent systems :

ProMAS (Conference) (3rd : 2005 : Utrecht, Netherlands), Bordini, Rafael H.

3540326162 (pbk.) : Springer, c2006.-

Page 27: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP18-532 S468S 2005

Software engineering for multi-agent systems IV :

Garcia, Alessandro, 1976-, SELMAS 2005 (4th : 2005 : Saint Louis, USA)

3540335803 (pbk.) : Springer, c2006.-

TP18-532 T966P 2006

Perception and interactive technologies :

Tutorial and Research Workshop on Perception and Interactive Technologies (2006 : Kloster Irsee, Germany), André, Elisabeth, Prof.

3540347437 (pbk.) : Springer, c2006.-

TP242.6 W324E Evolutionary computations : Watanabe, Keigo, 1952-, Hashem, M. M. A.

3540209018 (alk. paper) : Springer, c2004.-

TP242-53 R666C 2005 RoboCup 2005 : RoboCup 2005 (2005 : Osaka,

Japan), Bredenfeld, Ansgar. 3540354379 (pbk.) : Springer, c2006.-

TP24-532 W926R 2004 Robot motion and control :

Workshop on Robot Motion and Control (4th : Puszczykowo, Poland : 2004), Koz owski, Krzysztof.

9781846284045- Springer, c2006.-

TP271 T646F Finite zeros in dicrete time control systems / Tokarzewski, Jerzy. 9783540334644- Springer, c2006.-

TP273 S864S Stochastic hybrid system : Blom, Henk A. P., Lygeros, John. 9783540334668- Springer, c2006.-

TP273 X8R Robust control and filtering of singular systems / Xu, Shengyuan., Lam, James. 3540327975 (pbk.) : Springer, c2006.-

TP273-532 C764C 2006

Control of uncertain systems :

Willems, Jan C., Francis, Bruce A., Glover, K. (Keith),

3540317546 (softcover : alk. Springer, c2006.-

Page 28: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

1946-, Glover, K. (Keith), 1946-, Smith, Malcolm C. (Malcolm Clive), 1957-

paper) :

TP273-532 E57E 2005

Engineering self-organising systems :

ESOA 2005 (2005 : Utrecht, Netherlands), Brueckner, Sven A.

3540333428 (pbk.) : Springer, c2006.-

TP273-532 W926G 2006

Group coordination and cooperative control /

Nijmeijer, H. (Hendrik), 1955-, Workshop on Group coordination and cooperative control (2006 : Troms , Norway), Pettersen, K. Y. (Kristin Y.), Gravdahl, Jan Tommy, 1969-

9783540334682- Springer, c2006.-

TP301 T396H Theoretical computer science :

Rosenberg, Arnold L., 1941-, Even, Shimon., Even, Shimon., Goldreich, Oded., Selman, Alan L.

3540328807 (pbk.) : Springer, c2006.-

TP301.1-53 I61M 2005

Implementation and application of automata :

CIAA (10th : 2005 : Sophia Antipolis, France), Ferré, Jacques., Litovsky, Igor., Schmitz, Sylvain.

3540310231 (pbk.) : Springer, c2006.-

TP301.2 J86J V.4 Journal on data semantics V / Spaccapietra, S. 3540314261 (pbk.) : Springer, c2006.-

TP301.2-53 D489D 2006

Developments in language theory :

Ibarra, Oscar H., Conference on Developments in Language Theory (10th :

354035428X (pbk.) : Springer, c2006.-

Page 29: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2006 : Santa Barbara, Calif.), Dang, Zhe, 1967-

TP301.5-532 T396T 2006

Theory and applications of models of computation :

Cooper, S. B. (S. Barry), TAMC 2006 (2006 : Beijing, China), Cai, Jin-yi, 1961-, Li, Angsheng.

3540340211 (pbk.) : Springer, c2006.-

TP301.6-53 E93A 2006

Applications of evolutionary computing :

EvoWorkshops 2006 (2006 : Budapest, Hungary), Rothlauf, Franz, 1971-

3540332375 (pbk.) : Springer, c2006.-

TP301.6-53 E93R 2005 Artificial evolution :

EA 2005 (2005 : Lille, France), Talbi, El-Ghazali, 1965-

3540335897 (pbk.) : Springer, c2006.-

TP301.6-53 F658F 2006

Foundations of information and knowledge systems :

FoIKS 2006 (2006 : Budapest, Hungary), Dix, J. (Jürgen), 1961-, Hegner, Stephen J.

3540317821 (pbk.) : Springer, c2006.-

TP301.6-53 I61S 2005

Large-scale scientific computing :

Lirkov, Ivan, 1963-, LSSC 2005 (2005 : Sozopol, Bulgaria), Wa niewski, Jerzy, 1931-, Margenov, Svetozar.

3540319948 (pbk.) : Springer, c2006.-

TP301.6-53 I88A 2006 Algorithms and complexity :

Italian Conference on Algorithms and Complexity (6th : 2006 : Rome, Italy), Calamoneri, Tiziana., Finocchi, Irene., Italiano, Giuseppe F.

354034375X (pbk.) : Springer, c2006.-

Page 30: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP301.6-532 A111A 2006

Algorithmic aspects in information and management :

AAIM 2006 (2006 : Hong Kong, China), Cheng, Siu-Wing., Poon, Chung Keung.

3540351574 (pbk.) : Springer, c2006.-

TP301.6-532 W251A 2005

Approximation and online algorithms :

WAOA 2005 (2005 : Palma de Mallorca, Spain), Persinao, Giuseppe., Erlebach, Thomas.

3540322078 (pbk.) : Springer, c2006.-

TP301.6-532 W361E 2006 Experimental algorithms :

WEA 2006 (2006 : Cala Galdana, Spain),  lvarez, Carme., Serna, Maria, 1959-

3540345973 (pbk.) : Springer, c2006.-

TP301-53 I61C 2006 V.1

Computational science - ICCS 2006 :

Alexandrov, Vassil, 1962-, ICCS 2006 (2006 : Reading, England)

3540343792 (v. 1 ; pbk.) : Springer, c2006.-

TP301-53 I61C 2006 V.2

Computational science - ICCS 2006 :

Alexandrov, Vassil, 1962-, ICCS 2006 (2006 : Reading, England)

3540343792 (v. 1 ; pbk.) : Springer, c2006.-

TP301-53 I61C 2006 V.3

Computational science - ICCS 2006 :

Alexandrov, Vassil, 1962-, ICCS 2006 (2006 : Reading, England)

3540343792 (v. 1 ; pbk.) : Springer, c2006.-

TP301-53 I61C 2006 V.4

Computational science - ICCS 2006 :

Alexandrov, Vassil, 1962-, ICCS 2006 (2006 : Reading, England)

3540343792 (v. 1 ; pbk.) : Springer, c2006.-

TP301-53 S989S 2006

STACS 2006 : Thomas, Wolfgang, 1947-, Symposium on Theoretical Aspects of Computer Science (23rd : 2006 : Marseilles,

3540323015 (pbk.) : Springer, c2006.-

Page 31: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

France), Durand, Bruno.

TP301-532 P471P 2006 Pervasive computing :

Pervasive 2006 (2006 : Dublin, Ireland), Fishkin, Kenneth P.

3540338942 (pbk.) : Springer, c2006.-

TP301-532 R382R 2005

Relational methods in computer science :

International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.), MacCaull, Wendy., Winter, Michael, Ph. D., Düntsch, Ivo., European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.), International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.)

3540333398 (pbk.) : Springer, c2006.-

TP302.7-532 E63F 2006

Formal methods and stochastic models for performance evaluation :

EPEW (3rd : 2006 : Budapest, Hungary), Horváth, András., Telek, Miklós.

3540353623 (pbk.) : Springer, c2006.-

TP303-53 A675T Architecture of computing ARCS 2006 (2006 : Frankfurt 3540327657 (pbk.) : Springer, c2006.-

Page 32: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2006 systems :

am Main, Germany), Grass, Werner, 1943-, Sick, Bernhard., Waldschmidt, Klaus, Dr.-Ing.

TP303-532 N475N 2005

Networked embedded sensing and control :

Antsaklis, Panos J., Tabuada, Paulo., Workshop on Networked Embedded Sensing and Control (2005 : Notre Dame, USA)

3540327940 (softcover : alk. paper) :

Springer, c2006.-

TP309.2-532 E89P 2006 Public key infrastructure :

Lioy, Antonio, 1958-, European PKI Workshop (3rd : 2006 : Turin, Italy), Atzeni, Andrea S.

3540351515 (pbk.) : Springer, c2006.-

TP309.7-532 T396T 2006 Theory of cryptography :

Theory of Cryptography Conference (3rd : 2006 : New York, N.Y.), Halevi, Shai., Rabin, Tal.

3540327312 (pbk.) : Springer, c2006.-

TP309-53 A181I 2006

Information security and privacy :

Batten, Lynn Margaret., Safavi-Naini, Reihanah., ACISP 2006 (2006 : Melbourne, Vic.)

3540354581 (pbk.) : Springer, c2006.-

TP309-53 I43F 2005

Information security and cryptology :

Won, Dongho, 1949-, ICISC 2005 (2005 : Seoul, Korea), Kim, Seungjoo.

3540333541 (pbk.) : Springer, c2006.-

TP309-53 I61P Public key cryptography, PKC Yung, Moti., International 3540338519 (pbk.) : Springer, c2006.-

Page 33: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2006 2006 :

Workshop on Practice and Theory in Public Key Cryptography (9th : 2006 : New York, N.Y.)

TP309-53 R294R 2005

Recent advances in intrusion detection :

Valdes, Alfonso., RAID 2005 (2005 : Seattle, WA), Zamboni, Diego.

3540317783 (pbk.) : Springer, c2006.-

TP309-532 F723F 2005

Formal aspects in security and trust :

FAST (3rd : 2005 : Newcastle upon Tyne, England), Dimitrakos, Theo.

3540326286 (pbk.) : Springer, c2006.-

TP309-532 I61I 2006

Intelligence and security informatics :

ISI 2006 (2006 : San Diego, Calif.), Mehrotra, Sharad, 1968-

9783540344780 (softcover : alk. paper)-

Springer, c2006.-

TP309-532 I85I 2006

Information security practice and experience :

ISPEC 2006 (2006 : Hangzhou, China), Chen, Kefei, 1959-

3540330526 (pbk.) : Springer, c2006.-

TP309-532 T873T 2006 Trust management : iTrust 2006 (2006 : Pisa,

Italy), St len, Ketil.3540342958 (pbk.) : Springer, c2006.-

TP309-532 W811I 2005

Information security applications :

Yung, Moti., WISA 2005 (2005 : Cheju-do, Korea), Song, JooSeok., Kwon, Taekyoung.

3540310126 (pbk.) : Springer, c2006.-

TP309-532 W926I 2006

Intelligence and security informatics :

Chen, Hsinchun., WISI 2006 (2006 : Singapore) 3540333614 (pbk.) : Springer, c2006.-

TP311.11-532 C758R 2005

Recent advances in constraints :

CoLogNET., European Research Consortium for 354034215X (pbk.) : Springer, c2006.-

Page 34: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Informatics and Mathematics., Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2005 : Uppsala, Sweden), Hnich, Brahim.

TP311.13 D232M Data mining : Williams, Graham J., Simoff, Simeon J., 1962- 3540325476 (pbk.) : Springer, c2006.-

TP311.13 F341O2 Ontologies : Fensel, Dieter. 3540009663 (alk. paper)- Springer, c2004.-

TP311.13-53 I61A 2006

Advances in database technology :

International Conference on Extending Database Technology (10th : 2006 : Munich, Germany), Ioannidis, Yannis.

3540329609 (pbk.) : Springer, c2006.-

TP311.13-53 I61F 2006

Database systems for advanced applications :

International Conference on Database Systems for Advanced Applications (11th : 2006 : Singapore), Lee, Mong Li., Tan, Kian Lee., Wuwongse, Vilas.

9783540333371- Springer, c2006.-

TP311.13-53 Data mining for biomedical BioDM (2006 : Singapore), Li, 3540331042 (pbk.) : Springer, c2006.-

Page 35: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

P117K 2006 applications :

Jinyan, Ph. D., Yang, Qiang, 1961-, Tan, Ah-Hwee., Pacific-Asia Conference on Knowledge Discovery and Data Mining (2006 : Singapore)

TP311.13-53 W139A 2006

Advances in web-age information management :

WAIM 2006 (7th : 2006 : Hong Kong, China), Xu Yu, Jeffrey., Kitsuregawa, Masara., Va Leong, Hong.

3540352252 (pbk.) : Springer, c2006.-

TP311.13-532 D232A 2005 Data management in grids :

DMG 2005 (2005 : Trondheim, Norway), Pierson, Jean-Marc., VLDB Workshop (2005 : Trondheim, Norway)

3540312129 (pbk.) : Springer, c2005.-

TP311.13-532 E89C 2005

Constraint-based mining and inductive databases :

European Workshop on Inductive Databases and Constraint Based Mining (2004 : Hinterzarten, Germany), Raedt, Luc de, 1964-, Boulicaut, Jean-Fran ois., Mannila, Heikki.

3540313311 : Springer, c2005.-

TP311.13-532 F293F 2005 Federation over the web : Jantke, K. P. (Klaus P.) 3540310185 (pbk.) : Springer, c2006.-

TP311.13-532 K23K 2005

Knowledge discovery in inductive databases :

Boulicaut, Jean-Fran ois., KDID 2005 (2005 : Porto, 3540332928 (pbk.) : Springer, c2006.-

Page 36: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Portugal), Bonchi, Francesco.

TP311.13-532 K73N 2006

Knowledge discovery in life science literature :

KDLL (2006 : Singapore), Bremer, Eric G., Pacific-Asia Conference on Knowledge Discovery and Data Mining (10th : 2006 : Singapore)

3540328092 (softcover : alk. paper) :

Springer, c2006.-

TP311.1-53 E89G 2006 Genetic programming :

EuroGP (9th : 2006 : Budapest, Hungary), Collet, Pierre, 1948-

3540331433 (pbk.) : Springer, c2006.-

TP311.1-53 T991T 2004

Types for proofs and programs :

TYPES 2004 (2004 : Jouy-en-Josas, France), Filli tre, Jean-Christophe., Paulin-Mohring, Christine, 1962-, Werner, Benjamin.

3540314288 (pbk.) : Springer, c2006.-

TP311.52 T772TTransactions on aspect-oriented software development I /

Rashid, Awais., Aksit, Mehmet. 3540329722 (pbk.) : Springer, c2006.-

TP311.52-53 C778C 2006

Coordination models and languages :

Ciancarini, Paolo, 1959-, Coordination 2006 (8th : 2006 : Bologna, Italy), Wiklicky, Herbert.

3540346945 (pbk.) : Springer, c2006.-

TP311.52-532 E96E 2006

Extreme programming and agile processes in software engineering :

Marchesi, Michele., Succi, Giancarlo, 1964-, XP 2006 (2006 : Oulu, Finland), Abrahamsson, Pekka.

3540350942 (pbk) : Springer, c2006.-

Page 37: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP311.5-53 A191R 2006

Reliable software technologies :

Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portugal), Pinho, Luís Miguel., González Harbour, Michael, 1960-

9783540346630- Springer, c2006.-

TP311.5-53 A265A 2005

Agent-oriented software engineering VI :

Müller, J. P. (J rg P.), 1965-, Zambonelli, Franco, 1966-, AOSE 2005 (6th : 2005 : Utrecht, Netherlands)

9783540340973 (softcover : alk. paper)-

Springer, c2006.-

TP311.5-53 F981F 2006

Fundamental approaches to software engineering :

ETAPS 2006 (2006 : Vienna, Austria), FASE 2006 (2006 : Vienna, Austria), Heckel, Reiko., Baresi, Luciano.

3540330933 (pbk.) : Springer, c2006.-

TP311.5-53 I61M 2006 Model checking software :

International SPIN Workshop (13th : 2006 : Vienna, Austria), Valmari, Antti.

3540331026 (pbk.) : Springer, c2006.-

TP311.5-53 P964P 2006

Product-focused software process improvement :

PROFES 2006 (7th : 2006 : Amsterdam, Netherlands), Münch, Jürgen., Vierimaa, Matias.

9783540346821- Springer, c2006.-

TP311.5-53 T671T 2006

Tools and algorithms for the construction and analysis of systems :

Hermanns, Holger, 1967-, ETAPS 2006 (2006 : Vienna, Austria), TACAS 2006 (2006 : Vienna, Austria), Palsberg,

3540330569 (pbk.) : Springer, c2006.-

Page 38: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Jens.TP311.5-532 C386C 2006

Component-based software engineering :

CBSE 2006 (2006 : V ster s, Sweden), Gorton, Ian. 3540356282 (pbk) : Springer, c2006.-

TP311.5-532 F252F 2006

Formal approaches to software testing :

FATES 2005 (2005 : Edinburgh, Scotland), Grieskamp, Wolfgang, 1960-, Weise, Carsten.

3540344543 (pbk.) : Springer, c2006.-

TP311.5-532 I61M 2005

Modeling and retrieval of context :

International Workshop on Modeling and Retrieval of Context (2nd : 2005 : Edinburgh, Scotland), Roth-Berghofer, Thomas R., Schulz, Stefan, 1969-, Leake, David B., International Joint Conference on Artificial Intelligence (19th : 2005 : Edinburgh, Scotland)

3540335870 (pbk.) : Springer, c2006.-

TP311.5-532 I61S 2004

Software engineering research, management and applications :

International Conference on Software Engineering Research and Applications (2nd : 2004 : Los Angeles, Calif.), Dosch, Walter., Lee, R. Y. (Roger Y.), Wu, Chisu.

3540321330 (pbk.) : Springer, c2005.-

TP311.5-532 R595R 2005

Rapid integration of software engineering techniques :

RISE 2005 (2005 : Heraklion, Crete, Greece), Guelf ,

3540340637 (pbk.) : Springer, c2006.-

Page 39: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Nicolas, 1965-, Savidis, Anthony.

TP311.5-532 S681F 2006 Software process change :

SPW/ProSim 2006 (2006 : Shanghai, China), Wang, Qing., International Software Process Workshop (2006 : Shanghai, China), International Workshop on Software Process Simulation and Modeling (2006 : Shanghai, China)

3540341994 (pbk.) : Springer, c2006.-

TP311-53 F631F 2006

Functional and logic programming :

Hagiya, Masami, 1957-, Wadler, Philip, 1956-, Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Susono-shi, Japan)

3540334386 (pbk.) : Springer, c2006.-

TP311-53 I61O 2005

Logic based program synthesis and transformation :

LOPSTR 2005( 2005 : London, England), Hill, Patricia, 1942- 3540326545 (pbk.) : Springer, c2006.-

TP311-53 I61S 2006

Reuse of off-the-shelf components :

International Conference on Software Reuse (9th : 2006 : Torino, Italy), Morisio, Maurizio, 1960-

3540346066 (pbk.) : Springer, c2006.-

TP312-53 U58S Satellite events at the Bruel, Jean-Michel, 1969-, 3540317805 (pbk.) : Springer, c2006.-

Page 40: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

2005 MoDELS 2005 conference : MoDELS 2005 (2005 : Montego Bay, Jamaica)

TP312-532 I61D 2005

Declarative agent languages and technologies III :

International Workshop on Declarative Agent Languages and Technologies (3rd : 2005 : Utrecht, Netherlands), Baldoni, Matteo, 1968-

3540331069 (pbk.) : Springer, c2006.-

TP312-532 K73K 2006

Knowledge discovery from XML documents :

KDXD 2006 (2006 : Singapore), Nayak, Richi., Zaki, Mohammed J., 1971-

3540331808 (pbk.) : Springer, c2006.-

TP312-61 G377DDictionary of XML technologies and the semantic Web /

Geroimenko, Vladimir, 1955- 1852337680 (alk. paper) : Springer, c2004.-

TP314-53 C737C 2006 Compiler construction :

ETAPS 2006 (2006 : Vienna, Austria), CC (15th : 2006 : Vienna, Austria), Mycroft, Alan., Zeller, Andreas.

354033050X (pbk.) : Springer, c2006.-

TP31-53 E89P 2006

Programming languages and systems :

ETAPS 2006 (2006 : Vienna, Austria), European Symposium on Programming (15th : 2006 : Vienna, Austria), Sestoft, Peter.

354033095X (pbk.) : Springer, c2006.-

TP31-53 F771F 2006

Foundations of software science and computation structures :

FOSSACS 2006 (2006 : Vienna, Austria), Aceto, Luca., Anna Ingólfsdóttir.,

3540330453 (pbk.) : Springer, c2006.-

Page 41: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

ETAPS 2006 (2006 : Vienna, Austria)

TP31-53 S471S 2006 SOFSEM 2006 :

Wiedermann, J. (Juraj), SOFSEM (Conference) (32nd : 2006 : Mě ín, Czech Republic)

354031198X (pbk.) : Springer, c2006.-

TP31-532 I61F 2006

Formal methods for hardware verification :

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), Alessandro, Cimatti., Bernardo, Marco.

9783540343042 (softcover : alk. paper)-

Springer, c2006.-

TP31-532 I61H 2005

Hardware and software, verification and testing :

International Haifa Verification Conference (1st : 2005 : Haifa, Israel), Ur, Shmuel., Bin, Eyal., Wolfsthal, Yaron.

3540326049 (pbk.) : Springer, c2006.-

TP31-532 S681U 2005

Unifying the software process spectrum :

Software Process Workshop (2005 : Beijing, China), Li, Mingshu., Boehm, Barry W., Osterweil, Leon.

3540311122 (pbk.) : Springer, c2005.-

TP335 D637D 2006

Document analysis systems VII :

Bunke, Horst., DAS 2006 (2006 : Nelson, N.Z.), Spitz, A. Lawrence.

3540321403 (pbk.) : Springer, c2006.-

Page 42: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP338.6-53 P222Q 2004 Applied parallel computing :

Dongarra, J. J., Wasniewski, Jerzy, 1931-, PARA 2004 (2004 : Lyngby, Denmark), Madsen, Kaj.

3540290672 (pbk.) : Springer, c2006.-

TP338.6-532 P221P 2005

Parallel processing and applied mathematics :

PPAM 2005 (2005 : Poznan , Poland), Wyrzykowski, Roman.

3540341412 (pbk.) : Springer, c2006.-

TP338.8-532 I23D 2006

Distributed applications and interoperable systems :

Eliassen, Frank., International Federation for Information Processing., IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (6th : 2006 : Bologna, Italy), Montresor, Alberto.

3540351264 (pbk.) : Springer, c2006.-

TP338.8-532 I61F 2006

Formal methods for open object-based distributed systems :

Gorrieri, Roberto., International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy), Wehrheim, Heike.

9783540348931- Springer, c2006.-

TP3-53 L357L 2006 LATIN 2006 : Latin American Symposium

on Theoretical Informatics 354032755X (pbk.) : Springer, c2006.-

Page 43: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

(7th : 2006 : Valdivia, Chile), Correa, José R. (Jose Rafael), 1975-, Hevia, Alejandro., Kiwi, Marcos.

TP3-532 C738O 2006 V.1

Computational science and its applications - ICCSA 2006 :

ICCSA 2006 (2006 : Glasgow, UK), Gavrilova, Marina.

354034070X (v. 1 : pbk.) : Springer, c2006.-

TP3-532 C738O 2006 V.2

Computational science and its applications - ICCSA 2006 :

ICCSA 2006 (2006 : Glasgow, UK), Gavrilova, Marina.

354034070X (v. 1 : pbk.) : Springer, c2006.-

TP3-532 C738O 2006 V.3

Computational science and its applications - ICCSA 2006 :

ICCSA 2006 (2006 : Glasgow, UK), Gavrilova, Marina.

354034070X (v. 1 : pbk.) : Springer, c2006.-

TP3-532 C738O 2006 V.4

Computational science and its applications - ICCSA 2006 :

ICCSA 2006 (2006 : Glasgow, UK), Gavrilova, Marina.

354034070X (v. 1 : pbk.) : Springer, c2006.-

TP3-532 C738O 2006 V.5

Computational science and its applications - ICCSA 2006 :

ICCSA 2006 (2006 : Glasgow, UK), Gavrilova, Marina.

354034070X (v. 1 : pbk.) : Springer, c2006.-

TP3-532 I61O 2006

Computer science : International Computer Science Symposium in Russia (1st : 2006 : Saint Petersburg, Russia), Grigoriev, Dima., Harrison, J. (John), 1966-, Hirsch, Edward

3540341668 (pbk.) : Springer, c2006.-

Page 44: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

A.

TP3-532 N576N 2006

Next generation information technologies and systems :

NGITS 2006 (2006 : Shefayim, Israel), Etzion, Opher., Kuflik, Tsvi., Motro, Amihai.

9783540354727- Springer, c2006.-

TP3-532 S941S 2005

Subspace, latent structure and feature selection :

SLSFS 2005 (2005 : Bohinj, Slovenia), Saunders, Craig. 3540341374 (pbk.) : Springer, c2006.-

TP35-53 H992I 2006 Hybrid systems :

HSCC (9th : 2006 : Santa Barbara, Calif.), Hespanha, Jo o P., Tiwari, Ashish, 1973-

3540331700 (pbk.) : Springer, c2006.-

TP37-532 A527A 2005

Adaptive multimedia retrieval :

Detyniecki, Marcin., AMR 2005 (2005 : Glasgow, Scotland)

3540321748 (pbk.) : Springer, c2006.-

TP37-532 I61A 2006

Adaptive hypermedia and adaptive web-based systems :

International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (4th : 2006: Dublin, Ireland), Wade, Vincent., Ashman, Helen., Smyth, Barry, 1970-

3540346961 (pbk.) : Springer, c2006.-

TP38 S813PProblems & solutions in quantum computing & quantum information /

Steeb, W.-H., Hardy, Yorick, 1976- 9812387900 (pbk.)- World Scientific, c2004.-

TP384-53 I61D 2005 DNA computing :

International Workshop on DNA-Based Computers (11th : 2005 : London, ON,

3540341617 (pbk.) : Springer, c2006.-

Page 45: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Canada), Carbone, Alessandra., Pierce, Niles A.

TP384-532 M533M 2005 Membrane computing : WMC (6th : 2005 : Vienna,

Austria), Freund, Rudolf. 3540309489 (pbk.) : Springer, c2006.-

TP389.1 K14K Kalman filtering and neural networks / Haykin, Simon S., 1931- 0471369985 (alk.

paper) : Wiley-Interscience, c2001.-

TP391.4 F914V VOCUS : Frintrop, Simone. 3540327592 (pbk.) : Springer, c2006.-

TP391.41-53 S989G 2005 Graph drawing :

Symposium on Graph Drawing (13th : 2005 : Limerick, Limerick, Ireland), Healy, Patrick, 1962-, Nikolov, Nikola S.

3540314253 (pbk.) : Springer, c2006.-

TP391.41-53 V834R 2005

Visual information and information systems :

VISUAL 2005 (2005 : Amsterdam, the Netherlands), Bres, Stéphane., Laurini, Robert.

3540304886 (pbk.) : Springer, c2006.-

TP391.41-532 C738D 2006

Advances in computer graphics :

Computer Graphics International Conference (24th : 2006 : Hangzhou, China), Nishita, Tomoyuki., Peng, Qunsheng., Seidel, H.-P (Hans-Peter)

354035638X (pbk.) : Springer, c2006.-

TP391.41-532 E17C 2006

Computer vision in human-computer interaction :

Huang, Thomas S., 1936-, ECCV 2006 Workshop on HCI 3540342028 (pbk.) : Springer, c2006.-

Page 46: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

(2006 : Graz, Austria)

TP391.41-532 I61C 2006

Combinatorial image analysis :

International Association for Pattern Recognition., International Workshop on Combinatorial Image Analysis (11th : 2006 : Berlin, Germany), Reulke, Ralf.

3540351531 (pbk.) : Springer, c2006.-

TP391.41-532 S738S 2004

Spatial coherence for visual motion analysis :

SCVMA 2004 (2004 : Prague, Czech Republic), MacLean, W. James.

3540325336 : Springer, c2006.-

TP391.4-53 E89C 2006 V.1 Computer vision :

Bischof, Horst, Leonardis, Ale ., European Conference on Computer Vision (9th : 2006 : Graz, Austria), Pinz, Axel.

3540338322 (v. 1 : pbk. : alk. paper) : Springer, c2006.-

TP391.4-53 E89C 2006 V.2 Computer vision :

Bischof, Horst, Leonardis, Ale ., European Conference on Computer Vision (9th : 2006 : Graz, Austria), Pinz, Axel.

3540338322 (v. 1 : pbk. : alk. paper) : Springer, c2006.-

TP391.4-53 E89C 2006 V.3 Computer vision :

Bischof, Horst, Leonardis, Ale ., European Conference on Computer Vision (9th : 2006 : Graz, Austria), Pinz, Axel.

3540338322 (v. 1 : pbk. : alk. paper) : Springer, c2006.-

TP391.4-53 E89C 2006 V.4 Computer vision :

Bischof, Horst, Leonardis, Ale ., European Conference on Computer Vision (9th : 2006 :

3540338322 (v. 1 : pbk. : alk. paper) : Springer, c2006.-

Page 47: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Graz, Austria), Pinz, Axel.

TP391.4-53 E89I 2005 Interactive systems :

DSVIS 2005 (2005 : Newcastle upon Tyne, England), Gilroy, Stephen W., Harrison, Michael D.

3540341455 (pbk.) : Springer, c2006.-

TP391.4-532 A832C 2006 V.1 Computer Vision :

Shum, Heung-Yeung., Asian Conference on Computer Vision (7th : 2006 : Hyderabad, India), Narayanan, P. J., Nayar, Shree K.

3540312196 (v. 1 : pbk. : alk. paper) : Springer, c2006.-

TP391.4-532 A832C 2006 V.2 Computer Vision :

Shum, Heung-Yeung., Asian Conference on Computer Vision (7th : 2006 : Hyderabad, India), Narayanan, P. J., Nayar, Shree K.

3540312196 (v. 1 : pbk. : alk. paper) : Springer, c2006.-

TP391.6-53 I61I 2006 Intelligent tutoring systems :

Ashley, K. D. (Kevin D.), International Conference, ITS (8th : 2006 : Chung-li, Taiwan), Ikeda, Mitsuru, 1962-, Chan, Tak-Wai, 1954-

3540351590 (pbk.) : Springer, c2006.-

TP391.7-532 I61C 2005

Computer supported cooperative work in design II :

International Conference on Computer Supported Cooperative Work in Design

3540329692 (pbk.) : Springer, c2006.-

Page 48: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

(9th : 2005 : Coventry, UK), Shen, Weiming.

TP391.9 N417R Reliable methods for computer simulation :

Neittaanm ki, P. (Pekka), Repin, Sergey I. 0444513760 : Elsevier, 2004.-

TP391-53 C267S 2006

Smart card research and advanced applications :

Domingo-Ferrer, Josep., Posegga, Joachim., Schreckling, Daniel., IFIP WG 8.8 (Smart Cards), CARDIS (7th : 2006 : Tarragona, Spain)

3540333118 (pbk.) : Springer, c2006.-

TP391-53 D536D 2006

Diagrammatic representation and inference :

Diagrams 2006 (4th : Stanford, CA), Barker-Plummer, Dave., Cox, Richard., Swoboda, Nik.

9783540356233- Springer, c2006.-

TP391-532 C345C 2005

Construction and analysis of safe, secure, and interoperable smart devices :

Institut national de recherche en informatique et en automatique (France), Barthe, Gilles, 1967-, CASSIS 2005 (2005 : Nice, France)

3540336893 (pbk.) : Springer, c2006.-

TP393.07-532 S465S 2006

Self-managed networks, systems, and services :

Keller, Alexander, 1968-, Institute of Electrical and Electronics Engineers., SelfMan 2006 (2006 : Dublin, Ireland), Martin-Flatin, Jean-Philippe.

3540347399 (pbk.) : Springer, c2006.-

Page 49: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP393.07-532 W113A 2005 Autonomic communication :

International Federation for Information Processing., Smirnov, Mikhail I., WAC (2nd : 2005 : Athens, Greece), Stavrakakis, Ioannis, 1960-

3540329927 (pbk.) : Springer, c2006.-

TP393.08-532 A184A 2006

Applied cryptography and network security :

Yung, Moti., Zhou, Jianying., Bao, Feng., ACNS 2006 (2006 : Singapore)

3540347038 (pbk.) : Springer, c2006.-

TP393.08-532 I61S 2006

Security in pervasive computing :

International Conference on Security in Pervasive Computing (3rd : 2006 : York, UK), Clark, John A.

3540333762 (pbk.) : Springer, c2006.-

TP393.09 W364E Web services : Alonso, Gustavo, 1965- 3540440089 (hbk.) : Springer, c2004.-

TP393.092-532 A832A 2006

Advanced Web and network technologies, and applications :

APWeb 2006 International Workshops (2006 : Harbin, China), Shen, Heng Tao.

3540311580 (pbk.) : Springer, c2006.-

TP393.092-532 A832W 2006

Frontiers of WWW research and development :

Zhou, Xiaofang., Asia-Pacific Web Conference (8th : 2006 : Harbin, China)

3540311424 (pbk.) : Springer, c2006.-

TP393.4-532 E89S 2006 The semantic web :

European Semantic Web Conference (3rd : 2006 : Budva, Montenegro), Sure, York., Domingue, John.

3540345442 (pbk.) : Springer, c2006.-

TP393.4-532 I25N 2004

Innovative internet community systems :

IICS 2004 (2004 : Guadalajara, Mexico), Bo 

9783540288800 (softcover : alk. Springer, c2006.-

Page 50: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

hme, Thomas, 1957- paper)-TP393.4-532 I25N 2005

Innovative Internet community systems

IICS 2005 (2005 : Paris, France), Bui, Alain. 3540339736 (pbk.) : Springer, c2006.-

TP393.4-532 W973W 2006

Wired/wireless internet communications :

WWIC 2006 (2006 : Bern, Switzerland), Braun, Thorsten.

3540340238 (pbk.) : Springer, c2006.-

TP393-53 T255T 2005 Technologies for e-services :

Shan, Ming-Chien., Bussler, Christoph., TES 2005 (2005 : Trondheim, Norway)

3540310673 (pbk.) : Springer, c2006.-

TP393-532 C714S 2006

Structural information and communication complexity :

Colloquium on Structural Information and Communication Complexity (13th : 2006 : Chester, England), Flocchini, Paola., G sieniec, Leszek.

3540354743 (pbk.) : Springer, c2006.-

TP393-532 D277D 2006

Distributed computing in sensor systems :

DCOSS 2006 (2006 : San Francisco, Calif.), Gibbons, Phillip Baldwin.

3540352279 (pbk.) : Springer, c2006.-

TP393-532 E95W 2006 Wireless sensor networks :

Karl, Holger, 1970-, EWSN 2006 (2006 : Zurich, Switzerland), R mer, Kay., Mattern, Friedemann.

3540321586 (pbk.) : Springer, c2006.-

TP393-532 G847A 2006

Advances in grid and pervasive computing :

GPC 2006 (2006 : Tai-chung shih, Taiwan), Chung, Yeh-Ching., Moreira, José E.

3540338098 (pbk.) : Springer, c2006.-

Page 51: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

TP393-532 I61N 2006 Networking 2006 :

Boavida, Fernando, 1959-, International IFIP-TC6 Networking Conference (5th : 2006 : Coimbra, Portugal)

3540341927 (pbk.) : Springer, c2006.-

TP393-532 I61P 2006 Performability has its price :

Stiller, Burkhard, 1965-, International Workshop on Internet Charging and QoS Technology (5th : 2006 : St. Malo, France), Reichl, Peter., Tuffin, Bruno.

3540354565 (pbk.) : Springer, c2006.-

TQ018 H239P Process modelling and model analysis /

Hangos, K. M. (Katalin M.), Cameron, I. T.

0121569314 (acid-free paper) : Academic Press, c2001.-

TQ174.4 C411C Ceramics and composite materials : Caruta, B. M. 1594543704 : Nova Science

Publishers, c2006.-

TQ-61 K59K5 V.13

Kirk-Othmer encyclopedia of chemical technology.- Kroschwitz, Jacqueline I. 0471484946 (27 v.

set)- Wiley-Interscience, c2004--

TQ-61 K59K5 V.21

Kirk-Othmer encyclopedia of chemical technology.- Kroschwitz, Jacqueline I. 0471484946 (27 v.

set)- Wiley-Interscience, c2004--

TQ610 F979F Functional dyes / Kim, Sung-Hoon. 0444521763 : Elsevier, 2006.-

TS201.3-33 B433F

Food microbiology and laboratory practice /

Bell, C., 1946-, Neaves, Paul., Williams, Anthony P. (Anthony Philip), 1948-

0632063815 : Blackwell Science, 2005.-

TS952.83-53 C738C 2004 Computers and games :

Herik, Jaap van den., Bj rnsson, Yngvi, 1964-, CG 2004 (2004 : Ramat-Gan,

3540324887 (pbk.) : Springer, c2006.-

Page 52: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Israel), Netanyahu, Nathan S.

TU-091.15 I17I Icons of architecture : Thiel-Siling, Sabine., Bachmann, Wolfgang.

3791319493 (acid-free paper)- Prestel, c1998.-

TU-091.15 T396T2

Theories and manifestoes of contemporary architecture / Kropf, Karl., Jencks, Charles. 9780470014691

(pbk.)- Wiley-Academy, c2006.-

TU-095.16 A673A Architektur in Deutschland =Flagge, Ingeborg., Becker, Annette., Cachola Schmal, Peter, 1964-

3791334034 (pbk.) : Prestel, c2005--

TU238-09 I61I Interior design and identity / McKellar, Susie., Sparke, Penny.

0719067286 (hardback)-

Manchester University Press ; 2004.-

TU-80 L412F Form follows libido : Lavin, Sylvia. 0262122685 (alk. paper) : MIT Press, c2004.-

TU-88 L478F 50 great adventures : Lee, Jonathan (Jonathan M.) 3791334344 (pbk.) : Prestel, c2005.-

TU984.11 M823U Urban design futures / Moor, Malcolm., Rowland, Jon. 0415318777 (hbk.) : Routledge, 2006.-

U17-62 P664P6 Pipeline rules of thumb handbook : McAllister, E. W. 0750678526 : Gulf Professional

Pub., c2005.-

U44-09 G736B Bridges that changed the world / Graf, Bernhard. 379133400X (pbk. :

acid-free paper) : Prestel, c2005.-

U661.71-532 N971          Z2 W927W V.1 The World Book

encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.10 The World Book World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Page 53: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

encyclopedia.-

Z2 W927W V.11 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.12 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.13 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.14 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.15 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.16 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.17 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.18 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.19 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.2 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.20 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.21 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Page 54: 索书号 - 上海交通大学图书馆 · Web view索书号 书名 作者 ISBN 出版社 出版年 B503.922 N144G Galileo Galilei, when the world stood still / N ss, Atle, 1949-

Z2 W927W V.22 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.3 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.4 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.5 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.6 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.7 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.8 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-

Z2 W927W V.9 The World Book encyclopedia.- World Book, Inc. 0716601044 (set) : World Book, Inc., c2004.-