Results 1 - 10 of 9,347 for Physical Collection
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
- Available in the Library (8,922)
- Full Text Online (1,242)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Computer scienceAlfonso F. Cardenas Leon Presser; Miguel A MarinNew York Wiley-Interscience 1972Available at IME - Inst. Matemática e Estatística (QA700.C3 C266c )(GetIt) |
| 2 |
Material Type: Book
|
|
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)Berlin Springer New York c2007Available at IME - Inst. Matemática e Estatística (S L471c v.4708 ) and other locations(GetIt) |
| 3 |
Material Type: Book
|
|
Digital Libraries in Computer Science: The MeDoc ApproachAndreas Barth Andreas Barth; Michael Breu; Albert Endres; G Goos; Arnoud de KempSpringer Berlin Heidelberg 1998Online access. The library also has physical copies. |
| 4 |
Material Type: Book
|
|
Foundations of computer scienceAlfred V. Aho Jeffrey D. Ullman 1942-New York : Computer Science Press c1995Available at IME - Inst. Matemática e Estatística (QA758 A286f )(GetIt) |
| 5 |
Material Type: Journal
|
|
Theoretical Computer ScienceNETHERLANDS ElsevierOnline access. The library also has physical copies. |
| 6 |
Material Type: Book
|
|
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Online access. The library also has physical copies. |
| 7 |
Material Type: Book
|
|
Fete of Combinatorics and Computer ScienceH. Paul Shuch Gyula O.H Katona; Alexander Schrijver; Tamás SzönyiSpringer Berlin Heidelberg 2010Online access. The library also has physical copies. |
| 8 |
Material Type: Book
|
|
Proceedings of a Conference on Theoretical Computer Science, August 15-17, 1977, University of Waterloo, Waterloo, Ontario, CanadaConference on Theoretical Computer Science (1977 University of Waterloo) University of Waterloo Mathematical Research DivisionWaterloo, Ont. Computer Science Dept., University of Waterloo 1977Available at IME - Inst. Matemática e Estatística (QA800.C C748p )(GetIt) |
| 9 |
Material Type: Book
|
|
Combinatorics for computer scienceS. Gill Williamson (Stanley Gill)Rockville, Md. Computer Science Press c1985Available at IME - Inst. Matemática e Estatística (QA830 W732c )(GetIt) |
| 10 |
Material Type: Book
|
|
Mathematical structures for computer scienceJudith L. GerstingNew York Computer Science c1993Available at EPBC - Esc. Politécnica-Bib Central (51 G326m3 )(GetIt) |
Results 1 - 10 of 9,347 for Physical Collection
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Show only
- Available in the Library (8,922)
- Full Text Online (1,242)
Refine My Results
Resource Type
- Books (7,930)
- Articles (1,131)
- Academic Productions (206)
- Journals (41)
- Audio Visual (26)
- Software (10)
- Technical Productions (7)
- Other (5)
- Text Resources (3)
- Technical Documents (2)
- Web Sites (1)
-
More options
Subject
- Inteligência Artificial (1,167)
- Ciência Da Computação (795)
- Engenharia De Software (583)
- Teoria Da Computação (480)
- Metodologia E Técnicas De Computação (457)
- Computer Science (421)
- Linguagem De Programação (409)
- Inteligência Artificial (Congressos) (396)
- Artificial Intelligence (393)
- Algoritmos E Estruturas De Dados (341)
- Arquitetura E Organização De Computadores (304)
- Computação Gráfica (298)
- Neural Networks (Computer Science) (294)
- Expert Systems (Computer Science) (288)
- Banco De Dados (274)
- Engenharia De Programas (253)
- Electronic Data Processing (247)
- Técnicas De Programação (Congressos) (223)
- Electronic Digital Computers (211)
- Data Structures (Computer Science) (165)
-
More options
Author/Creator
- Bruno, O (56)
- Rozenberg, G (43)
- Carvalho, A (32)
- Symposium on Foundations of Computer Science (24)
- Symposium on Theoretical Aspects of Computer Science (24)
- Backes, A (22)
- Conference on Foundations of Software Technology and Theoretical Computer Science (20)
- Hartmanis, J (19)
- Van Leeuwen, J (19)
- Workshop on Computer Science Logic (18)
- Ehrig, H (18)
- Rheinboldt, W (17)
- International Conference on Rewriting Techniques and Applications (17)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (16)
- Gonnet, G (13)
- Symposium on Mathematical Foundations of ComputerScience (12)
- International Conference on Conceptual Structures (12)
- Forsythe, A (11)
- University of Waterloo Dept. of Computer Science (11)
- Association for Computing Machinery Special Interest Group on Computer Science Education (11)
-
More options
Creation Date
- Before1969 (72)
- 1969To1982 (631)
- 1983To1996 (2,536)
- 1997To2011 (5,187)
- After 2011 (941)
-
More options
Library
- IME - Inst. Matemática e Estatística (5,378)
- ICMC - Inst. Ciên. Mat. Computação (5,286)
- IFSC - Inst. Física de São Carlos (1,514)
- EPBC - Esc. Politécnica-Bib Central (723)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (309)
- IF - Instituto de Física (185)
- FEA - Fac. Econ. Adm. Contab. e Atuária (163)
- EACH - Esc. Artes, Ciências e Humanidades (120)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (117)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (71)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (65)
- FMRP - Fac. Medicina de Ribeirão Preto (58)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (45)
- ESALQ - Biblioteca Central (44)
- EESC - Esc. Engenharia de São Carlos (33)
- FE - Faculdade de Educação (31)
- ECA - Escola de Comunicações e Artes (29)
- PUSPSC - Prefeitura do Campus USP de São Carlos (29)
- IQSC - Inst. Química de São Carlos (24)
- IO - Instituto Oceanográfico (22)
-
More options
Language
- English (9,099)
- Portuguese (232)
- German (18)
- French (17)
- Spanish (6)
- Undetermined (5)
- Russian (2)
- Swedish (1)
- Multiple languages (1)
- Italian (1)
- Nepali (1)
- Czech (1)
-
More options
Journal Title
- Lecture notes in computer science (644)
- Proceedings (298)
- Procedia computer science (67)
- Lecture Notes in Computer Sciences (16)
- Electronic Notes in Theoretical Computer Science (16)
- Lectures Notes in Computer Science (11)
- Lecture Notes in Artificial Intelligence (11)
- Journal of Computer Science (7)
- Anais (4)
- Lecture Notes on Computer Science (3)
- Social Science Computer Review (3)
- ACM SIGCSE Bulletin (2)
- Studies in Mathematical and Computer Science - Proceedings (2)
- Annual reviews in control (1)
- EPOS 2004: Proceedings (1)
- Ifip Transactions a. Computer Science and Technology (1)
- Algebraic structures and operator calculus (1)
- CWI QUARTERLY (1)
- Lecture Notes in Computer Science - CCIS (1)
- Advances in intelligent system and computer science (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 