|
|
|
421. |
The design of well-structured and correct programs /
by Alagic, Suad
Publication:
New York : Springer-Verlag, 1978
. X, 292 p. :
25 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
422. |
Computer networks and Internets : with Internet applications /
by Comer, Douglas E.
Publication:
Upper Saddle River : Prentice Hall, 2001
. XXIX, 683 p. :
, http://netbook.cs.purdue.edu/
24 cm.
Date:2001
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
423. |
S Programming /
by Venables, William N.
Publication:
New York : Springer Verlag, 2000
. X, 264 p. :
24 cm.
Date:2000
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
424. |
Complexity and information /
by Traub, Joseph Frederick
Publication:
Cambridge : Cambridge University Press, 1999
. XII, 139 p. ;
22 cm.
Date:1999
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
425. |
Applied functional analysis /
by Balakrishnan, A. V.
Publication:
New York : Springer-Verlag, 1976
. X, 309 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
426. |
A guide to Fortran IV programming /
by McCracken, Daniel D.
Publication:
New York : Wiley, 1965
. VIII, 151 p. :
28 cm.
Date:1965
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
427. |
Automata, languages, and programming : third International Colloquium at the University of Edinburgh /
Publication:
Edinburgh : University Press, 1976
. VI, 559 p. ;
, English or French
24 cm.
Date:1976
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
428. |
Solving the frame problem : a mathematical investigation of the common sense law of inertia /
by Shanahan, Murray
Publication:
Cambridge : The Mit Press, 1997
. XXXIV, 407 p. :
24 cm.
Date:1997
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
429. |
Lisp in small pieces /
by Queinnec, Christian
Publication:
Cambridge : Cambridge University Press, 1996
. XX, 514 p. ill. ;
26 cm.
Date:1996
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
430. |
Discrete-time Markov control processes : basic optimality criteria /
by Hernandez-Lerma, Onesimo
Publication:
New York : Springer-Verlag, 1996
. XIV, 216 p. :
24 cm.
Date:1996
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
431. |
ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 /
Publication:
Berlin : Springer-Verlag, 1976
. VIII, 322 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
432. |
The JAVA programming language /
by Arnold, Ken
Publication:
Reading : Addison Wesley, 1996
. XVIII, 329 p. ;
24 cm.
Date:1996
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
433. |
Programming methodology : 4th Informatik Symposium, IMB Germany, Widbad, September 25-27, 1974, proceedings /
Publication:
Berlin : Springer-Verlag, 1975
. VI, 501 p. ;
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
434. |
Simple program schemes and formal languages /
by Engelfriet, Joost
Publication:
Berlin : Springer Verlag, 1974
. VI, 254 p. ;
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
435. |
Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 /
Publication:
Berlin : Springer-Verlag, 1974
. 310 p. ;
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
