close
1.

図書
図書
1. Advanced programming methodologies
edited by Gianna Cioni and Andrzej Salwicki
出版情報: London ; Tokyo : Academic Press, c1989
シリーズ名: A.P.I.C. studies in data processing ; no. 30
所蔵情報: loading…
2.

図書
図書
2. Computational category theory
David E. Rydeheard, Rod M. Burstall
出版情報: New York ; Tokyo : Prentice Hall, 1988
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
3.

図書
図書
3. Computer algorithms : introduction to design and analysis. 2nd ed
Sara Baase
出版情報: Tokyo : Addison-Wesley, 1988 , Reading, Mass. : Addison-Wesley, 1988
所蔵情報: loading…
4.

図書
図書
4. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…
5.

図書
図書
5. Algorithms and applications on vector and parallel computers
edited by H.J.J. te Riele, Th.J. Dekker, H.A. van der Vorst
出版情報: Amsterdam ; Tokyo : North-Holland, 1987
シリーズ名: Special topics in supercomputing ; v. 3
所蔵情報: loading…
6.

図書
図書
6. Pascal, an introduction to the art and science of programming. 2nd ed
Walter J. Savitch
出版情報: Menlo Park, Calif. ; Tokyo : Benjamin/Cummings Pub. Co., c1987
シリーズ名: The Benjamin/Cummings series in structured programming
所蔵情報: loading…
7.

図書
図書
7. Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation (: U.S. ; : Germany)
Micha Hofri
出版情報: New York ; Tokyo : Springer-Verlag, c1987
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
8.

図書
図書
8. Temporal logic of programs
Fred Kröger
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: EATCS monographs on theoretical computer science ; v. 8
所蔵情報: loading…
9.

図書
図書
9. Algorithms : their complexity and efficiency. 2nd ed.
Lydia Kronsjö
出版情報: Chichester ; New York : Wiley, c1987
シリーズ名: Wiley series in computing
所蔵情報: loading…
10.

図書
図書
10. Translating relational queries into iterative programs (: gw ; : us)
Johann Christoph Freytag
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 261
所蔵情報: loading…
11.

図書
図書
11. Abstraction and specification in program development (: MIT Press ; : McGraw-Hill)
Barbara Liskov and John Guttag
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1986
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
12.

図書
図書
12. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985
シリーズ名: Wiley series in computing
所蔵情報: loading…
13.

図書
図書
13. Deductive reasoning
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…
14.

図書
図書
14. The analysis of algorithms
Paul Walton Purdom, Jr., Cynthia A. Brown
出版情報: New York, N.Y. : Holt, Rinehart and Winston, c1985
所蔵情報: loading…
15.

図書
図書
15. Structure and interpretation of computer programs (: MIT Press ; : McGraw-Hill)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
16.

図書
図書
16. Foundations of programming (alk. paper)
Jacques Arsac; translated by Fraser Duncan
出版情報: London; Orlando : Academic Press, 1985
シリーズ名: A.P.I.C. studies in data processing ; vol. 23
所蔵情報: loading…
17.

図書
図書
17. Discrete computational structures. 2nd ed (alk.paper)
Robert Korfhage
出版情報: Orlando : Academic Press, c1984
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
18.

図書
図書
18. P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
19.

図書
図書
19. Generating language-based environments
Thomas W. Reps
出版情報: Cambridge, Mass. : MIT Press, c1984
シリーズ名: ACM doctoral dissertation award ; 1983
所蔵情報: loading…
20.

図書
図書
20. Advanced programming : a practical course (pbk.)
D.W. Barron and J.M. Bishop
出版情報: Chichester ; New York : Wiley, c1984
シリーズ名: Wiley series in computing
所蔵情報: loading…
21.

図書
図書
21. Handbook of algorithms and data structures (: pbk)
G.H. Gonnet
出版情報: London ; Reading, Mass. : Addison-Wesley Pub. Co., c1984
シリーズ名: International computer science series
所蔵情報: loading…
22.

図書
図書
22. Methods and tools for compiler construction : an advanced course
edited by B. Lorho
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1984
所蔵情報: loading…
23.

図書
図書
23. Fundamentals of the average case analysis of particular algorithms (: Wiley ; : Teubner)
Rainer Kemp
出版情報: Stuttgart : B.G. Teubner , Chichester [West Sussex] ; New York : Wiley, c1984
シリーズ名: Wiley-Teubner series in computer science
所蔵情報: loading…
24.

図書
図書
24. Logic, algebra, and databases (Halsted, lib. ed. - Ellis Horwood, stud. ed.)
Peter M.D. Gray
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Distributor, Halsted Press, 1984
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
25.

図書
図書
25. Coordinated computing : tools and techniques for distributed software
Robert E. Filman, Daniel P. Friedman
出版情報: New York ; Tokyo : McGraw-Hill, c1984
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
26.

図書
図書
26. Catalogue of artificial intelligence tools (: us. : pbk ; : gw. : pbk)
edited by Alan Bundy
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
27.

図書
図書
27. Automated reasoning : introduction and applications (pbk.)
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984
所蔵情報: loading…
28.

図書
図書
28. An introduction to ADA
Stephen J. Young
出版情報: Chichester [West Sussex] : E. Horwood , New York : Halsted Press, 1983
シリーズ名: Ellis Horwood series in computers and their applications ; 23
所蔵情報: loading…
29.

図書
図書
29. Programming system methodologies
Carol A. Ziegler
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983
所蔵情報: loading…
30.

図書
図書
30. Programming for software sharing
edited by D.T. Muxworthy
出版情報: Dordrecht, Holland ; Boston [Mass.] : D. Reidel , Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1983
シリーズ名: Ispra courses on information science
所蔵情報: loading…
31.

図書
図書
31. The IOTA programming system : a modular programming environment (: gw ; : us)
edited by R. Nakajima and T. Yuasa
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 160
所蔵情報: loading…
32.

図書
図書
32. Structure, logic, and program design
Alan Cohen
出版情報: Chichester [West Sussex] : Wiley, c1983
所蔵情報: loading…
33.

図書
図書
33. Problem solving and computer programming
Peter Grogono, Sharon H. Nelson
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1982
所蔵情報: loading…
34.

図書
図書
34. Programming primer : a graphic introduction to computer programming with BASIC and Pascal
Robert P. Taylor
出版情報: Reading, MA : Addison-Wesley, c1982
所蔵情報: loading…
35.

図書
図書
35. Functional programming and its applications : an advanced course
edited by J. Darlington, P. Henderson, D.A. Turner
出版情報: Cambridge ; New York : Cambridge University Press, 1982
所蔵情報: loading…
36.

図書
図書
36. An introduction to programming and problem solving with PASCAL. 2nd ed (: pbk)
G. Michael Schneider, Steven W. Weingart, David M. Perlman
出版情報: New York : Wiley, c1982
所蔵情報: loading…
37.

図書
図書
37. Software and its development
Joseph M. Fox
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982
所蔵情報: loading…
38.

図書
図書
38. An introduction to engineered software (U S College ed. ; Holt-Saunders int. ed.)
Will D. Gillett, Seymour V. Pollack
出版情報: New York ; London : Holt, Rinehart and Winston, c1982
シリーズ名: HRW series in computer science
所蔵情報: loading…
39.

図書
図書
39. Algorithmic language and program development (: New York ; : Berlin)
F.L. Bauer, H. Wössner, in collaboration with H. Partsch and P. Pepper
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
40.

図書
図書
40. Locally least-cost error correctors for context-free and context sensitive parsers
by Bernard A. Dion
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982
シリーズ名: Computer science ; Systems programming ; no. 14
所蔵情報: loading…
41.

図書
図書
41. Control and communication in programs
by Loretta Guarino Reid
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982
シリーズ名: Computer science ; Systems programming ; no. 13
所蔵情報: loading…
42.

図書
図書
42. Mathematics for the analysis of algorithms. 2nd ed
Daniel H. Greene, Donald E. Knuth
出版情報: Boston : Birkhäuser, 1982
シリーズ名: Progress in computer science ; no. 1
所蔵情報: loading…
43.

図書
図書
43. An introduction to computer programming and data structures using MACRO-11
Harry R. Lewis
出版情報: Reston, Va. : Reston Pub. Co., c1981
所蔵情報: loading…
44.

図書
図書
44. The craft of programming
John C. Reynolds
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1981
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
45.

図書
図書
45. Pascal for Programmers (: gw : pbk. ; : us : pbk.)
S. Eisenbach, C. Sadler
出版情報: Berlin ; New York : Springer-Verlag, 1981
所蔵情報: loading…
46.

図書
図書
46. Mathematics for the analysis of algorithms
Daniel H. Greene, Donald E, Knuth
出版情報: Boston : Birkhäuser, c1981
シリーズ名: Progress in computer science ; no. 1
所蔵情報: loading…
47.

図書
図書
47. Computing : a problem-solving approach with FORTRAN 77
T. Ray Nanney ; [cover design, Lee Cohen]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981
所蔵情報: loading…
48.

図書
図書
48. Computer arithmetic : logic and design
Otto Spaniol
出版情報: Chichester [West Sussex] ; New York : Wiley, c1981
シリーズ名: Wiley series in computing
所蔵情報: loading…
49.

図書
図書
49. Software tools in Pascal
Brian W. Kernighan, P.J. Plauger
出版情報: Reading, Mass. : Addison-Wesley, c1981
所蔵情報: loading…
50.

図書
図書
50. Seminumerical algorithms. 2nd ed
Donald E. Knuth
出版情報: 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
所蔵情報: loading…