|
|
|
1001. |
Design and analysis of cross-over trials /
by Jones, Byran
Publication:
London ; New York : Chapman and Hall, 1989
. XII, 340 p. :
23 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1002. |
The language of first-order logic : including the program Tarski's World /
by Barwise, Jon
Publication:
Menlo Park : CSLI, 1990
. XIII, 259 p. ;
23 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1003. |
Contemporary issues in decision making /
Publication:
Amsterdam : North-Holland, 1990
. X, 472 p. :
, Papers presented at the 12th Research Conference on Subjec tive Probability, Utility, and Decision Making whichwas held in August 1989 in Moscow, USSR
25 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1004. |
Computability in analysis and physics /
by Pour-El, Marian
Publication:
Berlin : Springer-Verlag, 1989
. XII, 206 p. ;
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1005. |
Mathematical foundations of computer science 1990, Banska Bystrica, Czechoslovakia, August 27-31, 1990, proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VIII, 544 p. ;
24 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1006. |
Exemplar-based knowledge acquisition : a unified approach to concept representation, classification, and learning /
by Bareiss, Ray
Publication:
Boston : Academic Press, 1989
. XII, 169 p. :
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1007. |
Constrained global optimization : algorithms and applications /
by Pardalos, Panos M.
Publication:
Berlin : Springer-Verlag, 1987
. VII, 143 p. ;
25 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1008. |
Prolog, children and students /
Publication:
London : Kogan Page ; New York : Nichols Pub. Co., 1988
. 217 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1009. |
Boolean semantics for natural language /
by Keenan, Edward Louis
Publication:
Dordrecht : D. Reidel Publishing Company, 1985
. XII, 387 p. :
23 cm.
Date:1985
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1010. |
Fondamenti di sicurezza elettrica : valutazione dei rischi e analisi dei sistemi di protezione /
by Carrescia, Vito
Publication:
Milano : Ulrico Hoepli, 1984
. 635 p. :
24 cm.
Date:1984
Availability:
Copies available:
Area della Ricerca del CNR di Padova
(1),
Actions:
|
|
|
1011. |
Stacs 89 : 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, february 16-18, 1989 /
Publication:
Berlin : Springer Verlag, 1989
. VI, 543 p. ;
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1012. |
The foundations of program verification /
by Loeckx, Jacques
Publication:
Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, 1984
. IX, 230 p. :
24 cm.
Date:1984
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1013. |
Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. VI, 299 p. :
25 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1014. |
Fundamentals of soil science /
by Foth, Henry D.
Publication:
New York : John Wiley & sons, 1978
. 436 p. :
24 cm.
Date:1978
Availability:
Copies available:
Istituto per la tecnica del freddo
(1),
Actions:
|
|
|
1015. |
An introduction to mathematical logic and type theory : to truth through proof /
by Andrews, Peter Bruce
Publication:
Orlando : Academic Press, 1986
. XV, 304 p. ;
24 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1016. |
L'uomo elaboratore di informazioni : introduzione cognitivista alla psicologia /
by Lindsay, Peter H.
Publication:
Firenze : Giunti Barbera, 1983
. IX, 673 p. :
24 cm.
Date:1983
Availability:
Copies available:
Centro studi per ricerche di fonetica
(1),
Actions:
|
|
|
1017. |
Le nuove norme di sicurezza sul lavoro : come applicare il decreto legislativo n. 626 del 19 settembre 1994, un vademecum per gli adempimenti urgenti e prioritari, le nuove figure professionali introdotte, termini, decorrenza obblighi, sanzioni /
by Vinci, Marco
Publication:
Rimini : Maggioli, 1995
. 369 p. ;
24 cm.
Date:1995
Availability:
Copies available:
Ufficio sicurezza e prevenzione
(1),
Actions:
|
|
|
1018. |
The ecology of computation /
Publication:
Amsterdam : North Holland, 1988
. VI, 342 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1019. |
Impianti elettrici nei centri di calcolo /
by Cerasoli, Roberto
Publication:
Milano : Delfino, 1981
. 55 p. :
22 cm.
Date:1981
Availability:
Copies available:
Area della Ricerca del CNR di Padova
(1),
Actions:
|
|
|
1020. |
Programming with sets : an introduction to SETL /
Publication:
New York : Springer-Verlag, 1986
. XV, 493 p :
25 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
