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

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

2020 International Workshop on Rapid System Prototyping (RSP 2020) : Hamburg, Germany, 24-25 September 2020.

Corporate Authors: International Workshop on Rapid System Prototyping Hamburg, Germany); Institute of Electrical and Electronics Engineers.
Published: IEEE,
Publication Dates: [2020]
Call Number: TP391-532/I59/2020

Book

7

Cover is for reference only

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /

Corporate Authors: RV (Conference) Rennes, France); SpringerLink (Online service)
Group Author: Legay, Axel; Bensalem, Saddek
Published: Springer,
Publication Dates: 2013.

eBook

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

Cover is for reference only

Model checking software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /

Corporate Authors: International SPIN Workshop Oxford, England); SpringerLink (Online service)
Group Author: Donaldson, Alastair.; Parker, David, 1941 Oct. 18-
Published:

Electronic eBook

17

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

18

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

19

Cover is for reference only

Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers /

Corporate Authors: ICSOFT Conference Madrid, Spain
Group Author: Cabello, Enrique; Cardoso, Jorge, 1970; Maciaszek, Leszek; Sinderen, Marten J. van, 1958
Published: Springer,
Publication Dates: [2018]
Call Number: TP311.5-532/I614-1/2017

Book

20

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

Narrow Search