1
|
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)
|
2
|
Material Type: Dissertação de Mestrado
|
|
Algoritmos paralelos em grafos lista, florestas e coleções de florestas
Stephen William Kassner Paulo Feofiloff
1992
Item não circula. Consulte sua biblioteca.(Acessar)
|
3
|
Material Type: Livro
|
|
Analysis and design of stream ciphers
Rainer A. Rueppel 1955-
Berlin New York Springer-Verlag c1986
Localização:
IME - Inst. Matemática e Estatística
(QA810 R921a )(Acessar)
|
4
|
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)
|
5
|
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)
|
6
|
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)
|
7
|
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)
|
8
|
Material Type: Livro
|
|
Applications and theory of petri nets 2001 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings
ICATPN 2001 (2001 Newcastle upon Tyne, England) José-Manuel Colom; Maciej Koutny 1958-
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2075 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Atualizações com informática 2007
Tomasz Kowaltowski; Karin Breitman
Rio de Janeiro Editora PUC-Rio Porto Alegre SBC 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 A886a e.1 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Calculating instrumentos and machines
Douglas R Hartree
Urbana University of Illinois Press 1953
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M05.30 H325c e.1 )(Acessar)
|