1
Material Type:
Livro
8th International Conference on Automated Deduction Oxford, England , July 27-August 1, 1986 : proceedings
International Conference on Automated Deduction (8th 1986 Oxford, England ) Jörg H Siekmann
Berlin Springer-Verlag New York c1986
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.8 In8d 8. ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Learning robots 6th European Workshop, EWLR-96, Brighton, England , August 1-2, 1997 : proceedings
EWLR '96 (1997 Brighton, England ) Andreas Birk 1969-; John Demiris 1969-
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1545 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
EUROSAM 84 International Symposium on Symbolic and Algebraic Computation, Cambridge, England , July 9-11, 1984
International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England ) John Fitch 1945-
Berlin Springer-Verlag New York 1984
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.174 ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
Yankee science in the making science and engineering in New England from colonial times to the Civil War
Dirk J. Struik (Dirk Jan) 1894-2000
New York Dover Publications 1991
Localização:
IME - Inst. Matemática e Estatística
(Q125 S927y ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Proceedings of the Thirteenth International Conference on Very Large Data Bases Brighton, England , 1987
International Conference on Very Large Data Bases (13th 1987 Brighton, East Sussex) P. M Stocker; William Kent 1936-; P Hammersley
Los Altos, Calif. Morgan Kaufmann 1987
Localização:
IME - Inst. Matemática e Estatística
(QA772.C I61p 13 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Optimization; symposium of the Institute of Mathematics and Its Applications, University of Keele, England , 1968
R Fletcher (Roger); Institute of Mathematics and Its Applications; University of Keele
London New York Academic Press 1969
Localização:
EPBC - Esc. Politécnica-Bib Central
(519.851 K245o ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
First workshop on grand unification New England Center, University of New Hampshire, April 10-12, 1980
Workshop on Grand Unification (1st 1980 University of New Hampshire) Paul H Frampton 1943-; Sheldon L Glashow; Asim Yildiz
Brookline, Mass. Math Sci Press 1980
Localização:
IME - Inst. Matemática e Estatística
(QC793.C W926p ) (Acessar)
This feature requires javascript
8
Material Type:
Livro
Evolutionary dynamics of genetic diversity proceedings of a symposium held in Manchester, England , March 29-30, 1983
G. S Mani; Genetical Society (Great Britain)
Berlin New York Springer-Verlag 1984
Localização:
IAG - Inst. Ast. Geo. Ciên. Atmosféricas
(575.2 E94 n.53 Congresso ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Combinatorial optimization II the proceedings of the C079 conference held at the University of East Anglia, Norwich, England , 9th-12th July, 1979
V J Rayward-Smith; Conference on Combinatorial Optimization (2nd 1979 Norwich)
Amsterdam North-Holland 1980
Localização:
IME - Inst. Matemática e Estatística
(QA390 M426 v.13 ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
Dynamical systems approaches to nonlinear problems in systems and circuits [proceedings of the conference on qualitative methods for the analysis of nonlinear dynamics, New England College, Henniker, New Hampshire, June 8-13, 1986]
Fathi M. A Salam; Mark L Levi; Conference on Qualitative Methods for the Analysis of Nonlinear Dynamics (1986 Henniker, N.H.)
Philadelphia SIAM 1988
Localização:
EPBC - Esc. Politécnica-Bib Central
(517.938 C76d ) e outros locais(Acessar)
This feature requires javascript