|
|
|
1. |
Computer programs for computational assistance in the study of linear control theory /
by Melsa, James L.
Publication:
New York : McGraw-Hill, 1973
. IV, 198 p. :
23 cm.
Date:1973
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
2. |
Theory of program structures : schemes, semantics, verification /
by Greibach, Sheila A.
Publication:
Berlin ; New York : Springer-Verlag, 1975
. 1 vol. (varie sequenze) :
Date:1975
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
3. |
Planning and understanding : a computational approach to human reasoning /
by Wilensky, Robert
Publication:
Reading : Addison-Wesley Pub. Co. ; Advanced Book Program, 1983
. XIV, 168 p. ;
24 cm.
Date:1983
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
