同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 005.13)
該当件数:63件
A course in generalized phrase structure grammar / Paul Bennett
London : UCL Press , 1995. - (Studies in computational linguistics / series editor, Harold Somers)
図書 <BB00297679>
Introduction to algorithms / Thomas H. Cormen ... [et al.]
4th ed. - Cambridge, Mass : MIT Press , c2022
図書 <BB13194578>
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>
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>
XQuery from the experts : a guide to the W3C XML query language / Howard Katz, editor ; [authors] Don Chamberlin ... [et al.]
Boston ; Tokyo : Addison-Wesley , c2004
図書 <BB10212551>
Practical foundations for programming languages / Robert Harper
Cambridge : Cambridge University Press , 2013
図書 <BB12629130>
SPLASH companion '17 : proceedings companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity : October 22-27, 2017, Vancouver, BC, Canada / edited by Gail Murphy ; sponsored by ACM SIGPLAN
New York : ACM , 2017
電子書籍 <OB00824877>
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.)
softcover : alk. paper. - Berlin ; New York : Springer , 2003. - (Lecture notes in computer science ; 2694)
電子書籍 <OB00834476>
FPCA '89 : the Fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, September 11-13, 1989 / sponsored by the Association for Computing Machinery's Special Interest Group on Programming Languages [and] Special Interest Group on Computer Architecture, and the International Federation for Information Processing
Addison-Wesley. - New York, N.Y. : ACM Press. - Reading, MA : Nonmembers order from Addison-Wesley Pub. Co., Order Dept. , c1989
電子書籍 <OB00745480>
FPCA '93, Conference on Functional Programming Languages and Computer Architecture : Copenhagen, Denmark, 9-11 June 1993 / sponsored by ACM SIGPLAN/SIGARCH in cooperation with the MIT Laboratory for Computer Science, DIKU (Department of Computer Science, University of Copenhagen), and IFIP Working Group 2.8
New York : ACM Press , 1993
電子書籍 <OB00745481>
MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia / A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
pbk.. - New York, NY : Association for Computing Machinery , c2005
電子書籍 <OB00746154>
Conference record : ACM SIGPLAN ASIA-PEPM 2002, the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, papers presented at the symposium, Aizu, Japan, September 12-14, 2002 / sponsored by ACM Special Interest Group on Programming Languages (SIGPLAN) ; supported by the University of Aizu
New York, N.Y. : ACM Press , 2002
電子書籍 <OB00745061>
Conference record of POPL '00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Boston, Massachusetts, 19-21 January 2000 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computational Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
New York, N.Y. : The Association , c2000
電子書籍 <OB00745062>
Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, January 12-14, 2005, Long Beach, California, USA / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
New York : Association for Computing Machinery , c2005. - (ACM SIGPLAN notices ISSN:0362-1340 ; v. 40, no. 1)
電子書籍 <OB00745064>
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>
PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN
pbk.,pbk.. - New York, N.Y. : Association for Computing Machinery , c2009
電子書籍 <OB00746592>
PPDP '09 : proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 2009 Coimbra, Portugal / sponsored by ACM SIGPLAN ; supported by FCT, Universidade de Coimbra, CISUC, CMUC, LIACC, and Universidade do Porto
pbk.,pbk.. - New York, NY : Association for Computing Machinery , c2009
電子書籍 <OB00746655>
Proceedings of the ACM Sigplan '91 Conference on Programming Language Design and Implementation, Toronto, Ontario, Canada, June 26-28, 1991
Trade Cloth. - New York : Association for Computing Machinery , Jan. 1991. - (Sigplan Notices Ser)
電子書籍 <OB00749750>
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 : Amsterdam, The Netherlands, June 12-13, 1997
New York, N.Y. : ACM Press , c1997. - (ACM SIGPLAN notices ; v. 32, no. 12, December 1997)
電子書籍 <OB00749767>
Proceedings of the TLDI '03 : 2003 ACM SIGPLAN International Workshop on Types in Languages Design And Implementation : papers presented at the workshop, New Orleans, Louisiana, USA January 18th, 2003 / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
New York : Association for Computing Machinery , 2003
電子書籍 <OB00750919>
Proceedings of the TLDI '05 : 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the workshop, Long Beach, California, USA, January 10th, 2005 / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
New York : Association for Computing Machinery , 2005
電子書籍 <OB00750920>
SIGAda'08 : proceedings of the 2008 ACM SIGAda Annual International Conference : Portland, Oregon, USA, October 26-30, 2008 / sponsored by ACM SIGAda
New York, N.Y. : Association for Computing Machinery , c2008
電子書籍 <OB00751313>
SIGPLAN 92 : 5th Conference on Programming Language, Design and Implementation
Trade Paper. - New York : Association for Computing Machinery , Oct. 1992
電子書籍 <OB00751521>
PLDI '16 : proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation : June 13-17, 2016, Santa Barbara, CA, USA / edited by Chandra Krintz and Emery Berger ; sponsored by ACM SIGPLAN
New York : ACM , 2016
電子書籍 <OB00764388>
POPL '16 : proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA / edited by Rastislav Bodik and Rupak Majumdar ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT
電子書籍 <OB00764394>
POPL '17 : proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France / edited by Giuseppe Castagna and Andrew D. Gordon
電子書籍 <OB00764395>
REBLS '16 : proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems : November 1, 2016, Amsterdam, Netherlands / edited by Guido Salvaneschi [and three others] ; sponsored by ACM SIGPLAN
電子書籍 <OB00764428>
REBLS '17 : proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems : October 23, 2017, Vancouver, BC, Canada / edited by Guido Salvaneschi [and three others] ; sponsored by ACM SIGPLAN
電子書籍 <OB00764429>
SOAP '16 : proceedings of the 5th ACM SIGPLAN International Workshop on State of the Art in Program Analysis : June 14, 2016, Santa Barbara, CA, USA / edited by Charles Zhang, Xavier Rival ; sponsored by ACM SIGPLAN
電子書籍 <OB00764454>
Onward! '15 : proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software : October 25-30, 2015, Pittsburgh, PA, USA / edited by Gail C. Murphy and Guy L. Steele Jr. ; sponsored by ACM SIGPLAN
New York : ACM , 2015
電子書籍 <OB00764496>
SBLP 2017 : proceedings of the 21st Brazilian Symposium on Programming Languages : 2017, Fortaleza, Brazil / program chair, Fabio Mascarenhas ; sponsors, Google
電子書籍 <OB00764539>
SPLASH companion '15 : companion proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity : October 25-30, 2015, Pittsburgh, PA, USA / edited by Jonathan Aldrich and Patrick Eugster ; sponsored by ACM SIGPLAN
電子書籍 <OB00764732>
SPLASH companion '16 : companion proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity : October 30-November 4, 2016, Amsterdam, Netherlands / edited by Eelco Visser ; sponsored by ACM SIGPLAN
電子書籍 <OB00764733>
First workshop on Programming Models and Languages for Distributed Computing
電子書籍 <OB00764889>
ManLang, formerly PPPJ : proceedings of the 14th International Conference on Managed Languages & Runtimes : Prague, Czech Republic, September 27-29, 2017 / in cooperation with ACM SIGAPP, ACM SIGPLAN, Spec Research
電子書籍 <OB00765127>
Onward! '16 : proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software : November 2-4, 2016, Amsterdam, Netherlands / edited by Eelco Visser, Emerson Murphy-Hill, and Crista Lopes ; sponsored by ACM SIGPLAN
電子書籍 <OB00765224>
Onward! '17 : proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software : October 25-27, 2017, Vancouver, BC, Canada / edited by Emina Torlak, Tijs van der Storm, and Robert Biddle : sponsored by ACM SIGPLAN
電子書籍 <OB00765225>
Papers of the fourth International Conference on LISP Users and Vendors / co-chair, Jon L. White ; sponsor, SIGPLAN
New York : ACM , 1995
電子書籍 <OB00765229>
PLATEAU '15 : proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools : October 26, 2015, Pittsburgh, PA, USA / edited by Thomas LaToza, Craig Anslow, and Joshua Sunshine ; sponsored by ACM SIGPLAN
電子書籍 <OB00765251>
PLATEAU '16 : proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools : November 1, 2016, Amsterdam, Netherlands / edited by Craig Anslow, Thomas LaToza, and Joshua Sunshine ; sponsored by ACM SIGPLAN
電子書籍 <OB00765252>
PLOS '15 : proceedings of the 8th Workshop on Programming Languages and Operating Systems : 2015, Monterey, California, USA / conference organizers, Chris Hawblitzel, Gilles Muller, Olaf Spinczyk
電子書籍 <OB00765253>
PLOS '17 : proceedings of the 9th Workshop on Programming Languages and Operating Systems : 2017, Shanghai, China / program chair, Julia Lawall
電子書籍 <OB00765254>
Proceedings of the 1st Industry Track on Software Language Engineering / general chairs, Yanja Dajsuren, Peter Kourzanov
電子書籍 <OB00765318>
Proceedings of the 2nd International Workshop on Real World Domain Specific Languages / program chairs, Robert Stewart, Greg Michaelson
電子書籍 <OB00765350>
Proceedings of the 9th European Lisp Symposium : AGH University of Science and Technology, Kraków, Poland, May 9-10, 2016 / in-cooperation, SIGPLAN
Kraków, Poland : European Lisp Scientific Activities Association , 2016
電子書籍 <OB00765377>
Proceedings of the 11th Symposium on Dynamic Languages / program chair, Manuel Serrano
電子書籍 <OB00765430>
Proceedings of the 12th Symposium on Dynamic Languages / program chair, Roberto Ierusalimschy
電子書籍 <OB00765459>
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages / program chair, Davide Ancona
電子書籍 <OB00765468>
IFL 2014 : proceedings of the 26nd Symposium on Implementation and Application of Functional Languages / Sam Tobin-Hochstadt (editor)
New York : ACM , 2014
電子書籍 <OB00765630>
SugarLoafPLoP 2010 : conference proceedings of the 8th Latin American Conference on Pattern Languages of Programming : September 23rd-27th, 2010, Salvador, BA, Brazil / in cooperation with ACM
New York : ACM , 2010
電子書籍 <OB00765827>