1
|
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)
|
2
|
Material Type: Livro
|
|
Application and theory of Petri nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
International Conference on Applications and Theory of Petri Nets (23rd 2002 Adelaide, S. Aust.)
Berlin Springer New York 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2360 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Digitale Rechenanlagen Eine Einführung in Struktur, Aufbau und Arbeitsweise.
Horst Kunsemüller
Stuttgart Teubner 1971
Localização:
IME - Inst. Matemática e Estatística
(QA802 K96d )(Acessar)
|
4
|
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)
|
5
|
Material Type: Livro
|
|
Euro-Par'99 parallel processing 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings
International Euro-Par Conference (5th 1999 Toulouse, France) Patrick Amestoy
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1685 e.1 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
AMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-
Berlin Springer London c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1548 )(Acessar)
|
7
|
Material Type: Livro
|
|
Application and theory of petri nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 ; proceedings
ICATPN 2000 (2000 Aarhus, Denmark) M Nielsen (Mogens) 1949-; D Simpson 1942- (Dan)
Berlin Springer London c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1825 ) e outros locais(Acessar)
|
8
|
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)
|
9
|
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)
|
10
|
Material Type: Livro
|
|
Parallel problem solving from nature - PPSN VI ; 6th International Conference, Paris, France, September 2000 ; proceedings
Conference on Parallel Problem Solving from Nature (6th 2000 Paris, France) Marc Schoenauer
Berlin Springer New York 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1917 ) e outros locais(Acessar)
|