鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
D 3.0 S443 1999    
      Concepts of programming languages / Robert W. Sebesta Sebesta, Robert W.; 在架上   紙本資料 c1999
      Concepts of programming languages / Robert W. Sebesta Sebesta, Robert W.; 在架上   紙本資料 c1999
D 3.0 S443 2013 : Sebesta, Robert W; 資訊所圖書室; 紙本資料     
      Concepts of programming languages / Robert W. Sebesta Sebesta, Robert W; 在架上   紙本資料 2013
D 3.0 S471 1979 : International Symposium on Semantics of Concurrent Computation; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn International Symposium on Semantics of Concurrent Computation; 館內使用, 在架上   紙本資料 1979
D 3.0 S555 : 施威銘研究室; 資訊服務處圖書館, 資訊所圖書室 ; 紙本資料     
      最新 PHP + MySQL + AJAX 網頁程式設計 / 施威銘研究室著 施威銘研究室; 到期 10-22-21   紙本資料 2008
D 3.0 S791 : Stansifer, Ryan D; 資訊所圖書室; 紙本資料     
      ML primer / Ryan Stansifer Stansifer, Ryan D; 在架上   紙本資料 c1992
D 3.0 S797 1994 : International Static Analysis Symposium; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Static analysis : First International Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier, ed International Static Analysis Symposium; 在架上, 館內使用   紙本資料 1994
D 3.0 S797 1995 : International Static Analysis Symposium; 資訊所圖書室; 紙本資料     
      Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings / Alan Mycroft, ed International Static Analysis Symposium; 館內使用   紙本資料 c1995
D 3.0 S797 1996 : International Static Analysis Symposium; 資訊所圖書室; 紙本資料     
      Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt, eds International Static Analysis Symposium; 館內使用   紙本資料 c1996
D 3.0 S797 1997 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings / Pascal Van Hentenryck (Ed.) International Symposium on Static Analysis; 館內使用   紙本資料 c1997
D 3.0 S797 1998 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi (ed.) International Symposium on Static Analysis; 館內使用   紙本資料 c1998
D 3.0 S797 1999 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto File (eds.) International Symposium on Static Analysis; 館內使用   紙本資料 c1999
D 3.0 S797 2000 : International Static Analysis Symposium; 資訊所圖書室; 紙本資料     
      Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.) International Static Analysis Symposium; 館內使用   紙本資料 2000
D 3.0 S797 2001 : International Static Analysis Symposium; 資訊所圖書室; 紙本資料     
      Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.) International Static Analysis Symposium; 館內使用   紙本資料 2001
D 3.0 S797 2002 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla (eds.) International Symposium on Static Analysis; 館內使用   紙本資料 2002
D 3.0 S797 2003 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.) International Symposium on Static Analysis; 館內使用   紙本資料 2003
D 3.0 S797 2004 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.) International Symposium on Static Analysis; 館內使用   紙本資料 2004
D 3.0 S797 2005 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (ed.) International Symposium on Static Analysis; 館內使用   紙本資料 2005
D 3.0 S797 2006 : International Symposium on Static Analysis; 資訊所圖書室; 紙本資料     
      Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi (ed.) International Symposium on Static Analysis; 館內使用   紙本資料 2006
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; 到期 11-08-21   紙本資料 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
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next