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…