大拱桥--暨南大学学生门户 » 图书馆 » (分类号：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.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院