Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Revista
|
Theoretical computer science Part A Algorithms, automata, complexity and gamesAmsterdam Elsevier 1991-Localização: IME - Inst. Matemática e Estatística (Acessar) |
|
2 |
Material Type: Revista
|
Theoretical computer science Part B Logic, semantics and theory of programmingAmsterdam North-Holland 1991-Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Graph-theoretic concepts in computer science 22nd International Workshop, WG'96, Cadenabbia, Italy, June 12-14, 1996 : proceedingsInternational Workshop on Graph-Theoretic Concepts in Computer Science (22nd 1996 Cadenabbia, Italy) Fabrizio D'Amore; Paolo G Franciosa; Alberto Marchetti-SpaccamelaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1197 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Mes premières constructions de programmesA. Gerbier P BacchusSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Advances in artificial life 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedingsECAL 2007 (2007 : Lisbon, Portugal) Fernando Almeida e CostaBerlin Springer New York 2007Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (809 E19 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedingsInternational Conference on Computer-Aided Verification, CAV'97 (9th 1997 Haifa, Israel) Orna GrumbergBerlin New York Heidelberg Springer c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1254 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Application and theory of Petri nets 1997 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedingsInternational conference on application and theory of Petri nets (18 1997 Toulouse, France) Pierre Azéma; Gianfranco BalboBerlin Springer New York Heidelberg 1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1248 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Les fichiers; pratique et choix de l'organisation des données informatiquesClaude Jouffroy Charles LétangParis Dunod 1974Localização: ICMC - Inst. Ciên. Mat. Computação (68Z01 J86f e.1 )(Acessar) |
|
9 |
Material Type: Livro
|
Electronic publishing, artistic imaging, and digital typography 7th International Conference on Electronic Publishing, EP '98 held jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March/April 1998 : proceedingsInternational Conference on Electronic Publishing, Document Manipulation, and Typography (7th 1998 Saint-Malo, France) Roger Hersch; Jacques André; Heather Brown; International Conference on Raster Imaging and Digital Typography (4th 1998 Saint-Malo, France)New York Berlin Springer c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1375 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Introduction à SCILABJ.-P Chancelier; F Delebecque; C Gomes; Nicolas Puech dir.Paris Springer Berlin c2007Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod (004 In81 2.ed. )(Acessar) |