Results 1 - 10 of 18 for Physical Collection
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
- Available in the Library (17)
- Full Text Online (4)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Journal
|
|
Theoretical computer science Part A Algorithms, automata, complexity and gamesAmsterdam Elsevier 1991-Available at IME - Inst. Matemática e Estatística (GetIt) |
| 2 |
Material Type: Journal
|
|
Theoretical computer science Part B Logic, semantics and theory of programmingAmsterdam North-Holland 1991-Online access. The library also has physical copies. |
| 3 |
Material Type: Book
|
|
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 c1997Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1197 ) and other locations(GetIt) |
| 4 |
Material Type: Book
|
|
Mes premières constructions de programmesA. Gerbier P BacchusSpringer Berlin Heidelberg 1977Online access. The library also has physical copies. |
| 5 |
Material Type: Book
|
|
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 2007Available at FFLCH - Fac. Fil. Let. e Ciências Humanas (809 E19 ) and other locations(GetIt) |
| 6 |
Material Type: Book
|
|
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 c1997Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1254 ) and other locations(GetIt) |
| 7 |
Material Type: Book
|
|
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 1997Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1248 ) and other locations(GetIt) |
| 8 |
Material Type: Book
|
|
Les fichiers; pratique et choix de l'organisation des données informatiquesClaude Jouffroy Charles LétangParis Dunod 1974Available at ICMC - Inst. Ciên. Mat. Computação (68Z01 J86f e.1 )(GetIt) |
| 9 |
Material Type: Book
|
|
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 c1998Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1375 ) and other locations(GetIt) |
| 10 |
Material Type: Book
|
|
Introduction à SCILABJ.-P Chancelier; F Delebecque; C Gomes; Nicolas Puech dir.Paris Springer Berlin c2007Available at EPECP - Esc. Politécnica-Bib Eng Civil e Prod (004 In81 2.ed. )(GetIt) |
Results 1 - 10 of 18 for Physical Collection
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Show only
- Available in the Library (17)
- Full Text Online (4)
Subject
- 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)
- Expert Systems (Computer Science) (2)
- Inteligência Empresarial (1)
- Artificial Intelligence (1)
- Tecnologia Educacional (1)
- Robotics (1)
- Engenharia De Programas (1)
- Computer-Assisted Instruction (1)
- Education (1)
- Graph Theory (1)
- Tipografia (Congressos) (1)
- Computer Security (1)
- Estudo De Caso (1)
- Information Technology (1)
-
More options
Author/Creator
- 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)
-
More options
Creation Date
- Before1977 (3)
- 1977To1990 (3)
- 1991To1995 (3)
- 1996To1998 (5)
- After 1998 (4)
-
More options
Library
- 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)
-
More options
Journal Title
- RAIRO Informatique théorique (1)
- Theoretical computer science Part B Logic, semantics and theory of programming (1)
- Mechatronic systems and control (1)
- RAIRO. Informatique théorique (1)
- Rairo informatique (1)
- Theoretical computer science Part A Algorithms, automata, complexity and games (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 