|
|
|
161. |
Attribute grammars : definitions, systems, and bibliography /
by Deransart, Pierre
Publication:
Berlin : Springer-Verlag, 1988
. IX, 232 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
162. |
Temporal logics and their applications /
Publication:
London ; San Diego : Academic Press, 1987
. XII, 244 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
163. |
Comparative programming languages /
by Wilson, Leslie B.
Publication:
Wokingham ; Reading : Addison-Wesley, 1988
. XIII, 379 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
164. |
Macintosh : designing cards and drivers for Macintosh II and Macintosh SE
by Apple Computers Inc.
Publication:
Reading : Addison-Wesley, 1987
. (paginazione varia) :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
165. |
Computer graphics : a programming approach /
by Harrington, Steve
Publication:
New York : McGraw-Hill Book Company, 1987
. IX, 466 p. ;
21 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
166. |
Automated reasoning : 33 basic research problems /
by Wos, Larry
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1988
. XIII, 319 p. ;
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
167. |
MetaSoft primer : towards a metalanguage for applied denotational semantics /
by Blikle, Andrzej
Publication:
Berlin : Springer-Verlag, 1987
. XII, 140 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
168. |
Meta-level architectures and reflection /
Publication:
Amsterdam ; New York : North-Holland ; New York, 1988
. 124 p. ;
, Papers presented at the Workshop Meta-level Architectures and Reflection, held in Alghero, Italy, during October 27-10 1986 sponsored by the Cost-13 Project n. 21
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
169. |
Object-oriented concurrent programming /
Publication:
Cambridge, (Mass.) : The MIT Press, 1987
. 282 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
170. |
Principles of functional programming /
by Glaser, Hugh
Publication:
Englewood Cliffs, (N.J.) : Prentice/Hall International, 1984
. XI, 251 p. :
, QA76.6.G558
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
171. |
Electronic digital systems /
by Richards, Richard Kohler
Publication:
New York : Wiley, 1966
. IX, 637 p. :
24 cm.
Date:1966
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
172. |
Catalogue of artificial intelligence tools /
Publication:
Berlin ; New York : Springer-Verlag, 1986
. 168 p. ;
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
173. |
Programming languages for industrial robots /
by Blume, Christian
Publication:
Berlin ; New York : Springer-Verlag, 1986
. XIII, 376 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
174. |
The elements of friendly software design /
by Heckel, Paul
Publication:
New York : Warner Books, 1984
. XVI, 205 p. :
21 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
175. |
Program construction and verification /
by Backhouse, Roland C.
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall International, 1986
. XI, 281 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
176. |
Introduction to logic programming /
by Hogger, Christopher John
Publication:
London ; Orlando : Academic Press, 1984
. XII, 278 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
177. |
Computers in cardiology 1988 : september, 25-28, Washington, D. C
Publication:
Washington : IEEE, 1988
. XX, 594 p. :
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
178. |
Computers in cardiology : Chicago, Illinois, september 23-26, 1990
Publication:
Washington : IEEE, 1990
. XXII, 712 p. ;
28 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
179. |
Current trends in concurrency : overviews and tutorials /
Publication:
Berlin : Springer-Verlag, 1986
. XII, 716 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
180. |
Automated reasoning : introduction and applications /
Publication:
Englewood Cliffs, (N.J) : Prentice-Hall, 1984
. XIV, 482 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
