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

1

Cover is for reference only

Java programming 24-hour trainer

Main Authors: Fain Yakov.
Published: John Wiley,
Publication Dates: c2011.
Call Number: TP312JA/F162

Book

2

Cover is for reference only

CHI 2004：connect : conference proceedings : April 24-29, Vienna, Austria : Conference on Human Factors in Computing Systems : Vienna, Austria, April 24-29.

Corporate Authors: CHI Conference (2004 Vienna, Austria); SIGCHI (Group : U.S.)
Published: Association for Computing Machinery,
Publication Dates: c2004.
Call Number: TP11-532/C738/2004

Book

3

Cover is for reference only

Partial order methods in verification：DIMACS workshop, July 24-26, 1996

Corporate Authors: DIMACS Group; Workshop on Partial Order Methods in Verification (1996 Princeton University)
Group Author: Peled Doron A 1962-; Pratt Vaughan R; Holzmann Gerard J
Published: American Mathematical Society,
Publication Dates: c1997.
Call Number: TP301-532/P273/1996/

Book

4

Cover is for reference only

Software architecture：first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings

Corporate Authors: ECSA 2007 (2007 Madrid, Spain); SpringerLink (Online service)
Group Author: Oquendo Flavio, 1958-
Published: Springer,
Publication Dates: c2007.

Book

5

Cover is for reference only

The Sixth International Symposium on Software Reliability Engineering：proceedings, October 24-27, 1995, Toulouse, France

Corporate Authors: International Symposium on Software Reliability Engineering (1995 Toulouse, France; IEEE Reliability Society; IEEE Computer Society. Software Engineering Technical Committee
Published: IEEE Computer Society Press,
Publication Dates: c1995.
Call Number: TP311.5-532/I61.2/1995/

Book

6

Cover is for reference only

Theoretical aspects of computer software：proceedings, International Conference, TACS'91, Sendai, Japan, September 24-27, 1991

Corporate Authors: TACS'91 (1991 Sendai-han, Japan)
Group Author: Ito T; Takayasu, 1940- Meyer Albert R
Published: Springer-Verlag,
Publication Dates: c1991.

Book

7

Cover is for reference only

Datatype-generic programming：international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

Corporate Authors: SSDGP 2006 (2006 Nottingham, England); SpringerLink (Online service)
Group Author: Backhouse Roland C., 1948-
Published: Springer,
Publication Dates: c2007.

Book

8

Cover is for reference only

Distributed computing and internet technology：second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005 : proceedings

Corporate Authors: International Conference on Distributed Computing and Internet Technology (2nd 2005 Bhubaneswar, India); SpringerLink (Online service)
Group Author: Chakraborty Goutam.
Published: Springer,
Publication Dates: 2005.

Book

9

Cover is for reference only

Numerical software with result verification：international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Corporate Authors: Dagstuhl Seminar on Numerical Software with Result Verification (2003 Dagstuhl, Germany
Group Author: Alt René
Published: Springer,
Publication Dates: c2004.
Call Number: O245-532/D127/2003

Book

10

Cover is for reference only

Third International Workshop on Software and Performance, (WOSP2002)：proceedings, Rome, Italy, July 24-26, 2002

Corporate Authors: International Workshop on Software and Performance (3rd 2003 Rome, Italy; ACM-Sigmetrics; ACM Sigsoft
Published: ACM Press,
Publication Dates: c2002.
Call Number: TP311.5-532/I618-1/2003

Book

11

Cover is for reference only

Proceedings of the Fourth International Symposium on Assessment of Software Tools：May 22-24, 1996, Toronto, Canada

Corporate Authors: International Symposium on Assessment of Software Tools (4th 1996 Toronto, Ont; IEEE Computer Society. Technical Council on Software Engineering; University of Toronto
Group Author: Joe; Frieder Ophir; Wigglesworth J
Published: IEEE Computer Society Press,
Publication Dates: c1996.
Call Number: TP311.56-532/I61/1996/

Book

12

Cover is for reference only

Software re-use, Utrecht 1989：proceedings of the..., 23-24 November 1989, Utrecht, The Netherlands

Corporate Authors: Software Re-use Workshop (1989 Utrecht; British Computer Society
Group Author: Dusink Liesbeth 1957-; Hall Patrick A. V
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP311.5-53/S681/1989/

Book

13

Cover is for reference only

Computer Aided Verification：24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

Corporate Authors: CAV (Conference) (24th 2012 Berkeley, Calif.); SpringerLink (Online service)
Group Author: Seshia Sanjit A.; Madhusudan P.
Published: Springer,
Publication Dates: c2012.

Book

14

Cover is for reference only

Software and data technologies：third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, revised selected papers

Corporate Authors: ICSOFT 2008 (2008 Porto, Portugal)
Group Author: Shishkov Boris.; Ranchordas AlpeshKumar.; Helfert Markus.; Cordeiro José.
Published: Springer,
Publication Dates: c2009.

Book

15

Cover is for reference only

Model checking software：12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Corporate Authors: International SPIN Workshop (12th 2005 San Francisco, Calif
Group Author: Godefroid Patrice
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.5-532/I617-1/2005

Book

16

Cover is for reference only

FM 2011：formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (17th 2011 Limerick, Limerick, Ireland); SpringerLink (Online service)
Group Author: Schulte Wolfram.; 1967-
Published: Springer,
Publication Dates: 2011.

Book

17

Cover is for reference only

Advances in Natural Computation：Second International Conference, ICNC 2006, Xian, China, September 24-28, 2006. Proceedings, Part II

Corporate Authors: SpringerLink (Online service)
Group Author: Wang Lipo.; Gao Xinbo.; Liu Jing.; Wu Feng.; Jiao Licheng.
Published: Springer-Verlag Berlin Heidelberg,
Publication Dates: 2006.

Book

18

Cover is for reference only

Computer safety, reliability, and security：24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings

Corporate Authors: SAFECOMP 2005 (2005 Fredrikstad, Norway
Group Author: Winther Rune; Gran Bj2rn Axel; Dahll Gustav
Published: Springer,
Publication Dates: c2005.
Call Number: TP309-532/I61/2005

Book

19

Cover is for reference only

Computer safety, reliability, and security：23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

Corporate Authors: SAFECOMP 2004 (2004 Potsdam, Germany
Group Author: Heisel Maritta; Liggesmeyer Peter; Wittmann Stefan
Published: Springer,
Publication Dates: 2004.
Call Number: TP309-532/I61/2004

Book

20

Cover is for reference only

COMPSAC 2000：the 24th Annual International Computer Software and Applications Conference, 25-27 October 2000, Taipei, Taiwan

Corporate Authors: (24th 2000; IEEE Computer Society
Published: IEEE Computer Society Press,
Publication Dates: c2000.
Call Number: TP31-532/I59/2000

Book

Narrow Search