|
|
|
121. |
Programming in Martin Lof' s type theory : an introduction /
by Nordstrom, Bengt
Publication:
Oxford : Clarendon Press, 1990
. 221 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
122. |
Topics in expert system design : methodologies and tools /
by Guida, Giovanni
Publication:
Amsterdam : North Holland, 1989
. VIII, 441 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
123. |
Specification and transformation of programs : a formal approach to software development /
by Partsch, Helmut A.
Publication:
Berlin ; New York : Springer-Verlag, 1990
. XIII, 493 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
124. |
Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /
Publication:
Berlin : Springer Verlag, 1990
. VI, 338 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
125. |
COMMON LISP /
by Hennessey, Wade L.
Publication:
New York : McGraw-Hill, 1989
. XV, 395 p. :
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
126. |
Common LISP programming for artificial intelligence. /
by Hasemer, Tony
Publication:
Wokingham, [England] : Addison-Wesley, 1989
. XIII, 444 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
127. |
Vol. 1
Publication:
La Jolla : SCS, 1984
. XXIX, 693 p. :
26 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
128. |
Human factors and typography for more readable programs /
by Baecker, Ronald M.
Publication:
Reading : Addison-Wesley, 1990
. XX, 348 p. :
, A collaboration between the Association for Computing Machinery (ACM) and Addison-Wesley Publishing Company
28 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
129. |
Blackboard systems /
Publication:
Wokinghan : Addison-Wesley, 1988
. XVIII, 602 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
130. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
131. |
The foundations of program verification /
by Loeckx, Jacques
Publication:
Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, 1984
. IX, 230 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
132. |
CAD Based Programming for Sensory Robots /
Publication:
Berlin : Springer-Verlag, 1988
. IX, 565 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
133. |
High level language and their compilers /
by Watson, Des
Publication:
Wokingham : Addison-Wesley, 1989
. XII, 337 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
134. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
135. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
136. |
Concurrent program structures /
by Bustard, David
Publication:
New York : Prentice Hall, 1988
. XI, 321 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
137. |
Constraint programming languages : their specification and generation /
by Leler, William
Publication:
Reading : Addison-Wesley Pub. Co., 1988
. VI, 202 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
138. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
139. |
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:
|
|
|
140. |
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:
No items available:
Checked out (1),
Actions:
|
|
