鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
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
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next