東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.6)
該当件数:204件
Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Gert Smolka (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1782)
図書
Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1837)
Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1824)
Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)
Berlin : Springer , c2000. - Tokyo. - (Lecture notes in computer science ; 1924)
Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, A
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2028)
Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2196)
Experiments in artificial intelligence for microcomputers / by John Krutch
2nd ed. - Indianapolis, Ind. : H. W. Sams , c1986
Optimal interprocedural program optimization : a new framwork and its application / Jens Knoop
New York : Springer , c1998. - (Lecture notes in computer science ; 1428)
Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi (ed.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1503)
Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 19-20, 1998 : proceedings / Frank Mueller, Azer Bestavros (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1474)
Real-time UML : developing efficient objects for embedded systems / Bruce Powel Douglass
Reading, Mass. : Addison-Wesley , c1998. - (The Addison-Wesley object technology series / Grady booch, Ivan jacobson, James rumbaugh)
Computability and complexity : from a programming perspective / Neil D. Jones
Cambridge, Mass. : MIT Press , c1997. - (Foundations of computing)
Programming languages and systems : 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / S. Doaitse ; Swierstra (ed.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1576)
Beginning programming / Adrian and Kathie Kingsley-Hughes
Indianapolis, IN : Wiley , c2005. - (Wrox beginning guides ; .). - (Programmer to programmer ; .)
Beginning programming all-in-one desk reference for dummies / Wallace Wang
Hoboken, NJ : Wiley , c2008. - (--For dummies)
Software management / edited by Donald J. Reifer ; [foreword by Barry Boehm]
7th ed. - [Los Alamitos, CA] : IEEE Computer Society , c2006. - Hoboken, N.J. : Wiley
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.)
Berlin : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1897)
Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1302)
Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings / Hanspeter Mössenböck, (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1204)
Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2126)
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra
New York : Springer , c2001. - (Monographs in computer science)
On a method of multiprogramming / W.H.J. Feijen, A.J.M. van Gasteran
New York : Springer , c1999. - (Monographs in computer science)
Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 1985)
An Introduction to software quality control / Chin-Kuei Cho
New York : Wiley , c1980. - (Business data processing)
Compiler construction : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and J. Eickel
2nd ed. - Berlin : Springer-Verlag , 1976. - New York. - (Lecture notes in computer science ; 21)
Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembiński
Berlin : Springer-Verlag , 1980. - New York. - (Lecture notes in computer science ; 88)
Operating systems : an advanced course / M. J. Flynn ... [et al.] ; edited by R. Bayer, R. M. Graham, and G. Seegmüller
New York : Springer-Verlag , c1979. - Berlin
Theory of program structures : schemes, semantics, verification / Sheila A. Greibach
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in computer science ; 36)
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.)
Berlin : Springer-Verlag , c1990. - Tokyo. - (Lecture notes in computer science ; 432)
Proceedings of the ninth annual ACM-SIAM Symposium on Discrete Algorithms
New York : Association for Computing Machinery , c1998. - Philadelphia : Society for Industrial and Applied Mathematics
Datapro/McGraw-Hill guide to CP/M software
Delran, N.J. : Datapro Research Corp. , c1983. - New York : McGraw-Hill
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.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 953)
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1139)
Designing object-oriented software / Rebecca Wirfs-Brock, Brian Wilkerson, Lauren Wiener
Englewood Cliffs, N.J. : Prentice Hall , c1990
Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, (ed.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1058)
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1145)
Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin (ed.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1381)
Proceedings of the twenty-ninth Annual ACM Symposium on the Theory of Computing, El Paso, Texas, May 4-6, 1997 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
New York, N.Y. : ACM , c1997
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 632)
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 582)
Problems in programming : experience through practice / Andrej Vitek ... [et al.]
Chichester : J. Wiley , c1991. - New York. - (Wiley professional computing)
Literate programming / Donald E. Knuth
Stanford, CA : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 27)
A practical theory of programming / Eric C. R. Hehner
New York : Springer-Verlag , c1993. - Berlin. - (Texts and monographs in computer science)
First-order programming theories / Tamás Gergely, László Úry
Berlin : Springer-Verlag , c1991. - New York. - (EATCS monographs on theoretical computer science ; v. 24)
A practical approach to computing / W. Y. Arms, J. E. Baker, R. M. Pengelly
London : Wiley , c1976. - New York
Temporal logic of programs / Fred Kröger
Berlin : Springer-Verlag , c1987. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 8)
Computing in Horn clause theories / Peter Padawitz
Berlin : Springer-Verlag , c1988. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 16)
Programming in the 1990s : an introduction to the calculation of programs / Edward Cohen
New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 947)