close
1.

図書
図書
1. Algorithms and theory of computation handbook
edited by Mikhail J. Atallah
出版情報: Boca Raton, Fla. : CRC Press, 1999
所蔵情報: loading…
2.

図書
図書
2. An introduction to computer science using Java. International ed. (: pbk)
Samuel N. Kamin, M. Dennis Mickunas, Edward M. Reingold
出版情報: Boston : WCB/McGraw-Hill, 1998
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
3.

図書
図書
3. Models of computation : exploring the power of computing
John E. Savage
出版情報: Reading, Mass. : Addison Wesley, c1998
所蔵情報: loading…
4.

図書
図書
4. Fundamentals of the theory of computation : principles and practice (: pbk)
Raymond Greenlaw, H. James Hoover
出版情報: San Francisco, Calif. : Morgan Kaufmann, c1998
所蔵情報: loading…
5.

図書
図書
5. Complexity and real computation
Lenore Blum ... [et al.] ; foreword by Richard M. Karp
出版情報: New York : Springer, c1998
所蔵情報: loading…
6.

図書
図書
6. Foundations of computer science : potential--theory--cognition
Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1337
所蔵情報: loading…
7.

図書
図書
7. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1261
所蔵情報: loading…
8.

図書
図書
8. Selected papers on computer science (: pbk ; : hardback)
Donald E. Knuth
出版情報: [Stanford, Calif.] : CSLI Publications , [Cambridge] : [Co-published by] Cambridge University Press, c1996
シリーズ名: CSLI lecture notes ; no. 59
所蔵情報: loading…
目次情報: 続きを見る
Algorithms, programs, and computer science. Algorithm and program, information and data ; Computer programming and computer science
Computer science and its relation to mathematics
Mathematics and computer science : coping with finiteness
Algorithms
Algorithms in modern mathematics and computer science
Algorithmic themes
Theory and practice, I-IV
Are toy problems useful?
Ancient Babylonian algorithms
Von Neumann's first computer program
The IBM 650 : an appreciation from the field
George Forsythe and the development of computer science
Artistic programming
Algorithms, programs, and computer science. Algorithm and program, information and data ; Computer programming and computer science
Computer science and its relation to mathematics
Mathematics and computer science : coping with finiteness
9.

図書
図書
9. The Neumann compendium
edited by F. Bródy & T. Vámos
出版情報: Singapore ; River Edge, NJ : World Scientific, c1995
シリーズ名: World Scientific series in 20th century mathematics ; vol. 1
所蔵情報: loading…
10.

図書
図書
10. Computer science today : recent trends and developments
Jan van Leeuwen, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 1000
所蔵情報: loading…
11.

図書
図書
11. Computation and intelligence : collected readings (: pbk)
edited by George F. Luger
出版情報: Menlo Park, Calif. : AAAI Press, c1995
所蔵情報: loading…
12.

図書
図書
12. Epistemic logic for AI and computer science (hardback)
J.-J. Ch. Meyer and W. van der Hoek
出版情報: Cambridge ; New York : Cambridge University Press, c1995
シリーズ名: Cambridge tracts in theoretical computer science ; 41
所蔵情報: loading…
13.

図書
図書
13. The impact of emerging technologies on computer science and operations research
edited by Stephen G. Nash and Ariela Sofer ; associate editors, William R. Stewart, Edward A. Wasil
出版情報: Boston : Kluwer Academic Publishers, c1995
シリーズ名: Operations research/computer science interface series
所蔵情報: loading…
14.

図書
図書
14. What is a logical system?
edited by D.M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994
シリーズ名: Studies in logic and computation ; 4
所蔵情報: loading…
15.

図書
図書
15. Computation and reasoning : a type theory for computer science
Zhaohui Luo
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994
シリーズ名: The International series of monographs on computer science ; v. 11
所蔵情報: loading…
16.

図書
図書
16. Handbook of theoretical computer science. MIT Press paperback edition (MIT Press : set)
editor, Jan van Leeuwen
出版情報: Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1994
所蔵情報: loading…
17.

図書
図書
17. Formal models and semantics. MIT Press paperback edition (: pbk)
edited by Jan van Leeuwen
出版情報: Cambridge, Mass. : MIT Press , Amsterdam ; Tokyo : Elsevier, 1994
シリーズ名: Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B
所蔵情報: loading…
18.

図書
図書
18. Logic and information flow
edited by Jan van Eijck and Albert Visser
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
19.

図書
図書
19. Logic, language, and computation : festschrift in honor of Satoru Takasu (: gw ; : us)
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 792
所蔵情報: loading…
20.

図書
図書
20. Generating abstraction hierarchies : an automated approach to reducing search in planning
by Craig A. Knoblock
出版情報: Boston : Kluwer Academic Publisher, c1993
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 214
所蔵情報: loading…
21.

図書
図書
21. The logic of information structures (: us ; : gw)
Heinrich Wansing
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence
所蔵情報: loading…
22.

図書
図書
22. Theoretical studies in computer science
edited by Jeffrey D. Ullman
出版情報: Boston : Academic Press, c1992
所蔵情報: loading…
23.

図書
図書
23. Foundations of computer science
Alfred V. Aho, Jeffrey D. Ullman
出版情報: New York : Computer Science Press, c1992
シリーズ名: Principles of computer science series
所蔵情報: loading…
24.

図書
図書
24. Belief revision
edited by Peter Gärdenfors
出版情報: Cambridge ; New York : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 29
所蔵情報: loading…
25.

図書
図書
25. Computing
edited by E.G. Coffman, Jr., J.K. Lenstra, A.H.G. Rinnooy Kan
出版情報: Amsterdam ; Tokyo : North-Holland, 1992
シリーズ名: Handbooks in operations research and management science / editors, G.L. Nemhauser, A.H.G. Rinnooy Kan ; v. 3
所蔵情報: loading…
26.

図書
図書
26. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: loading…
27.

図書
図書
27. Background : mathematical structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: loading…
28.

図書
図書
28. Hyperedge replacement : grammars and languages (: gw ; : us)
A. Habel
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 643
所蔵情報: loading…
29.

図書
図書
29. Uses of randomness in algorithms and protocols
Joe Kilian
出版情報: Cambridge, Mass. : MIT Press, c1990
シリーズ名: ACM distinguished dissertations
所蔵情報: loading…
30.

図書
図書
30. Algorithms and complexity (: Elsevier ; : MIT Press)
edited by Jan van Leeuwen
出版情報: Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1990
シリーズ名: Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A
所蔵情報: loading…
31.

図書
図書
31. Handbook of theoretical computer science (Elsevier : set ; MIT Press : set)
editor, Jan van Leeuwen
出版情報: Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1990-
所蔵情報: loading…
32.

図書
図書
32. Formal models and semantics (: Elsevier ; : MIT Press)
edited by Jan van Leeuwen
出版情報: Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1990
シリーズ名: Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B
所蔵情報: loading…