Resultados de 1 a 10 de 46 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Handbook of Logic and Languagevan Benthem, J ; ter Meulen, ASan Diego: Elsevier Science 1996Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Petri Net AlgebraBest, Eike ; Devillers, Raymond ; Koutny, MaciejBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Exploring Computer Science with SchemeGrillmeyer, OliverNew York, NY: Springer New York 1997Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Software programming languagesOpen University Algorithmic Approach to Computing Course TeamBletchley, Eng. Open University Press 1973Localização: ICMC - Inst. Ciên. Mat. Computação (02C01 Open m251-15/16 e.1 )(Acessar) |
| 5 |
Material Type: Livro
|
|
History of programming languagesACM SIGPLAN History of Programming Languages Conference (1978 Los Angeles, Calif.) Richard L Wexelblat; Association for Computing Machinery 1978New York Academic Press 1981Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 A849hp 1978 e.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Data structures in programming languagesACM Symposium on Data Structures in Programming Languages (1971 University of Florida) Julius T Tou 1926-; Peter Wegner; Association for Computer MachineryGainesville University of Florida 1971Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 A849ds 1971 e.1 )(Acessar) |
| 7 |
Material Type: Artigo
|
|
Recuperação da informação e a consulta à base de dados no processo de busca do Mecanismo Online para ReferênciasFelisberto, Proxério Manoel ; Marcelino, Roderval ; Gonçalves, Alexandre Leopoldo ; Alves, João Bosco da MotaEm Questão, 2016-09, Vol.22 (3), p.84-109 [Periódico revisado por pares]Porto Alegre: Universidade Federal do Rio Grande do Sul, Faculdade de Biblioteconomia e ComunicaçãoTexto completo disponível |
| 8 |
Material Type: Livro
|
|
Database programming languagesInternational Workshop on Database Programming Languages, DBPL, 6 1997 Estes Park Sophie Cluet; Rick HullGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1369 )(Acessar) |
| 9 |
Material Type: Livro
|
|
Internet programming languagesWorkshop on Internet Programming Languages, ICCL'98 1998 Chicago Henri E Bal; Boumediene Belkhouche; Luca CardelliGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1686 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Formal semantics of Programming languagesCourant Computer Science Symposium (2nd 1970 New York) Randall RustinEnglewood, Cliffs, N.J. Prentice-Hall 1972Localização: EPBC - Esc. Politécnica-Bib Central (004.43 C833 2. ) e outros locais(Acessar) |
Resultados de 1 a 10 de 46 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (38)
- Produções Acadêmicas (4)
- Produções Técnicas (2)
- Revistas (1)
- Artigos (1)
-
Mais opções
Assunto
- Programming Languages (Electronic Computers) (21)
- Linguagem De Programação (8)
- Electronic Digital Computers (7)
- Metodologia E Técnicas De Computação (6)
- Engenharia De Software (6)
- Teoria Da Computação (5)
- Ciência Da Computação (4)
- Ciência Da Computação (4)
- Linguagens Formais (4)
- Electronic Data Processing (4)
- Artificial Intelligence (3)
- Programming (Electronic Computers) (3)
- Computer Algorithms (2)
- Programmiersprache (2)
- Sistemas Operacionais (2)
- Databehandling (2)
- Mathematics (2)
- Formal Languages (2)
- Semantik (2)
- Computer systems Programming languages (2)
- Informatique (2)
- Information Theory (2)
- Computers (2)
- Computabilidade E Complexidade (2)
- Banco De Dados (2)
- Software Engineering (2)
- Computación (2)
- Computer Science (2)
- Data Processing (2)
- Informatik (2)
- Sequential Machine Theory (2)
- Algebraische Rekursionstheorie (1)
- Algorithme Génétique (1)
- Lógica Simbólica (1)
- Computer Software (1)
- Lógica Simbólica (1)
- Algebra, Abstract (1)
- Algebra (1)
- Algorithmus (1)
- Algebra Of Logic (1)
- Computers (1)
- Filosofia Da Matemática (1)
-
Mais opções
Autor/Criador
- Rustin, R (2)
- Courant Computer Science Symposium (2)
- ACM Symposium on Data Structures in Programming Languages (1)
- Joint Modular Languages Conference, J (1)
- Marin, M (1)
- Von Plato, J (1)
- IEEE Computer Society Technical Committee on Computer Architecture (1)
- Deransart, P (1)
- Ullman, J (1)
- Klint, P (1)
- Hunt, A (1)
- Cardelli, L (1)
- Lorho, B (1)
- Wegner, P (1)
- Association for Computing Machinery 1978 (1)
- Wortman, D (1)
- National Science Foundation (U.S.) Advisory Committee for Computer Research (1)
- Horning, J (1)
- Institut de recherche d'informatique et d'automatique (1)
- Silva, S (1)
-
Mais opções
Data de Publicação
- Antes de1974 (12)
- 1974Até1985 (8)
- 1986Até1991 (10)
- 1992Até2001 (15)
- Após 2001 (5)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (25)
- ICMC - Inst. Ciên. Mat. Computação (25)
- IFSC - Inst. Física de São Carlos (8)
- EPBC - Esc. Politécnica-Bib Central (5)
- FEA - Fac. Econ. Adm. Contab. e Atuária (4)
- IF - Instituto de Física (1)
- ICB - Inst. Ciências Biomédicas (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- EEL - Engenharia de Materiais (1)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (1)
- IO - Instituto Oceanográfico (1)
-
Mais opções
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (2)
- Springer Books (2)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- Springer Books Online Archive (2)
- IngentaConnect Journals (1)
- Elsevier All Access Books (1)
- Directory of Open Access Scholarly Resources (ROAD) (1)
- Dialnet (1)
- ScienceDirect eBooks (1)
- DOAJ Directory of Open Access Journals (1)
- Elektronische Zeitschriftenbibliothek (1)
-
Mais opções
Idioma
- Inglês (40)
- Português (4)
- Francês (2)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 