close
1.

図書
図書
1. A Little Smalltalk (: pbk)
Timothy Budd
出版情報: Reading, Mass. : Addison-Wesley, c1987  xv, 280 p. ; 24 cm
所蔵情報: loading…
2.

図書
図書
2. 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  xvi, 497 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
3.

図書
図書
3. Writing a UNIX device driver (: pbk)
Janet I. Egan and Thomas J. Teixeira
出版情報: New York : Wiley, c1988  viii, 357 p. ; 26 cm
所蔵情報: loading…
4.

図書
図書
4. Tutorial on software design techniques. 4th ed (: pbk ; : microfiche)
[edited by] Peter Freeman, Anthony I. Wasserman
出版情報: [Silver Spring, MD] : IEEE Computer Society Press , [Los Angeles, CA] : Order from IEEE Computer Society, c1983  ix, 719 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Advanced programming : design and structure using Pascal
Lawrence H. Miller
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1986  xv, 574 p. ; 25 cm
所蔵情報: loading…
6.

図書
図書
6. 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  vii, 248 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
7.

図書
図書
7. Computer programming examples for chemical engineers (pbk)
George Ross
出版情報: Amsterdam ; Tokyo : Elsevier, 1987  xii, 296 p. ; 25 cm
シリーズ名: Computer-aided chemical engineering ; 3
所蔵情報: loading…
8.

図書
図書
8. Principles of functional programming (pbk.)
Hugh Glaser, Chris Hankin and David Till
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984  xi, 251 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. System simulation : programming styles and languages
Wolfgang Kreutzer
出版情報: Sydney ; Tokyo : Addison-Wesley, c1986  xi, 366 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
10.

図書
図書
10. 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  xi, 457 p. ; 25 cm
シリーズ名: Special topics in supercomputing ; v. 3
所蔵情報: loading…
11.

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

図書
図書
12. Automated reasoning : introduction and applications (pbk.)
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xiv, 482 p. ; 24 cm
所蔵情報: loading…
13.

図書
図書
13. 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  iv, 300 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…
14.

図書
図書
14. Specification of computer programs
Władysław M. Turski, Thomas S.E. Maibaum
出版情報: Woking, England ; Reading, Mass. : Addison-Wesley, c1987  x, 278 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
15.

図書
図書
15. File design and programming
W. Wesley Peterson and Art Lew
出版情報: New York : Wiley, c1986  xv, 381 p. ; 25 cm
所蔵情報: loading…
16.

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

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

図書
図書
18. The cognitive computer : on language, learning, and artificial intelligence (: [hbk] ; : pbk)
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xiii, 268 p. ; 25 cm
所蔵情報: loading…
19.

図書
図書
19. Interactive programming environments
editors, David R. Barstow, Howard E. Shrobe, Erik Sandewall
出版情報: New York : McGraw-Hill, c1984  xii, 609 p. ; 24 cm
所蔵情報: loading…
20.

図書
図書
20. Efficiency in program synthesis
by Elaine Kant
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  viii, 162 p. ; 23 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 8
所蔵情報: loading…
21.

図書
図書
21. Real-time software
[edited by] Robert L. Glass
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  vii, 456 p. ; 24 cm.
所蔵情報: loading…
22.

図書
図書
22. Modern programming practices : a report from industry
Robert L. Glass
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982  xiv, 311 p. ; 24 cm.
所蔵情報: loading…
23.

図書
図書
23. Structure, logic, and program design
Alan Cohen
出版情報: Chichester [West Sussex] : Wiley, c1983  xiii, 287 p. ; 24 cm
所蔵情報: loading…
24.

図書
図書
24. Discrete structures of computer science
Leon S. Levy
出版情報: New York : Wiley, c1980  310 p. ; 24 cm
所蔵情報: loading…
25.

図書
図書
25. Fundamental structures of computer science (hard. ; pbk.)
William A. Wulf ... [et al.]
出版情報: Reading, Mass. : Addison-Wesley, c1981  xviii, 621 p. ; 24 cm
所蔵情報: loading…
26.

図書
図書
26. Functional programming : application and implementation
Peter Henderson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1980  xi, 355 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
27.

図書
図書
27. Foundations of programming (alk. paper)
Jacques Arsac; translated by Fraser Duncan
出版情報: London; Orlando : Academic Press, 1985  xxxii, 265 p.; 24 cm.
シリーズ名: A.P.I.C. studies in data processing ; vol. 23
所蔵情報: loading…
目次情報: 続きを見る
Iterative Programming
Recursive Programming
Recurrent Programming From Recursion to Recurrence
From Recursion to Iteration
Regular Actions
Program Transformations
The Transformation of Subprograms from Recursive to Iterative
Analysis Programming
Bibliography
Index
Iterative Programming
Recursive Programming
Recurrent Programming From Recursion to Recurrence
28.

図書
図書
28. Fundamentals of computers and data processing with BASIC (pbk.)
Wilson T. Price
出版情報: New York : Holt, Rinehart and Winston, c1983  xiv, 429 p. ; 23 cm
所蔵情報: loading…
29.

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

図書
図書
30. Programming principles in computer graphics (: pbk)
L. Ammeraal
出版情報: Chichester [West Sussex] ; New York : Wiley, c1986  viii, 168 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Transformations, Windows and Viewports
Geometric Tools
Using Pixels
Perspective
Hidden-Line Elimination
Hidden-Surface Elimination
Some Applications
Appendices
Bibliography
Index
Transformations, Windows and Viewports
Geometric Tools
Using Pixels
31.

図書
図書
31. Virtual memory management
by Richard William Carr
出版情報: Ann Arbor, Mich. : UMI Research Press, c1984  xiii, 158 p. ; 24 cm
シリーズ名: Computer science / ed. by Harold S. Stone ; Systems programming ; no. 20
所蔵情報: loading…
32.

図書
図書
32. On the construction of programs
edited by R.M. McKeag and A.M. Macnaghten
出版情報: Cambridge ; New York : Cambridge University Press, 1980  422 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
An introduction to Pascal-plus / by D.W. Bustard
A structured compiler / by J. Welsh
A structured operating system / by R.M. McKeag
Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.]
Parallel processing in Ada / by O. Roubine & J.-C. Heliard
Concurrent Pascal / by D. Coleman
A model for communicating sequential processes / by C.A.R. Hoare
Languages for parallel computers / by R.H. Perrott
Algorithms for parallel computers / by M. Clint & R.H. Perrott
Information systems : modelling, sequencing, and transformations / by M.A. Jackson
Specification language / by J.R. Abrial, S.A. Schuman & B. Meyer
An introduction to Pascal-plus / by D.W. Bustard
A structured compiler / by J. Welsh
A structured operating system / by R.M. McKeag
33.

図書
図書
33. Formal differentiation : a program synthesis technique
by Robert A. Paige
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  x, 277 p. ; 24 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 6
所蔵情報: loading…
34.

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

図書
図書
35. Microprocessors systems : a 16 bit approach (est.)
William J. Eccles
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1985  xviii, 458 p. ; 24 cm
所蔵情報: loading…
36.

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

図書
図書
37. Diagramming techniques for analysts and programmers
James Martin, Carma McClure
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xvi, 396 p. ; 25 cm
所蔵情報: loading…
38.

図書
図書
38. Computers and languages : theory and practice
Anton Nijholt
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988  xiii, 482 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; 4
所蔵情報: loading…
39.

図書
図書
39. Structured analysis
by Victor Weinberg ; pref. by Edward Yourdon ; [cover design by Suzanne Behnke]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1980  xiv, 328 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
40.

図書
図書
40. Computer programs for spelling correction : an experiment in program design (: gw ; : us)
James L. Peterson
出版情報: Berlin ; New York : Springer-Verlag, 1980  vi, 213 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 96
所蔵情報: loading…
41.

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

図書
図書
42. Logic programming : functions, relations, and equations
Doug DeGroot, Gary Lindstrom
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  vii, 533 p. ; 24 cm
所蔵情報: loading…
43.

図書
図書
43. Data structured program design. [Rev. ed.]
Kirk Hansen
出版情報: Englewood Cliffs, NJ : Prentice-Hall, 1986  xiii, 302 p. ; 25 cm
所蔵情報: loading…
44.

図書
図書
44. Algorithms : the construction, proof, and analysis of programs (: pbk)
Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
出版情報: Chichester [West Sussex] ; New York : J. Wiley, c1986  ix, 145 p. ; 23 cm
所蔵情報: loading…
45.

図書
図書
45. Program construction and verification (: pbk)
Roland C. Backhouse
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1986  281 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
46.

図書
図書
46. Fairness (: U.S. ; : Ger.)
Nissim Francez
出版情報: New York ; Tokyo : Springer, 1986  xiii, 295 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
47.

図書
図書
47. Computer science Logo style
Brian Harvey
出版情報: Cambridge, Mass. : MIT Press, c1985-c1986  2 v. ; 23 cm
所蔵情報: loading…
48.

図書
図書
48. A relational theory of computing (: gw ; : us)
John G. Sanderson
出版情報: Berlin : Springer-Verlag, 1980  vi, 147 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 82
所蔵情報: loading…
49.

図書
図書
49. Characteristics of program localities
by Alan Wayne Madison
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  xx, 115 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 5
所蔵情報: loading…
50.

図書
図書
50. Control and communication in programs
by Loretta Guarino Reid
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  viii, 163 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 13
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼