鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
D 3.0 S797 2007 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.) International Symposium on Static Analysis; 館內使用   紙本資料 2007
D 3.0 S797 2008 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings / Maria Alpuente, German Vidal (eds.) International Symposium on Static Analysis; 館內使用   紙本資料 2008
D 3.0 T655 : Tomasello, Michael; 歐美所圖書館, 人文社會聯圖 ; 紙本資料     
      Origins of human communication / Michael Tomasello Tomasello, Michael; 在架上   紙本資料 c2008
D 3.0 T784 : Trefry, Gregory; 資訊所圖書室; 紙本資料     
      Casual game design : designing play for the gamer in all of us / Gregory Trefry Trefry, Gregory; 在架上   紙本資料 c2010
D 3.0 T891 : Tucker, Allen B; 資訊所圖書室; 紙本資料     
      Programming languages / Allen B. Tucker, Jr Tucker, Allen B; 在架上   紙本資料 c1977
D 3.0 U415 : Ullman, Jeffrey D.,; 資訊所圖書室; 紙本資料     
      Elements of ML programming / Jeffrey D. Ullman Ullman, Jeffrey D.,; 在架上   紙本資料 c1994
D 3.0 W7495 : Wilson, Leslie B; 資訊所圖書室; 紙本資料     
      Comparative programming languages / Leslie B. Wilson, Robert G. Clark ; [illustrations by Chartwell Illustrators] Wilson, Leslie B; 在架上   紙本資料 c1988
D 3.0 W783 1984 : Winston, Patrick Henry; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      LISP / Patrick Henry Winston, Berthold Klaus Paul Horn Winston, Patrick Henry; 在架上   紙本資料 c1984
D 3.1 A139 : Abelson, Harold; 資訊所圖書室; 紙本資料     
      Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis Abelson, Harold; 到期 01-03-22   紙本資料 c1985
D 3.1 A8855 1990 : International Conference on Attribute Grammars and their Applications; 資訊所圖書室; 紙本資料     
      Artibute grammars and their applications : international conference WAGA, Paris, France, September 19-20, 1990 : proceedings / P. Deransart, M. Joudan, eds. International Conference on Attribute Grammars and their Applications; 館內使用   紙本資料 c1990
D 3.1 B126 : Backhouse, Roland C.,; 資訊所圖書室; 紙本資料     
      Syntax of programming languages : theory and practice / Roland C. Backhouse Backhouse, Roland C.,; 在架上   紙本資料 c1979
D 3.1 B648 : Blikle, Andrzej; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle Blikle, Andrzej; 在架上   紙本資料 c1987
D 3.1 C357 1986 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.] 在架上, 館內使用   紙本資料 c1986
D 3.1 C357 1987 : 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.) 館內使用, 在架上   紙本資料 c1987
D 3.1 C357 1989 : 資訊服務處圖書館, 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt ... [et al.] (ed.) 館內使用, 在架上   紙本資料 c1989
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
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next