|
|
|
Refrigeração e ar condicionado / W. F. Stoecker, J. W. JonesPublication: Rio de Janeiro : McGraw-Hill, cop. 1985Description: XV, 481 p. :
il. ;
25 cmAvailability: Items available for loan: [TH7687.STO FCT 19275] (1).
|
|
|
|
Renacimiento y barroco : vol. II : el arte italiano de Miguel Ángel a Tiépolo / Giulio Carlo Argan ; traducción de J. A. Calatrava EscobarPublication: Madrid : Ediciones Akal, cop. 1999Description: 387 p. :
il. ;
24 cmAvailability: Items available for loan: [N6370.ARG FCT 56505] (1).
|
|
|
|
Arboles y arbustos de Europa : con dibujos de Barbara Everard / Oleg Polunin ; trad. Ramón Margalef MirPublication: Barcelona : Ediciones Omega, cop. 1989Description: XVI, 224 p. :
il. ;
22 cmAvailability: Items available for loan: [QK485.POL FCT 19742] (1).
|
|
|
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: III, 331 p. :
il. ;
24 cmAvailability: Items available for loan: [QA9.CHA FCT 21234] (1).
|
|
|
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. :
il. ;
24 cmAvailability: Items available for loan: [QA9.CHA FCT 21235] (1).
|
|
|
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. :
il. ;
24 cmAvailability: Items available for loan: [QA9.CHA FCT 21236] (1).
|
|
|
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. :
il. ;
24 cmAvailability: Items available for loan: [QA9.CHA FCT 21237] (1).
|
|
|
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. :
il. ;
24 cmAvailability: Items available for loan: [QA9.CHA FCT 21238] (1).
|
|
|
|
Engenharia de informação : metodologia, técnicas e ferramentas / Acácio Feliciano Neto, José Davi Furlan, Wilson HigaPublication: São Paulo : McGraw-Hill do Brasil, cop. 1988Description: 262 p. :
il. ;
24 cmAvailability: Items available for reference: [TA168.FEL FCT 21265] (1).
|
|
|
|
Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: [Q335.ROW FCT 21470] (1).
|
|
|
|
Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: [Q335.ROW FCT 21471] (1).
|
|
|
|
Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: [Q335.ROW FCT 21472] (1).
|
|
|
|
Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: [Q335.ROW FCT 21473] (1).
|
|
|
|
Artificial intelligence through PROLOG / Neil C. RowePublication: Englewood Cliffs, US : Prentice-Hall International, cop. 1988Description: XX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: [Q335.ROW FCT 21474] (1).
|
|
|
|
Structured computer organization / Andrew S. TanenbaumPublication: Englewood Cliffs, US : Prentice-Hall, cop. 1990Description: XVII, 587 p. :
il. ;
24 cmAvailability: Items available for loan: [QA76.6.TAN FCT 21480] (1).
|
|
|
|
Structured computer organization / Andrew S. TanenbaumPublication: Englewood Cliffs, US : Prentice-Hall , cop. 1990Description: XVII, 587 p. :
il. ;
24 cmAvailability: Items available for loan: [QA76.6.TAN FCT 21481] (1).
|
|
|
|
Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. :
il. ;
23 cmAvailability: Items available for loan: [Q335.RIC FCT 21500] (1).
|
|
|
|
Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. :
il. ;
23 cmAvailability: Items available for loan: [Q335.RIC FCT 21501] (1).
|
|
|
|
Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. :
il. ;
23 cmAvailability: Items available for loan: [Q335.RIC FCT 21502] (1).
|
|
|
|
Artificial intelligence / Elaine Rich, Kevin KnightPublication: New York : McGraw-Hill Book Company, cop. 1991Description: XVII, 621 p. :
il. ;
23 cmAvailability: Items available for loan: [Q335.RIC FCT 21503] (1).
|
