Resultados de 1 a 10 de 1.207 para Busca Geral
Mostrar Somente
- Recursos Online (1.181)
- Revistas revisadas por pares (187)
- Disponível na Biblioteca (26)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Principles of Security and Trust: Third International Conference, POST 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsAbadi, Martín ; Kremer, SteveBerlin, Heidelberg: Springer Berlin / Heidelberg 2014Texto completo disponível |
| 2 |
Material Type: Livro
|
|
|
| 3 |
Material Type: Livro
|
|
Security and Cryptography for Networks: 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. ProceedingsAbdalla, Michel ; De Prisco, Roberto De Prisco, Roberto ; Abdalla, MichelCham: Springer Nature 2014Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Cryptology and Network Security: 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22, 2013, ProceedingsAbdalla, Michel ; Nita-Rotaru, Cristina ; Dahab, Ricardo Nita-Rotaru, Cristina ; Dahab, Ricardo ; Abdalla, MichelNetherlands: Springer Nature 2013Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Structure and Interpretation of Computer ProgramsAbelson, Harold ; Sussman, Gerald JayCambridge: The MIT Press 1996Texto completo disponível |
| 6 |
Material Type: Livro
|
|
ICDT '90: Third International Conference on Database Theory Paris, France, December 12–14, 1990 ProceedingsAbiteboul, Serge ; Kanellakis, Paris C Kanellakis, Paris C. ; Abiteboul, SergeBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 ProceedingsAbiteboul, Serge ; Shamir, Eli Abiteboul, Serge ; Shamir, EliBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, ProceedingsAbramson, David ; de Supinski, Bronis R de Supinski, Bronis R ; Abramson, DavidNetherlands: Springer Nature 2019Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Security and Trust Management: 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013, ProceedingsAccorsi, Rafael ; Ranise, Silvio Accorsi, Rafael ; Ranise, SilvioNetherlands: Springer Nature 2013Texto completo disponível |
| 10 |
Material Type: Livro
|
|
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st BirthdayAchten, Peter ; Koopman, Pieter Achten, Peter ; Koopman, PieterNetherlands: Springer Nature 2013Texto completo disponível |
Resultados de 1 a 10 de 1.207 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (1.181)
- Revistas revisadas por pares (187)
- Disponível na Biblioteca (26)
Refinar Meus Resultados
Tipo de Recurso
- Livros (1.200)
- Anais de Congresso (6)
- Artigos (1)
-
Mais opções
Assunto
- Computers (1.097)
- Computer Science (1.029)
- Congresses (705)
- Computer Systems (605)
- Computer Programming (605)
- Programming (601)
- Electronic Computer Programming (548)
- Computer Networks (497)
- Programming Techniques (485)
- Computer Programming, Programs, Data (474)
- Software Engineering (449)
- Computer Security (440)
- Computer Software (432)
- Security Measures (430)
- Cyber Security (423)
- Computer System Security (423)
- Cybersecurity (423)
- Computer Privacy (423)
- Machine Theory (303)
- Automata (36)
- Electronic Digital Computers–Programming (14)
- Electronic Data Processing–Congresses (14)
- Ciência Da Computação (6)
- Machine Theory (6)
- Electronic Digital Computers–Congresses (5)
- Teoria Da Computação (5)
- Automata (4)
- Linguagem De Programação (4)
- Switching Theory (4)
- Switching Theory (3)
- Computadores Digitais (3)
- Algoritmos E Estruturas De Dados (3)
- Computadores Digitais (2)
- Processamento Eletrônico De Dados (2)
- Fortran (Computer Program Language) (2)
- Computação Aplicada (2)
- Teoria Da Computação (Congressos) (2)
- Data Structures (Computer Science) (2)
- Algoritmos E Estruturas De Dados (1)
- Teoria Da Computação (1)
- Computer systems Programming languages: Pascal language (1)
- Distributed digital computer systems (1)
- Linguagem De Programação (1)
-
Mais opções
Autor/Criador
- Symposium on Foundations of Computer Science (6)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (4)
- ACM Computer Science Conference (3)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (3)
- Gesellschaft für Informatik (3)
- Association for Computing Machinery (3)
- Association for Computing Machinery Special Interest Group on Computer Science Education (2)
- ACM SIGCSE Technical Symposium on Computer Science Education (2)
- ACM Special Interest Group for Automata and Computability Theory (1)
- Samelson, K (1)
- Holt, R (1)
- Organick, E (1)
- Filman, R (1)
- Parton, K (1)
- Laver, F (1)
- Meyers, W (1)
- Disney, R (1)
- European Cooperation in Informatics (Organization) (1)
- Clarkson College of Technology (1)
- IEEE Computer Society Press (1)
-
Mais opções
Data de Publicação
- Antes de1980 (32)
- 1980Até1989 (90)
- 1990Até1999 (88)
- 2000Até2010 (333)
- Após 2010 (1.046)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (21)
- ICMC - Inst. Ciên. Mat. Computação (9)
- EPBC - Esc. Politécnica-Bib Central (4)
- IF - Instituto de Física (2)
- FEA - Fac. Econ. Adm. Contab. e Atuária (2)
- EESC - Esc. Engenharia de São Carlos (1)
- FMRP - Fac. Medicina de Ribeirão Preto (1)
- IO - Instituto Oceanográfico (1)
- ESALQ - Biblioteca Central (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (1.021)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (767)
- SpringerLINK Lecture Notes in Computer Science (2015) (763)
- SpringerLINK Lecture Notes in Computer Science (668)
- Springer Books Online Archive (246)
- SpringerLink Books Lecture Notes in Computer Science Archive (231)
- Springer Nature - Springer Computer Science eBooks 2012 English International (194)
- SpringerLINK Lecture Notes in Computer Science (2014) (167)
- Springer Nature - Springer Computer Science eBooks 2013 English International (158)
- SpringerLINK Lecture Notes in Computer Science (2012) (154)
- SpringerLINK Lecture Notes in Computer Science (2013) (110)
- Springer Nature - Springer Computer Science eBooks 2015 English International (104)
- Springer Nature - Springer Computer Science eBooks 2016 English International (101)
- Springer Nature - Springer Computer Science eBooks 2014 English International (99)
- SpringerLINK Lecture Notes in Computer Science (2016) (96)
- Elsevier All Access Books (73)
- ScienceDirect eBooks (73)
- DOAB: Directory of Open Access Books (60)
- OAPEN (48)
- SpringerLink Fully Open Access Books (43)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 