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

1

Cover is for reference only

Computer communications systems：proceedings of the IFIP TC 6 First Iberian Conference on Data Communications, IBERICOM '87, Lisbon, Portugal, 19-21 May, 1987

Corporate Authors: IFIP TC 6 Iberian Conference on Data Communications (1st 1987 Lisbon, Portugal; International Federation for Information Processing. Technical Committee 6
Group Author: Cerveira Alexandre
Published: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science,
Publication Dates: 1988.
Call Number: TN919-53/I61.3/1987/

Book

2

Cover is for reference only

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006：IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile

Corporate Authors: IFIP International Conference on Theoretical Computer Science (4th 2006 Santiago, Chile; International Federation for Information Processing. Technical Committee 1; IFIP World Computer Congress 2006 Santiago, Chile)
Group Author: Kohayakawa Yoshiharu; Navarro Gonzalo 1969-; Bertossi Leopoldo
Published: Springer,
Publication Dates: c2006.
Call Number: TP3-532/I615-2/2006

Book

3

Cover is for reference only

Protocol test systems, VI：proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993

Corporate Authors: IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (6th 1993 Pau; International Federation for Information Processing. Technical Committee 6; IFIP Working Group 1.6
Group Author: Rafiq Omar 1947-
Published: North-Holland,
Publication Dates: 1994.
Call Number: TP393-532/I61.3/1993/

Book

4

Cover is for reference only

Formal description techniques, VIII：proceedings of the IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Corporate Authors: IFIP TC6 International Conference on Formal Description Techniques (8th 1995 Montréal, Québec); International Federation for Information Processing.; International Federation for Information Processing. Technical Committee 6.; IFIP Working Group 6.1.
Group Author: Bochmann Gregor von, 1941-; Dssouli R.; (Rachida); Rafiq Omar, 1947-
Published: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP),
Publication Dates: c1996.
Call Number: TP330.12-532/I61/1995/

Book

5

Cover is for reference only

Data communications in the ISDN era：proceedings of the IFIP TC6 First International Conference on Data Communications in the ISDN Era, Tel-Aviv, Israel, 4-5 March, 1985

Corporate Authors: International Conference on Data Communications in the ISDN Era (1st 1985 Tel Aviv, Israel); International Federation for Information Processing. Technical Committee 6.
Group Author: Perry Y.; (Yonadav)
Published: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1985.
Call Number: TN919-53/I61.2/1985/

Book

6

Cover is for reference only

Capacity building for IT in education in developing countries：IFIP TC3 WG3.1, 3.4 & 3.5 Working Conference on Capacity Building for IT in Education in Developing Countries : 19-25 August 1997, Harare, Zimbabwe

Corporate Authors: International Federation for Information Processing. Technical Committee 3; IFIP TC3 WG3.1, 3.4 & 3.5 Working Conference on Capacity Building for IT in Education in Developing Countries (1997 Harare, Zimbabwe)
Group Author: Ruohonen Mikko; Marshall Gail
Published: Chapman & Hall,
Publication Dates: 1998.
Call Number: G20-4/I61/1997

Book

7

Cover is for reference only

Temporal aspects in information systems：proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May 1987

Corporate Authors: IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems (1987 Sophia-Antipolis, France); International Federation for Information Processing. Technical Committee for Information Systems.; IFIP WG 8.1.
Group Author: Rolland Colette.; Bodart F.; Léonard M.; (Michel)
Published: North Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1988.
Call Number: TP14-53/I61.2/1987/

Book

8

Cover is for reference only

Testing of software and communicating systems：20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings

Corporate Authors: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (20th 2008 Tokyo, Japan); International Federation for Information Processing. Technical Committee 6.; FATES 2007 (2008 Tokyo, Japan); SpringerLink (Online service)
Group Author: Suzuki Kenji, Dr. Eng.
Published: Springer,
Publication Dates: c2008.

Book

9

Cover is for reference only

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006：IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile

Corporate Authors: IFIP International Conference on Theoretical Computer Science (4th 2006 Santiago, Chile); NetLibrary, Inc.; IFIP World Computer Congress 2006 Santiago, Chile) (Santiago, Chile)); International Federation for Information Processing. Technical Committee 1.
Group Author: Navarro Gonzalo, 1969-; Bertossi Leopoldo.; Kohayakawa Yoshiharu.
Published: Springer,
Publication Dates: c2006.

Book

10

Cover is for reference only

Testing of software and communicating systems：19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings

Corporate Authors: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th 2007 Tallinn, Estonia); FATES 2007 (2007 Tallinn, Estonia) (Tallinn, Estonia)); International Federation for Information Processing. Technical Committee 6.; SpringerLink (Online service)
Group Author: Petrenko Alexandre.
Published: Springer,
Publication Dates: c2007.

Book

Narrow Search