Results
|
|
|
Methodologies for intelligent systems : proceedings of the 7th international symposium, ISMIS'93, held in Trondheim, Norway, June 15-18, 1993 / Jan Komorowski, Zbigniew W. Ras, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XI, 651 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 23645 (1).
|
|
|
|
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program synthesis and transformation, Louvain-la Neuve, Belgium, 7-9 July, 1993 / Yves Deville, ed. lit. Publication: London : Springer-Verlag, cop. 1994Description: XII, 245 p. :
il. ;
24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA76.63.LOG FCT 23646 (1). :
|
|
|
|
|
|
|
|
|
|
|
|
Elliptic differential equations : theory and numerical treatment / W. Hackbusch Publication: New York : Springer-Verlag, cop. 1987Description: XIV, 311 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA377.HAC FCT 24219 (1).
|
|
|
|
Advances in computer graphics II / F. R. A. Hopgood, R. J. Hubbold, D. A. Duce, ed. lit. Publication: New York : Springer-Verlag, cop. 1986Description: 186 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: T385.ADV FCT 24326 (1).
|
|
|
|
|
|
|
|
Minimal projections in Banach spaces / Wtodzimierz Odyniec, Grzegorz Lewicki Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1990Description: VIII, 168 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA322.2.LEC FCT 24285 (1).
|
|
|
|
|
|
|
|
Air pollution / C. Gries ... [et al.] Publication: New York : Springer-Verlag, cop. 1991Description: VII, 185 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QD31.HAN FCT 24730 (1).
|
|
|
|
On the shape of mathematical arguments / A.J.M. van Gasteren ; trad. Edsger W. Dijkstra Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1990Description: VII, 180 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 21933 (1).
|
|
|
|
Category theory and computer science : proceedings held in Manchester, UK, September 5-8, 1989 / D. H. Pitt, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1989Description: VI, 365 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 21934 (1).
|
|
|
|
Banach lattices / Peter Meyer-Nieberg Publication: Berlin [etc.] : Springer-Verlag, cop. 1991Description: XV, 395 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA326.MEY FCT 21954 (1).
|
|
|
|
|
|
|
|
Organic superconductors / T. Ishiguro, K. Yamaji, ed. lit. Publication: London : Springer-Verlag, cop. 1990Description: X, 288 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QC612.ORG FCT 24065 (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
