|
|
|
201. |
A programming approach to computability /
by Kfoury, A. J.
Publication:
New York : Springer-Verlag, 1982
. VIII, 251 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
202. |
6th conference of automated deduction, New York, USA, June 7-9, 1982 /
Publication:
Berlin : Springer-Verlag, 1982
. VII, 389 p. ;
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
203. |
Reasoning from incomplete knowledge in a procedural deduction system /
by Moore, Robert C.
Publication:
New York : Garland Pub., 1980
. 112 p. :
, Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.
21 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
204. |
Building expert systems /
Publication:
Reading : Addison-Wesley Publishing Company, 1983
. XVI, 444 p. :
25 cm.
Date:1983
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
205. |
Matrix eigensystem routines : EISPACK guide extension /
Publication:
Berlin : Springer-Verlag, 1977
. VIII, 343 p. ;
25 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
206. |
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 527 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
207. |
Computer-aided modelling and simulation /
by Spriet, Jan A.
Publication:
London ; New York : Academic Press, 1982
. X, 490 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
208. |
Introduction to Pascal /
by Welsh, Jim
Publication:
Englewood Cliffs : Prentice-Hall International, 1982
. XXI, 307 p. :
23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
209. |
The science of programming /
by Gries, David
Publication:
New York : Springer-Verlag, 1981
. XIII, 366 p. ;
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
210. |
A basis for theoretical computer science /
by Arbib, Michael A.
Publication:
New York : Springer-Verlag, 1981
. VIII, 220 p. :
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
211. |
Principles of programming languages /
by Tennent, R. D.
Publication:
Englewood Cliffs : Prentice / Hall International, 1981
. XIV, 271 p. :
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
212. |
International symposium on programming : 5th colloquium Turin, April 6-8, 1982 /
Publication:
Berlin : Springer Verlag, 1982
. VI, 405 p. ;
24 cm.
Date:1982
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
213. |
Thinking with models : mathematical models in the physical, biological, and social sciences /
by Saaty, Thomas L.
Publication:
Oxford ; New York : Pergamon Press, 1981
. XI, 181 p. :
26 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
214. |
Simulation modeling and analysis /
by Law, Averill M.
Publication:
New York : McGraw-Hill, 1982
. XIV, 400 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
215. |
Towards a formal description of Ada /
Publication:
Berlin : Springer-Verlag, 1980
. XII, 630 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
216. |
Programming methodology : a collection of articles by members of IFIP WG2.3 /
Publication:
New York : Springer-Verlag, 1978
. XIV, 437 p. :
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
217. |
Research directions in software technology /
Publication:
Cambridge, (Mass.) : The MIT Press, 1979
. XIII, 896 p. :
23 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
218. |
Vol. 1
Publication:
Berlin ; New York : Springer-Verlag, 1976
. XIV, 854 :
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
219. |
Introduction to automata theory, languages, and computation /
by Hopcroft, John E.
Publication:
Reading : Addison-Wesley, 1979
. X, 418 p. :
24 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
220. |
International Symposium on Programming : proceedings of the Fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /
Publication:
Berlin : Springer-Verlag, 1980
. VII, 341 p. ;
24 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
