|
|
161. |
An introduction to computer science : an algorithmic approach /
by Tremblay, Jean-Paul
Publication:
New York : McGraw-Hill, 1979
. XX, 636 p. :
25 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
162. |
Algorithms + data structures = programs /
by Wirth, Niklaus
Publication:
Englewood Cliffs : Prentice-Hall, 1976
. XVII, 366 p. :
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
163. |
Compiler design theory /
by Lewis, Philip M.
Publication:
Reading : Addison-Wesley Pub. Co., 1976
. XX, 647 p. ;
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
164. |
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:
|
|
|
165. |
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /
Publication:
Berlin : Springer-Verlag, 1977
. X, 496 p. ;
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
166. |
Designing interactive speech systems : from first ideas to user testing /
by Bernsen, Niels Ole
Publication:
London : Springer, 1998
. VIII, 276 p. :
24 cm.
Date:1998
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
167. |
Part a: Indices and appendices, fundamental concepts, mathematical foundations
by Milne, Robert
Publication:
London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976
. 368 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
168. |
Definition of programming languages by interpreting automata /
by Ollongren, Alexander
Publication:
London ; New York : Academic Press, 1974
. XI, 290 p. :
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
169. |
Programming languages : design and implementation /
by Pratt, Terrenc W.
Publication:
Englewood Cliffs : Prentice-Hall, 1975
. XIV, 530 p. :
24 cm.
Date:1975
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
170. |
Mathematical foundation of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /
Publication:
Berlin : Springer-Verlag, 1978
. IX, 551 p. :
25 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
171. |
A discipline of programming /
by Dijkstra, Edsger Wybe
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1976
. XVII, 217 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
172. |
Complementary definitions of programming language semantics /
by Donahue, James Edward
Publication:
Berlin ; New York : Springer-Verlag, 1976
. 172 p. ;
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
173. |
Top-down structured programming techniques /
by McGowan, Clement L.
Publication:
New York : Petrocelli / Charter, 1975
. VI, 288 p. :
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
174. |
Multivariate procedures for the behavioral sciences /
by Cooley, William W. K.
Publication:
New York : Wiley, 1962
. X, 211 p. :
25 cm.
Date:1962
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
175. |
Introduction to parallel algorithms and architectures : arrays, tress, hypercubes /
by Leighton, F. Thomson
Publication:
San Mateo : Kaufmann, 1992
. XVIII, 831 p. :
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
176. |
Part b: Standard semantics, store semantics, stack semantics
by Milne, Robert
Publication:
London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976
. 368 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
177. |
Vol. 2: Deductive systems
by Manna, Zohar
Publication:
Reading : Addison-Wesley, 1990
. XIII, 642 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
178. |
Vol. 3: Software modeling /
by Chandy, K. Mani
Publication:
Englewood Cliffs (N.J.) : Prentice-Hall, 1978
. XI, 275 p. ;
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
179. |
Vol. 2: Program validation /
by Yeh, Raymond Tzuu-Yau
Publication:
Englewood Cliffs (N.J.) : Prentice-Hall, 1977
. XI, 275 p. ;
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
180. |
Vol. 4: Data structuring /
by Yeh, Raymond Tzuu-Yau
Publication:
Englewood Cliffs (N.J.) : Prentice-Hall, 1978
. XI, 275 p. ;
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|