|
|
|
141. |
Belief revision /
by Gardenfors, Peter
Publication:
Cambridge : Cambridge University Press, 1992
. 277 p. ;
26 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
142. |
Type theory and functional programming /
by Thompson, Simon
Publication:
Workingham, [England] : Addison-Wesley Publishing Company, 1991
. XV, 372 p. ;
24 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(2),
Actions:
|
|
|
143. |
Intelligent robotic systems : theory, design and applications /
by Valavanis, Kimon P.
Publication:
Boston : Kluwer Academic Publishers, 1992
. XIX, 251 p. ;
24 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
144. |
An introduction to functional programming through lambda calculus /
by Michaelson, Greg,
Publication:
Wokingham : Addison Wesley, 1989
. XV, 320 p. ;
23 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(2),
Actions:
|
|
|
145. |
An introduction to functional programming systems using Haskell /
by Davie, Antony J. T.
Publication:
Cambridge : Cambridge University Press, 1991
. XIV, 290 p. :
23 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
146. |
Foundations of object-oriented languages : proceedings of the REX School /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 442 p. ;
25 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
147. |
An introduction to functional programming /
by Bird, Richard J.
Publication:
New York : Prentice, 1988
. XV, 293 p. ;
23 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
148. |
Constructive methods in computing science : international summer school directed by F. L. Bauer ...[et al.] /
by Constructive Methods in Computing Science
Publication:
Berlin : Springer, 1989
. VIII, 478 p. ;
, Proceedings of the NATO Advances Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Fe deral Republic of Germany, July 24 august 5, 1988
25 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
149. |
Topics in expert system design : methodologies and tools /
by Guida, Giovanni
Publication:
Amsterdam : North Holland, 1989
. VIII, 441 p. ;
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
150. |
Parallel lisp: languages and systems : proceedings of the US /
Publication:
Berlin : Springer Verlag, 1990
. 214 p. ;
24 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
151. |
Machine learning, meta-reasoning, and logics /
Publication:
Boston : Kluwer Academic Publishers, 1990
. XX, 328 p. :
26 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
152. |
Stacs 89 : 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, february 16-18, 1989 /
Publication:
Berlin : Springer Verlag, 1989
. VI, 543 p. ;
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
153. |
Discrete mathematical structures with applications to computer science /
by Tremblay, Jean Paul
Publication:
New York : McGraw-Hill, 1975
. XVI, 606 p. :
24 cm.
Date:1975
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
154. |
Languages and machines : an introduction to the theory of computer science /
by Sudkamp, Thomas A.
Publication:
Reading : Addison-Wesley, 1988
. XV, 444 p. :
24 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
155. |
Concurrent program structures /
by Bustard, David
Publication:
New York : Prentice Hall, 1988
. XI, 321 p. :
24 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
156. |
Functional programming using standard ML /
by Wikstrom, Ake
Publication:
London : Prentice Hall, 1987
. XVII, 446 p. ;
24 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
157. |
Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1988
. IV, 218 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
158. |
Fuzzy sets, natural language computations, and risk analysis /
by Schmucker, Kurt J.
Publication:
Rockville, [Md.] : Computer Science Press, 1984
. XV, 192 p. :
24 cm.
Date:1984
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
159. |
The design of dynamic data structures /
by Overmars, Mark H.
Publication:
Berlin : Springer-Verlag, 1983
. VII, 181 p. :
24 cm.
Date:1983
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
160. |
Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /
Publication:
Berlin : Springer-Verlag, 1986
. IX, 720 p. :
24 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
