Results 1 - 10 of 28 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Diks, Krzysztof ; Rytter, WojciechBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
| 2 |
Material Type: Book
|
|
High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, ProceedingsSahni, Sartaj ; Prasanna, Viktor K ; Shukla, Uday Shukla, Uday ; Sahni, Sartaj ; Prasanna, Viktor K.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
| 3 |
Material Type: Book
|
|
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. JonesMogensen, Torben ; Schmidt, David ; Sudborough, I. HalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
| 4 |
Material Type: Conference Proceeding
|
|
Proceedings of the twenty-seventh annual ACM symposium on Theory of computingNew York, NY, USA: ACM 1995Full text available |
| 5 |
Material Type: Conference Proceeding
|
|
Proceedings of the twenty-third annual ACM symposium on Theory of ComputingNew York, NY, USA: ACM 1991Full text available |
| 6 |
Material Type: Book
|
|
Proceedings 32nd Annual Symposium on Foundations of Computer Science : October 1-4, 1991, San Juan, Puerto RicoSymposium on Foundations of Computer Science (32nd 1991 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1991Available at IME - Inst. Matemática e Estatística (QA800.C S989 32. )(GetIt) |
| 7 |
Material Type: Book
|
|
Languages and machines an introduction to the theory of computer scienceThomas A. SudkampReading, Mass. Addison-Wesley c1988Available at EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.64 Su22L )(GetIt) |
| 8 |
Material Type: Book
|
|
27th Annual symposium on foundations of computer science October 27-29, 1986Symposium on Foundations of Computer Science (27th 1986 Toronto, Ont.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingWashington, D.C. IEEE Computer Society Press Los Angeles, CA order from IEEE Computer Society c1986Available at IME - Inst. Matemática e Estatística (QA800.C S989 27 )(GetIt) |
| 9 |
Material Type: Book
|
|
Randomness and Completeness in Computational ComplexityDieter van MelkebeekSpringer Berlin Heidelberg 2000Online access. The library also has physical copies. |
| 10 |
Material Type: Book
|
|
Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedingsICCS 2001 (2001 San Francisco, Calif.) Vassil Alexandrov 1962-Berlin Springer New York c2001Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2074 ) and other locations(GetIt) |
Results 1 - 10 of 28 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Subject
- Computational Complexity–Congresses (12)
- Computer Science (9)
- Machine Theory (8)
- Computers (6)
- Teoria Da Computação (5)
- Electronic Data Processing (5)
- Linguagens Formais (4)
- Computabilidade E Complexidade (4)
- Softwares (4)
- Algorithms (3)
- Matemática Da Computação (3)
- Theory Of Computation (3)
- Algoritmos E Estruturas De Dados (3)
- Computation By Abstract Devices (2)
- Discrete Mathematics In Computer Science (2)
- Congressos (2)
- Sistemas De Informação (2)
- Programas De Computador (2)
- Kongress (2)
- Congresses (2)
- Lógica Matemática (2)
- Software Engineering (2)
- Softwares (1)
- Projeto De Software (1)
- Autômatos Celulares (1)
- Algoritmizace (1)
- Architektura Procesoru (1)
- Computer Programming (1)
- Artificial Intelligence (1)
- Algorithm Analysis And Problem Complexity (1)
- Isomorphisms (Mathematics) (1)
- Arquitetura E Organização De Computadores (1)
- 68 (1)
- Computational Complexity–Bibliography (1)
- Computer Programming (1)
-
More options
Author/Creator
- Symposium on Foundations of Computer Science (3)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (3)
- ACM Special Interest Group for Automata and Computability Theory (2)
- Sloot, P (2)
- ICCS 2002 (2)
- ACM Symposium on Theory of Computing (2)
- Gambosi, G (1)
- Nivat, M (1)
- Alexandrov, V (1)
- Börger, E (1)
- Thierauf, T (1)
- European Symposium on Programming (1)
- Sudborough, H (1)
- Brookshear, J (1)
- FCT '85 (1)
- Johnson, D (1)
- Petreschi, R (1)
- Italian Conference on Algorithms and Complexity (1)
- Mogensen, T (1)
- Carnegie-Mellon University Computer Science Dept (1)
-
More options
Creation Date
- Before1986 (3)
- 1986To1988 (4)
- 1989To1994 (5)
- 1995To2001 (7)
- After 2001 (11)
-
More options
Library
- IME - Inst. Matemática e Estatística (15)
- ICMC - Inst. Ciên. Mat. Computação (14)
- IFSC - Inst. Física de São Carlos (5)
- EPBC - Esc. Politécnica-Bib Central (2)
- IF - Instituto de Física (1)
- ICB - Inst. Ciências Biomédicas (1)
- CDCC - Cent. Div. Científica e Cultural (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- FEA - Fac. Econ. Adm. Contab. e Atuária (1)
-
More options
Database/Library
- Springer Books (3)
- Springer Books Online Archive (3)
- SpringerLINK Lecture Notes in Computer Science (2015) (3)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3)
- Lecture Notes in Computer Science Archive (through to 1996) (3)
- ACM Digital Library Complete (2)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 