|
|
|
|
D 3.1 C357 1991 :
資訊所圖書室, 數學所圖書室
; 
|
|
|
|
Category theory and computer science : Paris, France, September 3-6, 1991, proceedings / D.H. Pitt ... [et al.] (eds.)
館內使用, 在架上
|
|
c1991
|
|
|
D 3.1 C357 1995 : 資訊所圖書室;
|
|
|
|
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds
館內使用
|
|
c1995
|
|
|
D 3.1 C357 1997 : Biennial Conference on Category Theory and Computer Science;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (Eds.)
Biennial Conference on Category Theory and Computer Science;
館內使用, 在架上
|
|
c1997
|
|
|
D 3.1 D232 : 資訊所圖書室;
|
|
|
|
Data types and persistence / edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison
在架上
|
|
c1988
|
|
|
D 3.1 D232 1976 : Conference on Data: Abstraction, Definition and Structure;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Proceedings of Conference on Data : Abstraction, Definition and Structure, March 22-24, 1976, Salt Lake City, Utah / by SIGPLAN, SIGMOD and ACM.
Conference on Data: Abstraction, Definition and Structure;
在架上, 館內使用
|
|
1976
|
|
|
D 3.1 D427 : Deransart, Pierre;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho
Deransart, Pierre;
在架上
|
|
|
|
|
D 3.1 E57 : Engelfriet, Joost;
數學所圖書室, 資訊所圖書室, 經濟所圖書館
;
|
|
|
|
Simple program schemes and formal languages / Joost Engelfriet
Engelfriet, Joost;
在架上
|
|
1974
|
|
|
D 3.1 F7235 1964 : IFIP Working Conference on Formal Language Description Languages; 資訊所圖書室;
|
|
|
|
Formal language description languages for computer programming; proceedings. Edited by T.B. Steel, Jr
IFIP Working Conference on Formal Language Description Languages;
館內使用
|
|
1966
|
|
|
D 3.1 F7235 2 1977 : IFIP Working Conference on Formal Description of Programming Concepts; 資訊所圖書室;
|
|
|
|
Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 / ed. by Erich J. Neuhold
IFIP Working Conference on Formal Description of Programming Concepts;
館內使用
|
|
1978
|
|
|
D 3.1 F7235 2 1982 : IFIP Working Conference on Formal Description of Programming Concepts; 資訊所圖書室;
|
|
|
|
Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 / edited by Dines Bjørner
IFIP Working Conference on Formal Description of Programming Concepts;
館內使用
|
|
1983
|
|
|
D 3.1 F7235 2 1986 : IFIP Working Conference on Formal Description of Programming Concepts; 資訊所圖書室;
|
|
|
|
Formal description of programming concepts-III / edited by Martin Wirsing
IFIP Working Conference on Formal Description of Programming Concepts;
館內使用
|
|
1987
|
|
|
D 3.1 F7237 1981 :
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
館內使用, 在架上
|
|
1981
|
|
|
D 3.1 F771 1986 : Workshop on Foundations of Logic and Functional Programming; 資訊所圖書室;
|
|
|
|
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
Workshop on Foundations of Logic and Functional Programming;
館內使用
|
|
c1988
|
|
|
D 3.1 G6287 1984 : Golson, William Guyre; 資訊所圖書室;
|
|
|
|
Denotational models based on synchronously communicating processes / William Guyre Golson
Golson, William Guyre;
在架上
|
|
c1984
|
|
|
D 3.1 G664 : Gordon, Michael J. C.,;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
The denotational description of programming languages : an introduction / Michael J. C. Gordon
Gordon, Michael J. C.,;
在架上
|
|
c1979
|
|
|
D 3.1 G848
|
|
|
|
The science of programming / David Gries
Gries, David,;
在架上
|
|
c1981
|
|
The science of programming / David Gries
Gries, David,;
在架上
|
|
c1981
|
|
|
D 3.1 H236 :
資訊所圖書室, 歐美所圖書館, 人文社會聯圖
;
|
|
|
|
Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen
在架上
|
|
1997
|
|
|
D 3.1 H679 : Hoare, C. A. R.;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985 / by C.A.R. Hoare
Hoare, C. A. R.;
在架上
|
|
1986
|
|
|
D 3.1 J12 : Jackendoff, Ray S.;
人文社會聯圖, 資訊所圖書室, 歐美所圖書館
;
|
|
|
|
Semantic interpretation in generative grammar / [by] Ray S. Jackendoff
Jackendoff, Ray S.;
在架上
|
|
1972
|
|
|
D 3.1 J78 : Jones, Neil D;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick
Jones, Neil D;
在架上
|
|
1978
|
|
|
D 3.1 L752 : Lindsey, C. H; 資訊所圖書室;
|
|
|
|
Informal introduction to ALGOL 68 / C. H. Lindsey, S. G. van der Meulen
Lindsey, C. H;
在架上
|
|
1977
|
|
|
D 3.1 M2673 : Manes, Ernest G.,;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Algebraic approaches to program semantics / Ernest G. Manes, Michael A. Arbib
Manes, Ernest G.,;
在架上
|
|
c1986
|
|
|
D 3.1 M281 : Manna, Zohar;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
The logical basis for computer programming / Zohar Manna, Richard Waldinger
Manna, Zohar;
在架上
|
|
c1990
|
|
|
D 3.1 M426 1986
|
|
|
|
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton
在架上, 館內使用
|
|
c1986
|
|
Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1, 1986 : proceedings / Marisa Venturini Zilli (ed.)
在架上, 館內使用
|
|
c1987
|
|
|
D 3.1 M426 1987 :
經濟所圖書館, 資訊所圖書室, 數學所圖書室
;
|
|
|
|
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
在架上, 館內使用
|
|
c1988
|
|
|
D 3.1 M426 1989 :
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings / M. Main ... [et al.], eds
館內使用, 在架上
|
|
c1990
|
|
|
D 3.1 M426 1991 :
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
館內使用, 遺失
|
|
c1992
|
|
|
D 3.1 M426 1993 : International Conference on the Mathematical Foundations of Programming Semantics;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], eds
International Conference on the Mathematical Foundations of Programming Semantics;
在架上, 館內使用
|
|
c1994
|
|
|
D 3.1 M659
|
|
|
|
A theory of programming language semantics / Robert Milne and Christopher Strachey
Milne, Robert,;
在架上
|
|
1976
|
|
A theory of programming language semantics / Robert Milne and Christopher Strachey
Milne, Robert,;
在架上
|
|
1976
|
|
|
D 3.1 M9115 1988 : Moshier, Michael Andrew; 資訊所圖書室;
|
|
|
|
Extensions to uniflcation grammar for the description of programming languages / Michael Andrew Moshier
Moshier, Michael Andrew;
在架上
|
|
1988
|
|
|
D 3.1 M9612 1986 : Mulmuley, Ketan; 資訊所圖書室;
|
|
|
|
Full abstraction and semantic equivalence / Ketan Mulmuley
Mulmuley, Ketan;
在架上
|
|
c1987
|
|
|
D 3.1 N218 1982 : Narayana, K. T; 資訊所圖書室;
|
|
|
|
Semantics of a synchronous parallel programming language / K. T. Narayana
Narayana, K. T;
在架上
|
|
1982
|
|
|
D 3.1 N669 : Nielson, Hanne Riis; 資訊所圖書室;
|
|
|
|
Semantics with applications : a formal introduction / Hanne Riis Nielson and Flemming Nielson
Nielson, Hanne Riis;
在架上
|
|
c1992
|
|
|
D 3.1 N832 : Nordström, Bengt;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Programming in Martin-Löf's type theory : an introduction / Bengt Nordström, Kent Petersson, and Jan M. Smith
Nordström, Bengt;
在架上
|
|
1990
|
|
|
D 3.1 O26 : O'Donnell, Michael J.,; 資訊所圖書室;
|
|
|
|
Equational logic as a programming language / Michael J. O'Donnell
O'Donnell, Michael J.,;
在架上
|
|
c1985
|
|
|
D 3.1 O45 1982 : Oles, Frank Joseph; 資訊所圖書室;
|
|
|
|
A Category-theoretic approach to the semantics of programming languages / Frank Joseph Oles
Oles, Frank Joseph;
在架上
|
|
c1982
|
|
|
D 3.1 O51 : Ollongren, Alexander;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Definition of programming languages by interpreting automata / Alexander Ollongren
Ollongren, Alexander;
在架上
|
|
1974
|
|
|
D 3.1 P128 : Pagan, Frank G; 資訊所圖書室;
|
|
|
|
Formal specification of programming languages : a panoramic primer / Frank G. Pagan
Pagan, Frank G;
在架上
|
|
c1981
|
|
|
D 3.1 P499 : Pettersson, Mikael; 資訊所圖書室;
|
|
|
|
Compiling Natural Semantics / Mikael Pettersson
Pettersson, Mikael;
在架上
|
|
c1999
|
|
|
D 3.1 P9645 : Bekic, H.;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Programming languages and their definition / H. Bekic ; selected papers edited by C.B. Jones
Bekic, H.;
在架上
|
|
1984
|
|
|
D 3.1 P9645 1981 : 資訊所圖書室;
|
|
|
|
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup
館內使用, 在架上
|
|
1982
|
|
|
D 3.1 P9645 1985 : 資訊所圖書室;
|
|
|
|
Programs as data objects : proceedings of a workshop, Copenhagen, Demark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones
館內使用
|
|
c1986
|
|
|
D 3.1 P9645 1988 : International Workshop on Programming Languages Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Programming languages implementation and logic programming : proceedings : International Workshop PLILP '88, Orleans, France, May 16-18, 1988 / P. Deransart, B. Lorho, J. Maluszynski (eds.)
International Workshop on Programming Languages Implementation and Logic Programming;
館內使用, 在架上
|
|
c1989
|
|
|
D 3.1 P9645 1990 : International Workshop on Programming Language Implementation and Logic Programming;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Programming language implementation and logic programming : proceedings / International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 ; P. Deransart, J. Małuszyński, (eds.)
International Workshop on Programming Language Implementation and Logic Programming;
館內使用, 在架上
|
|
c1990
|
|
|
D 3.1 P9645 1991 : International Symposium on Programming Language Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, eds
International Symposium on Programming Language Implementation and Logic Programming;
館內使用, 在架上
|
|
c1991
|
|
|
D 3.1 P9645 1992 : International Symposium on Programming Language Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1-92 : proceedings / M. Bruynooghe, M. Wirsing (eds.)
International Symposium on Programming Language Implementation and Logic Programming;
館內使用, 在架上
|
|
c1992
|
|
|
D 3.1 P9645 1993 : International Symposium on Programming Language Implementation and Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
|
|
|
Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam (eds.)
International Symposium on Programming Language Implementation and Logic Programming;
館內使用, 在架上
|
|
c1993
|
|
|
D 3.1 P9645 1994 : PLILP '94;
數學所圖書室, 資訊所圖書室
;
|
|
|
|
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds
PLILP '94;
在架上, 館內使用
|
|
c1994
|
|
|
D 3.1 P9645 1995 : International Symposium on Programming Languages : Implementations, Logics and Programs; 資訊所圖書室;
|
|
|
|
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra (eds.)
International Symposium on Programming Languages : Implementations, Logics and Programs;
館內使用
|
|
c1995
|
|
|
D 3.1 P9645 1996 : International Symposium on Programming Languages, Implementations, Logics, and Programs; 資訊所圖書室;
|
|
|
|
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert R. Kuchen, S. Doaitse Swierstra, eds
International Symposium on Programming Languages, Implementations, Logics, and Programs;
館內使用
|
|
c1996
|
|
|
