同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Programming languages )
該当件数:323件
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand
: hbk. - 3rd ed. - Cambridge, Mass. : MIT Press , c2008
図書 <BB12852624>
Foundations for programming languages / John C. Mitchell
Cambridge, Mass. : MIT Press , c1996. - (MIT Press series in the foundations of computing)
図書 <BB13065547>
ACM Conference on Programming Language, Design and Implementation
Trade Paper. - New York : Association for Computing Machinery , Oct. 1988. - (Sigplan Notices Ser ; Vol. 23, No. 7)
電子書籍 <OB00744399>
Annual Symposium on Principles of Programming Languages. No. 15
Trade Paper. - New York : Association for Computing Machinery , Oct. 1988
電子書籍 <OB00744688>
POPL 92 : 19th ACM Symposium on Principles of Programming Languages
Trade Paper. - New York : Association for Computing Machinery , Oct. 1992
電子書籍 <OB00746642>
POPL 94 : 1st ACM Symposium on Principles of Programming Languages
Trade Paper. - New York : Association for Computing Machinery , Oct. 1994
電子書籍 <OB00746644>
POPL 96 : 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Trade Paper. - New York : Association for Computing Machinery , Oct. 1996
電子書籍 <OB00746646>
POPL 98 : Annual Symposium on Principles of Programming Languages
Trade Cloth. - New York : Association for Computing Machinery , Jan. 1998
電子書籍 <OB00746648>
Pldi 12 Proceedings of the 2012 Acm Sigplan Conference on Programming Language Design and Implementation
Trade Paper. - New York : Association for Computing Machinery , Jan. 2013
電子書籍 <OB00748127>
Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP'00: Florence, Italy, September 5-7, 2001
Trade Cloth. - Ottawa : Association of Canadian Map Libraries & Archives , Jan. 2001
電子書籍 <OB00747129>
Proceedings of the SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983
Trade Paper. - New York : Association for Computing Machinery , Oct. 1983. - (Sigplan Notices Ser ; Vol. 18, No. 6)
電子書籍 <OB00750673>
Programming Language Design and Implementation : ACM SIGPLAN 1990 Conference Proceedings: Held in White Plains, NY, June 20-22, 1990
Trade Paper. - New York : Association for Computing Machinery , June 1990. - (Sigplan Notices Ser ; Vol. 25, No. 6)
電子書籍 <OB00751117>
SIGPLAN 93 : 6th Conference on Programming Language, Design and Implementation
Trade Paper. - New York : Association for Computing Machinery , Oct. 1993
電子書籍 <OB00751522>
SIGPLAN 94 : 7th Conference on Programming Language, Design and Implementation
電子書籍 <OB00751523>
SIGPLAN 98 : Conference on Programming Language Design
Trade Cloth. - New York : Association for Computing Machinery , Oct. 1998
電子書籍 <OB00751527>
Sixteenth Annual ACM Symposium on Principles of Programming Languages
Trade Paper. - New York : Association for Computing Machinery , Jan. 1989
電子書籍 <OB00751567>
TRI-ADA, 93 : Industry, Academia and Government Conference
電子書籍 <OB00751750>
Computer languages
Oxford ; New York : Pergamon Press
電子ジャーナル <OJ00012562>
Foundations of object-oriented languages : types and semantics / Kim B. Bruce
: hc. - Cambridge, Mass. ; London : MIT Press , c2002
図書 <BB00543701>
Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo
Cambridge, Mass. : MIT Press , c1991. - (Foundations of computing)
図書 <BB00162395>
Programming linguistics / David Gelernter and Suresh Jagannathan
Cambridge, Mass. : MIT Press , c1990
図書 <BB00135194>
Formal language description languages for computer programming : proceedings / edited by T.B. Steel, Jr
Amsterdam : North-Holland , 1966
図書 <BB00259600>
1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971 / Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul
: gw,: us. - Berlin ; New York : Springer-Verlag , 1972. - (Lecture notes in economics and mathematical systems ; 75). - (Bericht (Gesellschaft für Informatik) ; Nr. 3)
図書 <BB00196280>
Symbol manipulation languages and techniques : proceedings of the IFIP Working Conference on Symbol Manipulation Languages / edited by Daniel G. Bobrow
Amsterdam : North-Holland , 1968
図書 <BB00104449>
Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. Stoy
: hdk,: pbk. - First pbk. ed. - Cambridge, Mass. : MIT Press , 1981, c1977. - (MIT Press series in computer science ; 1)
図書 <BB00035009>
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury, with contributions by James Pustejovsky
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1988. - (Texts and monographs in computer science ; . The AKM series in theoretical computer science)
図書 <BB00076399>
Digital simulation of continuous systems / [by] Yaohan Chu with the collaboration of Frederick J. Sansom and Harry E. Petersen
New York : McGraw-Hill , c1969
図書 <BB00045587>
Practical foundations for programming languages / Robert Harper
Cambridge : Cambridge University Press , 2013
図書 <BB12629130>
Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium : January 11-13, 2006, Charleston, South Carolina, USA
print. - New York : ACM , 2006
電子書籍 <OB00745065>
Conference record of the Fourteenth Annual ACM Symposium on Principles of Programing Languages : papers presented at the symposium, Munich, West Germany 21- 23 January 1987 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN), Gesellschaft für Informatik
pbk.. - New York, N.Y. : The Association. - Baltimore, MD : ACM Order Dept. [distributor] , c1987
電子書籍 <OB00745070>
Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
pbk.. - New York, N.Y. : ACM. - Baltimore, MD : May be ordered from ACM Order Dept. , c1982
電子書籍 <OB00745071>
Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
pbk.. - New York, N.Y. : ACM. - Baltimore, MD : May be ordered from ACM Order Dept. , c1980
電子書籍 <OB00745072>
DCP'12 : proceedings of the 2012 ACM Workshop on Developing Competency in Parallelism: Techniques for Education and Training : October 22, 2012, Tucson, Arizona, USA / sponsored by ACM SIGPLAN
print. - New York : ACM , 2012
電子書籍 <OB00745158>
DLS '14 : proceedings of the 10th Symposium on Dynamic Languages : October 20-24, 2014, Portland, Oregon, USA / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGAda
print. - New York : ACM , 2014
電子書籍 <OB00745221>
DLS'12 : proceedings of the 8th ACM Symposium on Dynamic Languages : October 21-25, 2012, Tucson, Arizona, USA / sponsored by ACM SIGPLAN
電子書籍 <OB00745223>
PLDI '08 : proceedings of the 2008 SIGPLAN Conference on Programming Language Design & Implementation : Tucson, Arizona, USA, June 7-13, 2008 / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
print. - New York : ACM , 2008
電子書籍 <OB00746579>
PLDI '13 : proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation : June 16-19, 2013, Seattle, Washington, USA / sponsored by ACM SIGPLAN
print. - New York : ACM , 2013
電子書籍 <OB00746580>
PLDI '15 : proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation : June 13-17, 2015, Portland, OR, USA / edited by David Grove and Steve Blackburn ; sponsored by ACM SIGPLAN
print. - New York : ACM , 2015
電子書籍 <OB00746582>
PLDI 2006 : proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation : June 10-16, 2006, Ottawa, Ontario, Canada / sponsored byACM SIGPLAN, in cooperation with ACM SIGSOFT
電子書籍 <OB00746583>
PLDI'10 : proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation : June 5-10, 2010, Toronto, Ontario, Canada / edited by Ben Zorn, Alex Aiken ; sponsor ACM SIGPLAN ; in cooperation ACM SIGSOFT
print. - New York : ACM , 2010
電子書籍 <OB00746584>
POPL '14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 22-24, 2014, San Diego, California, USA / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00746640>
Proceedings of the 2007 Symposium on Dynamic Languages / program chairs Pascal Costanza, Robert Hirschfeld ; sponsors SIGPLAN ACM Special Interest Group on Programming Languages, ACM Association for Computing Machinery
print. - New York : ACM , 2007
電子書籍 <OB00747963>
Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation / chairmen Barbara G. Ryder, Benjamin G. Zorn ; sponsors ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Software Engineering
print. - New York : ACM , 1999
電子書籍 <OB00749752>
Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation / chairman Monica Lam ; sponsor ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Software Engineering
print. - New York : ACM , 2000
電子書籍 <OB00749753>
Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation / chairmen Michael Burke, Mary Lou Soffa ; sponsor ACM Special Interest Group on Programming Languages
print. - New York : ACM , 2001
電子書籍 <OB00749754>
Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation / general chair Jens Knoop ; program chair Laurie J. Hendren ; sponsor ACM Special Interest Group on Programming Languages
print. - New York : ACM , 2002
電子書籍 <OB00749755>
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation / general chair Ron Cytron ; program chair Rajiv Gupta ; sponsors ACM Special Interest Group on Programming Languages, Association for Computing Machinery
print. - New York : ACM , 2003
電子書籍 <OB00749756>
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation : (PLDI'04) : Washington, DC, USA June 9-11, 2004 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages
print. - New York : ACM , 2004
電子書籍 <OB00749758>
Proceedings of the eleventh Workshop on Language Descriptions, Tools and Applications / program chairs Claus Brabrand, Eric Van Wyk ; sponsor University of Minnesota Software Engineering Center, in-cooperation ACM Special Interest Group on Programming Languages
print. - New York : ACM , 2011
電子書籍 <OB00749969>
Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / conference chairs John White, Richard Lipton ; program chair Patricia C. Goldberg ; sponsor ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages
print. - New York : ACM , 1981
電子書籍 <OB00747472>