>> Google Books
所蔵情報QRコード

Subrecursive programming systems : complexity & succinctness / James S. Royer, John Case

資料種別:
図書
出版情報:
Boston : Birkhäuser, 1994
形態:
vii, 252 p. ; 25 cm
シリーズ名:
Progress in theoretical computer science <BA1282110X>
著者名:
ISBN:
9780817637675 [0817637672] (:us)
9783764337674 [3764337672] (:sz)
書誌ID:
BA2344691X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 A connotational theory of program structure (: gw ; : us)

Royer, James S., 1952-

Springer-Verlag
7 図書 Computer programs for spelling correction : an experiment in program design (: gw ; : us)

Peterson, James Lyle, 1949-

Springer-Verlag
2 図書 Systems programming

Donovan, John J.

McGraw-Hill Kogakusha
8 図書 FORTRAN IV : programming and computing

Golden, James T.

Prentice-Hall
3 図書 Systems programming

Donovan, John J.

McGraw-Hill
9 図書 Genetic programming : on the programming of computers by means of natural selection ([1] ; 2)

Koza, John R.

MIT Press
4 図書 Fundamental concepts of programming systems

Ullman, Jeffrey D., 1942-

Addison-Wesley
10 図書 Abstraction and specification in program development (: MIT Press ; : McGraw-Hill)

Liskov, B., Guttag, John

MIT Press, McGraw-Hill
5 図書 The IOTA programming system : a modular programming environment (: gw ; : us)

中島, 玲二(1947-), 湯淺, 太一(1952-)

Springer-Verlag
11 図書 Functional programming : languages, tools and architectures (: Horwood ; : Halsted)

Eisenbach, S., 1951-

E. Horwood, Halsted Press
6 電子ブック A Connotational Theory of Program Structure

Royer, James S., SpringerLink (Online service)
12 図書 Specification of computer programs

Turski, Władysław, Maibaum, Thomas S. E., 1947-

Addison-Wesley
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12