Resultados de 1 a 10 de 1.251 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Disponível na Biblioteca (1.181)
Refinado por:
nível superior:
Recursos Online
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Digital Libraries in Computer Science: The MeDoc ApproachAndreas Barth Andreas Barth; Michael Breu; Albert Endres; G Goos; Arnoud de KempSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Revista
|
|
Theoretical Computer ScienceNETHERLANDS ElsevierAcesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
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 2004Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Fete of Combinatorics and Computer ScienceH. Paul Shuch Gyula O.H Katona; Alexander Schrijver; Tamás SzönyiSpringer Berlin Heidelberg 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
The Carnegie-Mellon Curriculum for Undergraduate Computer ScienceMary Donner, M. Driscoll, J. Mauldin, M. Pausch, R. Scherlis, W. L. Shaw, M. Spector, A. Z. Shaw, M. Shaw S. D Brookes; M Donner; J Driscoll; M Mauldin; R Pausch; W. L Scherlis; M Shaw; Mary Shaw; A. Z SpectorSpringer New York 1985Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedingsInternational Computer Science Symposium in Russia (1st 2006 Saint Petersburg, Russia) Dima Grigoriev; J Harrison (John) 1966; Edward A HirschBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991LMS Durham Symposium M. P Fourman; P. T Johnstone; A. M Pitts; Andrew M Pitts A. M. Pitts P. T. JohnstoneCambridge Cambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedingsSymposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno DurandBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedingsSymposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France) Volker Diekert 1955; M Habib (Michel)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
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. |
Resultados de 1 a 10 de 1.251 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (1.181)
Refinar Meus Resultados
Tipo de Recurso
- Livros (1.082)
- Artigos (141)
- Revistas (21)
- Produções Acadêmicas (7)
- Outros (4)
- Produções Técnicas (1)
-
Mais opções
Assunto
- Inteligência Artificial (Congressos) (133)
- Inteligência Artificial (110)
- Engenharia De Programas (73)
- Artificial Intelligence (65)
- Computer Science (64)
- Técnicas De Programação (Congressos) (57)
- Computabilidade E Complexidade (Congressos) (55)
- Computer Software (52)
- Recuperação Da Informação (Congressos) (52)
- Redes E Comunicação De Dados (Congressos) (48)
- Computer Security (48)
- Computação Gráfica (45)
- Sistemas Distribuídos (Congressos) (44)
- Ciência Da Computação (44)
- Criptologia (Congressos) (42)
- Engenharia De Software (40)
- Software Engineering (39)
- Neural Networks (Computer Science) (38)
- Sistemas Distribuídos (38)
- Computer Networks (37)
-
Mais opções
Autor/Criador
- Mello, R (19)
- LINK (Online service) (19)
- Rheinboldt, W (16)
- Rozenberg, G (13)
- Hartmanis, J (11)
- Van Leeuwen, J (11)
- Bruno, O (10)
- Backes, A (8)
- Yung, M (8)
- Goos, G (8)
- SpringerLink (Online service) (8)
- Simão, A (7)
- Carvalho, A (7)
- Maldonado, J (6)
- Traina, A (6)
- Paraboni, I (6)
- Yang, L (6)
- Goularte, R (5)
- Souza, P (5)
- International Conference on Conceptual Modeling (5)
-
Mais opções
Data de Publicação
- Antes de1980 (28)
- 1980Até1990 (78)
- 1991Até2001 (233)
- 2002Até2013 (859)
- Após 2013 (57)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (884)
- ICMC - Inst. Ciên. Mat. Computação (883)
- IFSC - Inst. Física de São Carlos (80)
- EPBC - Esc. Politécnica-Bib Central (53)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (31)
- IF - Instituto de Física (17)
- FEA - Fac. Econ. Adm. Contab. e Atuária (14)
- EACH - Esc. Artes, Ciências e Humanidades (12)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (12)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (9)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (8)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (8)
- CQ - Conjunto das Químicas (6)
- IQSC - Inst. Química de São Carlos (5)
- ESALQ - Biblioteca Central (3)
- FAU - Fac. Arquitetura e Urbanismo (3)
- FMRP - Fac. Medicina de Ribeirão Preto (2)
- IEE - Inst. de Energia e Ambiente (2)
- EESC - Esc. Engenharia de São Carlos (2)
- PUSPSC - Prefeitura do Campus USP de São Carlos (2)
-
Mais opções
Idioma
- Inglês (1.235)
- Português (17)
- Francês (3)
- Espanhol (1)
- Alemão (1)
- Indeterminado (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (43)
- INFOCOMP : Journal of Computer Science (19)
- Proceedings (14)
- Journal of Universal Computer Science (8)
- SpringerLink (8)
- OhioLINK electronic book center (8)
- Lecture Notes in Artificial Intelligence (8)
- Computer Physics Communications (5)
- INFOCOMP: Journal of Computer Science (4)
- Computer Methods in Applied Mechanics and Engineering (4)
- INFOCOMP Journal of Computer Science (4)
- Computer Methods and Programs in Biomedicine (3)
- Social Science Computer Review (3)
- Future Generation Computer Systems (2)
- Science of Computer Programming (2)
- Journal of Computer Science (2)
- Lectures Notes in Computer Science (2)
- Computer languages, systems & structures (2)
- Journal of Computer Science & Technology (JCS&T) (2)
- Mathematical and computer modelling (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 