Results
|
|
|
|
|
|
|
|
|
|
|
Model Theory / C. C. Chang, H. J. Keisler Publication: Amsterdam : North-Holland Publishing Company, cop. 1977Description: XII, 533 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA9.7.CHA FCT 293 (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Data base management systems : proceedings of the share working conference on data base management systems,Montrael, Canada july 23-27, 1973 / Donald A. Jardine, ed. lit. Publication: Amsterdam : North Holland Publishing Company, cop. 1974Description: X, 279 p. :
il. ;
24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: FCT/INF254 FCT 254 (1). :
|
|
|
|
|
|
|
|
|
|
|
|
Medino 74 : proceedings of the first world conference on medical informatics, Stockholm, August 5-10, 1974 : vol. 1 / John Anderson, J. Malcolm Forsythe, ed. lit. Publication: Amsterdam : North Holland Publishing Company, cop. 1974Description: XXXIV, 551 p. :
il. ;
28 cmAvailability: Items available for loan: Call number: FCT/INF1169 FCT 1169 (1).
|
|
|
|
Medinfo 74 : proceedings of the first World Conference on Medical Informatics, Stockholm, August 5-10, 1974 : vol. 2 / John Anderson, J. Malcolm Forsythe, ed. lit. Publication: Amsterdam : North-Holland Publishing Company, cop. 1974Description: XIV, p. 553-1192 :
il. ;
28 cmAvailability: Items available for loan: Call number: FCT/INF30155 FCT 30155 (1).
|
|
|
|
Algorithmic languages : proceedings of the international Symposium on Algorithmic Languages, held in Amsterdam, The Nederlands, 26-29 October, 1981 / J. W. De Bakker, J. C. Van Vliet, ed. lit. Publication: Amsterdam : North-Holland Publishing Company, cop. 1981Description: XXVI, 431 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.7.ALG FCT 26727 (1).
|
|
|
|
Formal description of programming concepts : vol. II : proceedings of the IFIP working conference on formal description of programming concepts - II, held in Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / Dines Bjorner, ed. lit. Publication: Amsterdam : North-Holland Publishing Company, cop. 1983Description: XI, 455 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.6.FOR FCT 26730 (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
