Resultados de 1 a 10 de 17 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (3)
| 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) |
Resultados de 1 a 10 de 17 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Recursos Online (3)
Assunto
- Ciência Da Computação (8)
- Electronic Data Processing (3)
- Computer Software (2)
- Engenharia De Software (2)
- Electronic Digital Computers (2)
- Database Management (2)
- Computer Science (2)
- File Organization (Computer Science) (1)
- System Design (1)
- Computação Aplicada (1)
- Tecnologia Da Informação (1)
- Semântica De Programação (Congressos) (1)
- Education (1)
- Computer Algorithms (1)
- Computer Simulation (1)
- Sistemas Especialistas (1)
- Segurança De Computadores (Administração) (1)
- Trade Secrets (1)
- Inteligência Artificial (Congressos) (1)
- Electronic Publishing (1)
-
Mais opções
Autor/Criador
- Baron, G (1)
- Brown, H (1)
- Puech, N (1)
- Coutinho, A (1)
- André, J (1)
- Jouffroy, C (1)
- International Conference on Electronic Publishing, D (1)
- Costa, F (1)
- Azéma, P (1)
- Costa, E (1)
- Rocha, L (1)
- International Conference on Computer-Aided Verification, C (1)
- Létang, C (1)
- Association Française pour la Cybernetique Économique Technique (Paris) (1)
- Gomes, C (1)
- Diaz, M (1)
- International Conference on Application and Theory of Petri Nets (1)
- Grumberg, O (1)
- ECAL 2007 (1)
- Hatchuel, A (1)
-
Mais opções
Data de Publicação
- Antes de1977 (3)
- 1977Até1990 (3)
- 1991Até1995 (3)
- 1996Até1998 (5)
- Após 1998 (3)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (11)
- ICMC - Inst. Ciên. Mat. Computação (10)
- FEA - Fac. Econ. Adm. Contab. e Atuária (4)
- IFSC - Inst. Física de São Carlos (3)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (1)
- EPBC - Esc. Politécnica-Bib Central (1)
- FE - Faculdade de Educação (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 