1
|
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science proceedings
Conference on Foundations of Software Technology and Theoretical Computer Science, 5., New Delhi, 1985 S N Maheshwari
Berlin Springer 1985
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.206 ex.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Rewriting techniques and applications proceedings
International Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre Lescanne
Berlin Springer 1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.256 ex.1 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Uma introdução a computação paralela e distribuida
Claudio Luiz de Amorim Valmir Carneiro Barbosa; Edil Severiano Tavares Fernandes; Escola de Computação (6. 1988 Campinas)
Campinas Unicamp 1988
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.22 A524i ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Parallel architectures and their efficient use First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings
Heinz Nixdorf Symposium (1st 1992 Paderborn, Germany) F Meyer auf der Heide 1954- (Friedhelm); B Monien; Arnold Rosenberg
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.678 e.1 ) e outros locais(Acessar)
|
5
|
Material Type: Dissertação de Mestrado
|
|
Arqtema um modelo generico para sistemas tutores inteligentes em matematica 1.
Rosana Satie Takehara Maria das Graças Volpe Nunes
Sao Carlos Icmsc 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(T T136a ex.1 )(Acessar)
|
6
|
Material Type: Artigo de Congresso
|
|
Ensino e pesquisa da politica imobiliaria urbana da fauusp
A S S Barretto E Haddad; Simposio de Iniciacao Cientifica da Universidade de São Paulo (3. 1995 São Carlos)
Sao Paulo : Usp, 1995 Resumos
São Paulo Usp 1995
Localização:
CEBIMAR - Centro de Biologia Marinha
(CH753.2 13 3:1995 V. 2 ) e outros locais(Acessar)
|
7
|
Material Type: Artigo de Congresso
|
|
Relacao entre poetica e linguagem arquitetonica
A N Souza Paulo Cesar Xavier Pereira; Simposio de Iniciacao Cientifica da Universidade de São Paulo (3. 1995 São Carlos)
Sao Paulo : Usp, 1995 Resumos
Sao Paulo Usp 1995
Localização:
CEBIMAR - Centro de Biologia Marinha
(CH753.2 13 3:1995 V. 2 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Application and theory of petri nets 1998 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedings
ICATPN'98 (Conference) (1998 Lisbon, Portugal) Jörg Desel; Manuel Silva
Berlin Springer London c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1420 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Prospects for hardware foundations ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters
Bernhard Möller 1953-; J. V Tucker 1952- (John V.)
Berlin New York Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1546 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings
International Conference on Applications and Theory of Petri Nets (20th 1999 Williamsburg, Virginia) Jetty Kleijn; Susanna Donatelli
Berlin Springer c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1639 )(Acessar)
|