|
|
|
1001. |
Communicating sequential processes /
by Hoare, Charles Antony Richard
Publication:
Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985
. VIII, 256 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1002. |
Program construction and verification /
by Backhouse, Roland C.
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall International, 1986
. XI, 281 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1003. |
Programmare in Prolog /
by Clocksin, W. F.
Publication:
Milano : Franco Angeli, 1986
. 285 p. ;
22 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1004. |
New stochastic methods in physics /
Publication:
Amsterdam : North-Holland, 1981
. 259 p. ;
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1005. |
I fondamenti della teoria del linguaggio /
by Hjelmselv, Louis
Publication:
Torino : Einaudi, 1968
. XXXIV, 157 p. ;
22 cm.
Date:1968
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1006. |
Fuzzy sets theory and applications /
Publication:
Dordrecht : D. Reidel, 1986
. XII, 403 p. ;
, Proceedings of the NATO Advanced Study Institute on Fuzzy Sets Theory and Applications, Louvain-la-Neuve, Belgium, 8-20 July 1985
24 cm.
Date:1986
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
1007. |
Computers in cardiology 1988 : september, 25-28, Washington, D. C
Publication:
Washington : IEEE, 1988
. XX, 594 p. :
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1008. |
Dizionario enciclopedico delle scienze del linguaggio /
by Ducrot, Oswald
Publication:
Milano : ISEDI, 1972
. XVIII, 465 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1009. |
Structures and procedures of implicit knowledge /
by Graesser, Arthur C.
Publication:
Norwood : Ablex Publishing Corporation, 1985
. VIII, 326 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1010. |
Programming in Prolog /
by Clockisin, W. F.
Publication:
Berlin : Springer-Verlag. 1984
. XV, 297 p. ;
24 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1011. |
Pasro : pascal for robots /
by Blume, Christian
Publication:
Berlin : Springer-Verlag, 1985
. VIII, 133 p. :
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1012. |
Proceedings of a Conference on simulation in health care delivery systems : February 2-4, 1984, San Diego /
Publication:
La Jolla : the Society for Computer Simulation, 1984
. VII, 120 p. ;
27 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1013. |
Robot safety /
by Bonney, Maurice C.
Publication:
Kempston, Bedford, UK : IFS (Publications) ; Berlin ; New York : Springer-Verlag, 1985
. 295 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1014. |
Vol. 20: part 2
Publication:
New York : Academic Press, 1983
. XIX, 410 p. ;
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1015. |
Vol. 19: part 1
Publication:
New York : Academic Press, 1983
. XVII, 373 p. ;
, Volumes 1-8 published under the title: Advances in control systems
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1016. |
Vol. 18
Publication:
New York : Academic Press, 1982
. XVIII, 427 p. ;
, Volumes 1-8 published under the title: Advances in control systems
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1017. |
Vol. 17
Publication:
New York : Academic Press, 1981
. XVIII, 424 p. ;
, Volumes 1-8 published under the title: Advances in control systems
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1018. |
Foundamentals of the tracer methods /
by Welch, Teresa
Publication:
Philadelphia : Saunders, 1972
. X, 187 p. :
25 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1019. |
Vol. 1: Les origines de la civilisation technique /
Publication:
Paris : Presses Universitaires de France, 1962
. XVI, 652 p. :
23 cm.
Date:1962
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1020. |
Fundamentals of air pollution /
Publication:
San Diego : Academic Press, 1994
. XX, 574 p. :
25 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
