Resultados de 1 a 10 de 616.361 para Busca Geral
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
- Revistas revisadas por pares (346.386)
Refinado por:
assunto:
Computer Science, Theory & Methods
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
TheoriesSchmitt, Peter H. ; Bubel, RichardDeductive Software Verification – The KeY Book, 2016-12, p.149-166 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A mathematical theory of resourcesCoecke, Bob ; Fritz, Tobias ; Spekkens, Robert W.Information and computation, 2016-10, Vol.250, p.59-86 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Engagement in HCI: Conception, Theory and MeasurementDoherty, Kevin ; Doherty, GavinACM computing surveys, 2019-01, Vol.51 (5), p.1-39, Article 99 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A Survey on Homomorphic Encryption Schemes: Theory and ImplementationAcar, Abbas ; Aksu, Hidayet ; Uluagac, A. Selcuk ; Conti, MauroACM computing surveys, 2019-09, Vol.51 (4), p.1-35 [Periódico revisado por pares]Baltimore: Association for Computing MachineryTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Game Theory Meets Network Security and PrivacyMOHAMMAD HOSSEIN MANSHAEI ; QUANYAN ZHU ; ALPCAN, Tansu ; BASAR, Tamer ; HUBAUX, Jean-PierreACM computing surveys, 2013-06, Vol.45 (3), p.1-39 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Internal Feature Selection Method of CSP Based on L1-Norm and Dempster-Shafer TheoryJin, Jing ; Xiao, Ruocheng ; Daly, Ian ; Miao, Yangyang ; Wang, Xingyu ; Cichocki, AndrzejIEEE transaction on neural networks and learning systems, 2021-11, Vol.32 (11), p.4814-4825United States: IEEETexto completo disponível |
| 7 |
Material Type: Livro
|
|
Turing Computability: Theory and ApplicationsSoare, Robert IBerlin, Heidelberg: Springer Nature 2016Texto completo disponível |
| 8 |
Material Type: Artigo
|
|
Game Theory for Cyber Security and PrivacyDo, Cuong T. ; Tran, Nguyen H. ; Hong, Choongseon ; Kamhoua, Charles A. ; Kwiat, Kevin A. ; Blasch, Erik ; Ren, Shaolei ; Pissinou, Niki ; Iyengar, Sundaraja SitharamaACM computing surveys, 2018-06, Vol.50 (2), p.1-37 [Periódico revisado por pares]Baltimore: Association for Computing Machinery, IncTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Constructor Theory as Process TheoryGogioso, Stefano ; Wang-Maścianica, Vincent ; Waseem, Muhammad Hamza ; Scandolo, Carlo Maria ; Coecke, BobElectronic proceedings in theoretical computer science, 2023, Vol.397, p.137-151Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
Additive Number Theory via Automata TheoryRajasekaran, Aayush ; Shallit, Jeffrey ; Smith, TimTheory of computing systems, 2020-04, Vol.64 (3), p.542-567 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
Resultados de 1 a 10 de 616.361 para Busca Geral
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
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (346.386)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (292.156)
- Artigos (260.693)
- Book Chapters (51.138)
- magazinearticle (11.834)
- Livros (453)
- Resenhas (84)
- Conjunto de Dados (3)
-
Mais opções
Assunto
- Science & Technology (615.944)
- Technology (615.919)
- Computer Science (615.918)
- Engineering (183.355)
- Engineering, Electrical & Electronic (167.979)
- Computer Science, Information Systems (152.552)
- Computer Science, Software Engineering (120.400)
- Computer Science, Artificial Intelligence (119.327)
- Computer Science, Hardware & Architecture (90.468)
- Exact Sciences And Technology (73.186)
- Applied Sciences (68.700)
- Computer Science; Control Theory; Systems (59.044)
- Physical Sciences (57.346)
- Mathematics (55.170)
- Software (47.547)
- Algorithms (45.768)
- Computer Science, Interdisciplinary Applications (43.066)
- Telecommunications (37.024)
- Mathematics, Applied (36.094)
-
Mais opções
Data de Publicação
- Antes de1967 (2.630)
- 1967Até1980 (6.552)
- 1981Até1994 (30.217)
- 1995Até2009 (207.958)
- Após 2009 (376.771)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (264.954)
- IEEE Electronic Library (IEL) Conference Proceedings (136.718)
- SpringerLINK Lecture Notes in Computer Science (97.538)
- SpringerLINK Lecture Notes in Computer Science (2015) (97.341)
- ACM Digital Library (90.388)
- ScienceDirect (Online service) (79.983)
- EZB Electronic Journals Library (63.251)
- SpringerLink (Online service) (60.113)
- Springer Nature - Springer Journals All 2022 (58.442)
- Computers & Applied Sciences Complete - EBSCO (53.373)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (40.385)
- IEEE Electronic Library (IEL) Journals (33.900)
- DOAJ Directory of Open Access Journals (31.900)
- Springer Books (29.045)
- Business Source Complete (27.611)
- IngentaConnect Journals (27.472)
- Academic OneFile (27.051)
- Academic Search Premier (EB_SDU_P3) (23.012)
- ROAD: Directory of Open Access Scholarly Resources (19.930)
- ANTE: Abstracts in New Technology & Engineering (18.830)
-
Mais opções
Idioma
Nome da Publicação
- Multimedia Tools And Applications (17.719)
- Theoretical Computer Science (13.263)
- Communications Of The Acm (10.741)
- International Journal Of Advanced Computer Science & Applications (9.478)
- Fuzzy Sets And Systems (8.570)
- International Journal Of Systems Science (7.130)
- Future Generation Computer Systems (6.560)
- Computer Methods And Programs In Biomedicine (6.375)
- Ieee Transaction On Neural Networks And Learning Systems (6.323)
- Concurrency And Computation (6.104)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 