|
|
|
181. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
182. |
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:
|
|
|
183. |
STACS 86 : proceedings of the 3rd Annual symposium on theoretical aspects of computer science, Orsay, France, January 16-18, 1986 /
Publication:
Berlin : Springer-Verlag, 1986
. IX, 368 p. ;
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
184. |
A guide to Modula-2 /
by Christian, Kaare
Publication:
New York : Springer-Verlag, 1986
. XIX, 436 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
185. |
Programming expert systems in OPS5 : an introduction to rule-based programming /
Publication:
Reading (Mass.) : Addison-Wesley, 1985
. XVIII, 471 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
186. |
Vol. 1: Deductive reasoning
by Manna, Zohar
Publication:
Reading : Addison-Wesley, 1985
. XII, 618 p. :
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
187. |
Functional programming languages and computer architecture : Nancy, France, September 1985 /
Publication:
Berlin ; New York : Springer-Verlag, 1985
. VI, 413 p. :
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
188. |
Empirical analysis for expert systems /
by Politakis, Peter G.
Publication:
Boston : Pitman Advanced Pub. Program, 1985
. 123 p. ;
, Revision of thesis (Ph.D.) - Rutgers University.
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
189. |
New computer architectures /
Publication:
London ; Orlando : Academic Press, 1984
. XIII, 289 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
190. |
Programming in Modula-2 /
by Wirth, Niklaus
Publication:
Berlin ; New York : Springer-Verlag, 1983
. 176 p. :
25 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
191. |
Foundations of software technology and theoretical computer science : 4th conference, Bangalore, India, Dec. 13-15,1984 : proceedings /
Publication:
Berlin : Springer-Verlag, 1984
. VIII, 468 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
192. |
Smalltalk-80 : bits of history, words of advice /
Publication:
Reading : Addison-Wesley Pub. Co., 1983
. VIII, 344 p. :
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
193. |
Rule-based expert systems : the MYCIN experiments of the Stanford Heuristic Programming Project /
Publication:
Reading : Addison-Wesley, 1984
. XIX, 748 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
194. |
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
Publication:
Berlin : Springer-Verlag, 1984
. XI, 581 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
195. |
EUROSAM 84 : International Symposium on symbolic and algebraic computation, Cambridge, England, July 9-11, 1984 /
Publication:
Berlin : Springer-Verlag, 1984
. XI, 396 p. ;
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
196. |
Automata, languages and programming : proceedings of the 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 526 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
197. |
Logic and machines : decision problems and complexity : proceedings of the Symposiium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frudlagenforschung der Universitat Munster-Westfalen /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 456 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
198. |
Algorithms /
by Sedgewick, Robert
Publication:
Reading : Addison Wesley Publishing Co., 1983
. VIII, 551 p. :
25 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
199. |
Micro-PROLOG : programming in logic /
by Clark, Keith L.
Publication:
Englewood Cliffs, [N. J.] : Prentice/Hall International, 1984
. XI, 401 p. :
23 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
200. |
Smalltalk-80 : the language and its implementation /
by Goldberg, Adele
Publication:
Reading : Addison-Wesley, 1983
. XX, 714 p. :
25 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
