城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA76.6)
該当件数:24件
Advanced Course on Software Engineering / edited by F.L. Bauer
:us,:gw. - Berlin ; New York : Springer-Verlag , 1973. - (Lecture notes in economics and mathematical systems ; 81)
図書
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright
New York : Springer , c1998. - (Graduate texts in computer science)
Parallel processes and related automata / editors, W. Knödel, H.J. Schneider
Wien : Springer-Verlag , c1981. - (Computing. Supplementum)
Proceedings of the thirty-first annual ACM symposium on theory of computing, Atlanta, Georgia, May 1-4, 1999 / sponsored by The ACM special interest group for algorithms and computation theory
New York, N.Y. : ACM , c1999. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 31th(1999))
Seminumerical algorithms / Donald E. Knuth
2nd ed. - Reading, Mass. : Addison-Wesley Pub. Co. , c1981. - (Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 2)
Principles of program design / M. A. Jackson
London ; New York : Academic Press , 1975. - (A.P.I.C. studies in data processing ; no. 12)
The theory of parsing, translation, and compiling / [by] Alfred V. Aho [and] Jeffrey D. Ullman
v. 1,v. 2. - Englewood Cliffs, N.J. : Prentice-Hall , [1972-73]. - (Prentice-Hall series in automatic computation)
Algorithms / Robert Sedgewick
Reading, Mass. : Addison-Wesley , c1983. - (Addison-Wesley series in computer science)
The Design of an optimizing compiler / William Wulf ... [et al.]
pbk. - New York : American Elsevier Pub. Co. , [1975]. - (Programming languages series ; 2)
Software engineering : proceedings of the Software Engineering Workshop held in Albany, Troy, and Schenectady, New York, from May 30-June 1, 1979 / edited by Herbert Freeman, Philip M. Lewis II
New York : Academic Press , 1980
CP/M assembly language programming / Ken Barbier
pbk.. - Englewood Cliffs, N.J. : Prentice-Hall , c1983
A discipline of programming / Edsger W. Dijkstra
Englewood Cliffs, N.J. : Prentice-Hall , c1976. - (Prentice-Hall series in automatic computation)
Algorithms, their complexity and efficiency / Lydia I. Kronsjö
Chichester ; New York : John Wiley , c1979. - (Wiley series in computing)
Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson
: pbk. - San Francisco ; New York : W. H. Freeman , c1979. - (A series of books in the mathematical sciences)
Algorithms and complexity : new directions and recent results / edited by J.F. Traub
New York : Academic Press , c1976
Algorithms : their complexity and efficiency / Lydia Kronsjö
2nd ed.. - Chichester ; New York : Wiley , c1987. - (Wiley series in computing)
Efficient parallel algorithms / Alan Gibbons, Wojciech Rytter
Cambridge [Cambridgeshire] : Cambridge University Press , c1988
Fundamental algorithms / Donald E. Knuth
: hard,: pbk. - Reading, Mass. : Addison-Wesley , c1968. - (Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 1)
: hard,: pbk. - 2nd ed. - Reading, Mass. : Addison-Wesley , c1973. - (Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 1)
2nd ed. - Reading, Mass. : Addison-Wesley , c1973. - (Addison-Wesley world student series ; . The art of computer programming / Donald E. Knuth ; v. 1)