Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Introduction to Control Systems (Second Edition)D.K. AnandPergamon 1984Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Constrained Optimal Control of Linear and Hybrid SystemsFrancesco BorrelliSpringer Berlin Heidelberg 2003Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Automated Theorem Proving: A Logical BasisD.W. LovelandNorth-Holland 1978Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Kleines Handbuch technischer RegelvorgängeWinfried OppeltWeinheim/Bergst. Verlag Chemie c1972Localização: EPBC - Esc. Politécnica-Bib Central (681.51 Op5k5 )(Acessar) |
|
5 |
Material Type: Livro
|
COBOL a self-instructional manualJames A. Saxon (James Anthony) b. 1912Englewood Cliffs, N.J. Prentice-Hall 1963Localização: IME - Inst. Matemática e Estatística (QA724.7 S273c ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedingsT. F Melham (Tom F.); Juanito CamilleriBerlin New York Springer-Verlag c1994Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.859 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Engineering cyberneticsHsue Shen TsienNew York McGraw-Hill 1954Localização: IF - Instituto de Física (629.8 T882e ex.2 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Computational LogicRobert S. Boyer J Strother Moore; Thomas A StandishAcademic Press 1979Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Diagnosis and Fault-Tolerant ControlBlanke Michel Kinnaert; Jan Lunze; J Schröder; Marcel StaroswieckiSpringer Berlin Heidelberg 2003Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Theory Reasoning in Connection CalculiPeter Baumgartner Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |