Results
|
|
|
|
|
|
|
|
Logic for applications / Anil Nerode, Richard A. Shore Publication: New York : Springer, cop. 1997Description: XIII, 456 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.9.NER FCT 36401 (1).
|
|
|
|
|
|
Large-scale optimization with applications : part I : optimizatiom in inverse problems and design / Lorenz T. Biegler, ed. lit. ... [et al.] Publication: New York : Springer-Verlag, cop. 1997Description: XV, 204 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA402.5.LAR FCT 36761 (1).
|
|
|
|
|
|
|
|
|
Advances in intelligent data analysis : reasoning about data : second international symposium, IDA-97, London, UK, August 4-6, 1997 : proceedings / Xiaohui Liu, Paul Cohen, Michael Berthold, ed. lit. Publication: Berlin : Springer-Verlag, cop. 1997Description: XII, 620 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 36427 (1).
|
|
|
Oeuvres scientifiques / René Baire Publication: Paris : Gauthier-Villars, cop. 1990Description: VI, 569 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q141.BAI FCT 37116 (1).
|
|
|
Discrete mathematics with graph theory / Edgar G. Goodaire, Michael M. Parmenter Publication: Upper Saddle River, US : Prentice Hall, cop. 1998Description: XIX, 527 p. :
il ;
24 cmAvailability: Items available for loan: Call number: QA39.2.GOO FCT 36521 (1).
|
|
|
Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa Publication: New York : Prentice Hall, cop. 1994Description: XVI, 197 p. ;
24 cmAvailability: Items available for loan: Call number: QA9.63.ROZ FCT 37359 (1).
|
|
|
Category theory and computer science : 7th international conference, CTCS' 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini, ed. lit. Publication: New York : Springer, cop. 1997Description: VIII, 313 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 37373 (1).
|
|
|
|
|
|
|
|
|
|
|
|
Applied wavelet analysis with s-plus / Andrew Bruce, Hong.Ye Gao Publication: New York [etc.] : Springer, cop. 1996Description: XXI, 338 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: TK5102.9.BRU FCT 38514 (1).
|
|
|
|
|
|
Sucessões e séries : exercícios / Manuel Alberto M. Ferreira Publication: Lisboa : Edições Sílabo, cop. 1999Description: 120 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA292.FER FCT 60983 (1).
|
|
|
Sucessões e séries : exercícios / Manuel Alberto M. Ferreira Publication: Lisboa : Edições Sílabo, cop. 1999Description: 120 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA292.FER FCT 38621 (1).
|