Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Proceedings of the second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971, Los Angeles, CaliforniaSymposium on Symbolic and Algebraic Manipulation (2nd 1971 Los Angeles) S. R Petrick; Association for Computing Machinery Special Interest Group on Symbolic & Algebraic ManipulationNew York Association for Computing Machinery 1971Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 S989ss 1971 e.1 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4708 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Computation: finite and infinite machinesMarvin Lee Minsky 1927-Englewood Cliffs, N.J. Prentice-Hall 1967Localização: EPBC - Esc. Politécnica-Bib Central (004.38 M667c ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Discrete mathematical structures with applications to computer scienceJean-Paul Tremblay 1938- R Manohar 1925-New York McGraw-Hill 1975Localização: IME - Inst. Matemática e Estatística (QA47 T789d e.2 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Informatik Aufgaben und LösungenFriedrich Ludwig Bauer 1924- Rupert Gnatz; Ursula HillBerlin New York Springer-Verlag 1975-Localização: IME - Inst. Matemática e Estatística (QA700 B344i v.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Automata implementation First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papersInternational Workshop on Implementing Automata (1st 1996 London, Ont.) Darrell Ronald Raymond; Derick Wood 1940-; Sheng YüBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1260 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Mathematical aspects of computer scienceSymposium in Applied Mathematics (19th 1966 New York) Jacob T Schwartz; American Mathematical SocietyProvidence American Mathematical Society 1967Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 P963ma e.1 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Automata Logics, and Infinite GamesErich Grädel Erich Grädel; Wolfgang Thomas; Thomas WilkeSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]Symposium on Foundations of Computer Science (33rd 1992 Pittsburgh, Pa.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press 1992Localização: IME - Inst. Matemática e Estatística (QA800.C S989 33. )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Automata studiesClaude E. Shannon 1916- John McCarthy 1927-; William Ross AshbyPrinceton Princeton University Press 1956Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (621.34 S528 ) e outros locais(Acessar) |