大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP311-53)(共19本)

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

0
索取号：TP311-532/E992/3
作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (3rd : 1990 : Madrid、 Spain)、Quemada、 Juan、 1953- .、Mañas、 José、 1956- .、Vázquez、 Enrique、 1960-、
出版社：Amsterdam : North-Holland, 1991.

Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland

0
索取号：TP311-53/E991/1990
作者：Glasgow Workshop on Functional Programming (1990 : Ullapool、 Scotland)、Peyton Jones、 Simon L.、 1958-、Hutton、 Graham、 1968-、Holst、 Carsten Kehler、 1962-、British Computer Society.、
出版社：London ; New York : Springer-Verlag, 1991.

Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings

0
索取号：TP311-532/E991/1991
作者：European Conference on Object-Oriented Programming (5th : 1991 : Geneva、 Switzerland)、Tokoro、 Mario、 1947-、Wegner、 Peter.、Nierstrasz、 Oscar Marius、 1957-、Wegner、 Peter.、
出版社：Berlin : Springer-Verlag, c1992.

Proceedings : 33rd International Conference on Technology of Object-Oriented Languages : TOOLS 33, June 5-8, 2000, Mont-Saint-Michel, France

0
索取号：TP311-532/E20021/33
作者：International Conference on Technology of Object-Oriented Languages (33rd : 2000 : Mont-Saint-Michel、 France)、Mitchell、 Richard.、France. Direction ǵЕńЕrale de l'armement.、Interactive Software Engineering、 Inc.、IEEE Computer Society.、Institut national de recherche en informatique et en automatique (France)、
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2000.

SE 90 : proceedings of software engineering 90, Brighton, July 1990

0
索取号：TP311-53/E992/1990
作者：
出版社：Cambridge ; New York : Cambridge University Press on behalf of the British Computer Society, 1990.

Survey of mathematical programming : proceedings of the 9th International Mathematical Programming Symposium, Budapest, August 23-27, 1976

0
索取号：TP311-53/E802
作者：International Mathematical Programming Symposium (9th : 1976 : Budapest)、Prekopa、 A. (Andras)、 1929-、
出版社：Budapest : Akademiai Kiado ; New York : North-Holland Pub. Co., 1979.

Programming methodology : a collection of articles by members of IFIP WG2.3

0
索取号：TP311-53/E801
作者：
出版社：New York : Springer-Verlag, 1978.

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

0
索取号：TP311-532/E20061/14
作者：LOPSTR 2004 (2004 : Verona、 Italy)、Etalle、 Sandro.、
出版社：Berlin ; New York : Springer, c2005.

Object-oriented technology : ECOOP 2003 workshop reader : ECOOP 2003 workshops, Darmstadt, Germany, July 21-25, 2003 : final reports

0
索取号：TP311-532/E991/2003
作者：European Conference on Object-Oriented Programming (ECOOP 2003) (17th : 2003 : Darmstadt、 Germany)、Buschmann、 Frank.、Buchmann、 Alejandro P.、Cilia、 Mariano A.、
出版社：Berlin ; New York : Springer, c2004.

ECOOP 2004 - object-oriented programming : 18th European conference, Oslo, Norway,June 14-18, 2004 : proceedings

0
索取号：TP311-532/E991/2004
作者：ECOOP 2004 (2004 : Oslo、 Norway)、Odersky、 Martin.、
出版社：Berlin ; New York : Springer, c2004.

Programming microprocessors for industrial measurement and control : 29-30 Apr., 1980 at the London Press Centre, London : documentation

0
索取号：TP311-53/E901/1980
作者：
出版社：Chislehurst, Kent : Sira Institute Ltd., c1980.

ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings

0
索取号：TP311-532/E901/2
作者：European Software Engineering Conference (2nd : 1989 : University of Warwick)、Ghezzi、 Carlo.、McDermid、 John A. (John Alexander)、
出版社：Berlin : Springer-Verlag, c1989.

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

0
索取号：TP311-532/E993/4
作者：International Conference on Algebraic Methodology and Software Technology (4th : 1995 : Montréal、 Québec)、Alagar、 Vangalur S.、 1940-、Nivat、 M.、
出版社：Berlin : Springer-Verlag, c1995.

ECOOP'99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June 1999 : proceedings

0
索取号：TP311-532/E991/1999
作者：European Conference on Object-Oriented Programming (13th : 1999 : Lisbon、 Portugal)、Guerraoui、 Rachid.、
出版社：New York : Springer, 1999.

Formal description techniquesand protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, andVerification (PSTV XVIII) : 3-6 November 1998, Paris, France

0
索取号：TP311-532/E996/1998
作者：IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification、Testing、 and Verification (1998 : Paris、 France)、Cavalli、 Ana.、Budkowski、 Stan.、Najm、 Elie.、IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris、 France)、IFIP WG 6.1 International Symposium on Protocol Specification、 Testing、and Verification (18th : 1998 : Pari、
出版社：Boston : Kluwer Academic Publishers, 1998.

Object-oriented technology : ECOOP'98 workshop reader : ECOOP'98 workshops, demos, and posters : Brussels, Belgium, July 20-24, 1998 : proceedings

0
索取号：TP311-532/E991/1998
作者：
出版社：Berlin : New York : Springer, 1998.