Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Synthesis of digital automataV. G Lazarev (Vladimir Georgievich) 1925-; A. D Zakrevskiæi (Arkadii Dmitrievich) 1928-New York Consultants Bureau 1969Localização: IME - Inst. Matemática e Estatística (QA800 L431pI )(Acessar) |
|
2 |
Material Type: Livro
|
Disordered systems and biological organizationNATO Advanced Research Workshop on Disordered Systems and Biological Organization (1985 Les Houches, Haute-Savoie, France) E Bienenstock; Francoise Fogelman-Soulié 1948-; G WeisbuchBerlin New York Springer-Verlag Published in cooperation with NATO Scientific Affairs Division c1986Localização: EPBC - Esc. Politécnica-Bib Central (574 N214d ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Applied algebra for the computer sciencesArthur Gill 1930-Englewood Cliffs, N.J. Prentice-Hall c1976Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 G475a e.2 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Introduction to the theory of computationMichael SipserBoston PWS Pub. Co. c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 S618it e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedingsASM 2004 (2004 Wittenberg, Saxony-Anhalt, Germany) Wolf Zimmermann; B Thalheim (Bernhard) 1952Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Discrete mathematical structures and their applicationsHarold S. Stone 1938-Chicago Science Research Associates 1973Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B18.19.4 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Proceedings of a Conference on Theoretical Computer Science, August 15-17, 1977, University of Waterloo, Waterloo, Ontario, CanadaConference on Theoretical Computer Science (1977 University of Waterloo) University of Waterloo Mathematical Research DivisionWaterloo, Ont. Computer Science Dept., University of Waterloo 1977Localização: IME - Inst. Matemática e Estatística (QA800.C C748p )(Acessar) |
|
9 |
Material Type: Livro
|
Theoretical computer scienceGI-Fachtagung Theoretische Informatik (3rd 1977 Darmstadt) H. G Tzschach; Helmut Waldschmidt; H. K.-G Walter 1942- (Hermann K.-G.)Berlin New York Springer-Verlag 1977Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.48 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papersInternational Conference on Implementation and Application of Automata (5th 2000 London, Ont.) Sheng Yu; Andrei PæaunBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2088 ) e outros locais(Acessar) |