同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Computer programming)
該当件数:245件
Concepts, techniques, and models of computer programming / by Peter Van Roy, Seif Haridi
Cambridge, Mass. : MIT Press , c2004
図書 <BB12609220>
The evolution of programs / Nachum Dershowitz
pbk.. - Boston : Birkhäuser , 1983. - (Progress in computer science ; no. 5)
電子書籍 <OB00847339>
O Programming Historian em Portugu��s
Rio de Janeiro, Brazil : IBICT/UFR , 2014-
電子ジャーナル <OJ00224441>
Introduction to algorithms / Thomas H. Cormen ... [et al.]
MIT Press,McGraw-Hill,: pbk : MIT Press. - 2nd ed. - Cambridge, Mass. : MIT Press. - Boston ; New York : McGraw-Hill , c2001
図書 <BB00524378>
Learn Java 12 programming : a step-by-step guide to learning essential concepts in Java SE 10, 11, and 12 / Nick Samoylov
: [pbk.]. - Birmingham : Packt Pub. , 2019
図書 <BB13164037>
A programming approach to computability / A.J. Kfoury, Robert N. Moll, Michael A. Arbib
New York, N.Y. : Springer-Verlag , c1982. - (The AKM series in theoretical computer science). - (Texts and monographs in computer science)
電子書籍 <OB00848662>
Algorithms and programming : problems and solutions / Alexander Shen
2nd ed.. - New York : Springer , c2010. - (Springer undergraduate texts in mathematics and technology)
電子書籍 <OB01023219>
: hardcover,: pbk. - 3rd ed. - Cambridge, Mass. : MIT Press , c2009
図書 <BB12569629>
4th ed. - Cambridge, Mass : MIT Press , c2022
図書 <BB13194578>
Proceedings of the 2011 ACM SIGPLAN X10 Workshop / general chair Michael Hind ; program chair Vijay Saraswat ; sponsor ACM Special Interest Group on Programming Languages
print. - New York : ACM , 2011
電子書籍 <OB00748099>
Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'04) : August 24-25, 2004, Verona, Italy / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
New York, NY : ACM Press , c2004
電子書籍 <OB00747874>
PX/16 : proceedings of the Programming Experience 2016 Workshop : July 18, 2016, Rome, Italy / sponsored by ACM
New York : ACM , 2016
電子書籍 <OB00824830>
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'00), Boston, Massachusetts, January 22-23, 2000 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
New York, NY : Association for Computing Machinery , c2000. - (ACM SIGPLAN notices ISSN:0362-1340 ; v. 34, no. 11)
電子書籍 <OB00747801>
SPLASH'12 : proceedings of the 2012 ACM Conference on Systems, Programming, and Applications : Software for Humanity : October 19-26, 2012, Tucson, Arizona, USA / sponsored by ACM SIGPLAN
print. - New York : ACM , 2012
電子書籍 <OB00824878>
PEPM'12 : proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation : January 23-24, 2012, Philadelphia, PA, USA / program chairs Oleg Kiselyov, Simon Thompson ; sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00746548>
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation / program chair Peter Thiemann ; sponsors ACM Special Interest Group on Programming Languages, Association for Computing Machinery
print. - New York : ACM , 2002
電子書籍 <OB00747835>
AGERE!'12 : proceedings of the 2012 ACM Workshop on Programming Systems, Languages and Applications based on Actors, Agents, and Decentralized Control Abstractions : October 21-22, 2012, Tucson, Arizona, USA / sponsored by ACM SIGPLAN
print. - 2nd edition.. - New York : ACM , 2012
電子書籍 <OB00744653>
PX/17.2 : proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience : October 22, 2017, Vancouver, BC, Canada / edited by Luke Church [and three others] ; sponsored by ACM SIGPLAN
New York : ACM , 2017
電子書籍 <OB00764425>
PEPM 2006 : proceedings of the Workshop on Partial Evaluation and Program Manipulation : Charleston, South Carolina, January 9-10, 2006 / sponsored by the Association for Computing Machinery SIGPLAN
print. - New York : ACM , 2006
電子書籍 <OB00746545>
Science of computer programming
[Amsterdam] : Elsevier Science
電子ジャーナル <OJ00053781>
UNIX review
Vol. 1, no. 1 (June/July 1983)-v. 16, no. 3 (Mar. 1998). - Mercer Island, WA : UNIX Review Co. , 1983-1998
電子ジャーナル <OJ00060593>
Proceedings of the ACM on programming languages
New York, NY : Association for Computing Machinery, Inc. , [2017]-
電子ジャーナル <OJ00128677>
Journal of logical and algebraic methods in programming
Amsterdam : Elsevier Inc.
電子ジャーナル <OJ00097073>
Uncertain programming / Baoding Liu
: cloth. - New York : Jhon Wiley , c1999
図書 <BB00476085>
Hacker culture / Douglas Thomas
: pbk. - Minneapolis : University of Minnesota Press , c2002
図書 <BB10048340>
Problem solving and programming concepts / Maureen Sprankle, Jim Hubbard
: pbk. - 8th ed. - London : Pearson Education , c2009. - (Pearson international edition)
図書 <BB12172747>
Fuzzy stochastic multiobjective programming / Masatoshi Sakawa, Ichiro Nishizaki, Hideki Katagiri
New York ; London : Springer , c2011. - (International series in operations research & management science ; v. 159)
図書 <BB12391387>
IEEE software / IEEE Computer Society
Vol. 1, no. 1 (Jan. 1984)-. - New York : IEEE Computer Society [and] The Institute of Electrical and Electronics Engineers
雑誌 <SB00946668>
Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman ; adapted to JavaScript by Martin Henz and Tobias Wrigstad ; with Julie Sussman
: [pbk.]. - JavaScript ed. - Cambridge, Mass. : MIT Press , c2022
図書 <BB13195569>
Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs / by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
print - print. - 1st ed. 1993.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993
電子書籍 <OB01019530>
Optimal Control Theory / by L.D. Berkovitz
print - print. - 1st ed. 1974.. - New York, NY : Springer New York : Imprint: Springer , 1974
電子書籍 <OB01019539>
Advances in software tools for scientific computing / Hans Petter Langtangen, Are Magnus Bruaset, Ewald Quak, editors
softcover : alk. paper. - Berlin ; New York : Springer , c2000. - (Lecture notes in computational science and engineering ; 10)
電子書籍 <OB01023125>
Rust atomics and locks : low-level concurrency in practice / Mara Bos
: pbk. - Sebastopol, Calif. : O'Reilly , 2022, c2023
図書 <BB13221024>
Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
電子書籍 <OB00765433>
Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002 / 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 , c2002
電子書籍 <OB00745063>
Erlang '05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop : September 25, 2005, Tallinn, Estonia / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
print. - New York : ACM , 2005
電子書籍 <OB00745367>
Proceedings of MASPEGHI 2013 : Mechanisms for Specialization, Generalization and Inheritance : Montpellier, France, 1st July, 2013 / editor Markku Sakkinen ; in cooperation with ACM SIGPLAN and ACM SIGSOFT
print. - New York : ACM , 2013
電子書籍 <OB00746815>
Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages / chairmen Ken Kennedy, Mary S. Van Deusen, Larry Landweber ; sponsors ACM Special Interest Group on APL Programming Language, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1984
電子書籍 <OB00747575>
Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / general chair Alex Aiken ; program chair Greg Morrisett ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages, Association for Computing Machinery
print. - New York : ACM , 2003
電子書籍 <OB00748245>
PPDP '05 : Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 11-13, 2005, Lisbon, Portugal
Trade Cloth. - Klemzig : ACM Press , Jan. 2005
電子書籍 <OB00746653>
2013 1st International Workshop on Live Programming (LIVE) : proceedings : May 19, 2013, San Francisco, CA, USA
print. - Piscataway, New Jersey : IEEE Press , 2013
電子書籍 <OB00744322>
9th ICOOOLPS (Implementation, Compilation, Optimization of OO Languages, Programs and Systems) workshop, 2014 : July 28th 2014, Uppsala, Sweden
print. - New York : ACM , 2014
電子書籍 <OB00744220>
CompArch'11 : proceedings of the 2011 Federated Events on Component-Based Software Engineering & Software Architecture : CBSE'11, WCOP'11, and QoSA+ISARCS'11, June 20-24, 2011, Boulder, Colorado, USA / general chairs Ivica Crnkovic, Judith A. Stafford ; program chairs Antonia Bertolino, Kendra M.L. Cooper ; sponsored by SIGSOFT
電子書籍 <OB00744995>
Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems / conference chairs, Floréal Morandat, Olivier Zendra
New York : ACM , 2015
電子書籍 <OB00765407>
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>
Erlang '10 : proceedings of the 2010 ACM SIGPLAN Erlang Workshop, September 30, 2010, Baltimore, Maryland, USA / general chair Scott Lystig Fritchie ; program chair Konstantinos Sagonas ; sponsored by ACM SIGPLAN
print. - New York : ACM , 2010
電子書籍 <OB00745371>
ACM Conference on Object-Oriented Programming Systems, Languages and Applications - OOPSLA 87
Trade Paper. - New York : Association for Computing Machinery , Oct. 1987. - (Sigplan Notices Ser ; Vol. 22, No. 12)
電子書籍 <OB00744398>
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>
PEPM, 95 : ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Trade Paper. - New York : Association for Computing Machinery , Oct. 1995
電子書籍 <OB00746544>
POPL '08 : proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : San Francisco, California, USA, January 7-12, 2008 / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
print. - New York : ACM , 2008
電子書籍 <OB00746637>