Resultados de 1 a 10 de 6.557 para Busca Geral
Mostrar Somente
- Revistas revisadas por pares (5.006)
Refinado por:
assunto:
Exact Sciences And Technology
EBSCOhost Business Source Complete
EBSCOhost Business Source Complete
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Characterizations of the decidability of some problems for regular trace languagesAalbersberg, IJ. J. ; Hoogeboom, H. J.Mathematical Systems Theory, 1989-12, Vol.22 (1), p.1-19 [Periódico revisado por pares]Texto completo disponível |
| 2 |
Material Type: magazinearticle
|
|
Trespass, nuisance, and spam: 11th century common law meets the internetAALBERTS, Robert J ; POON, Percy S ; THISTLE, Paul DCommunications of the ACM, 2007-12, Vol.50 (12), p.40-45New York, NY: Association for Computing MachineryTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Algorithms for Boolean function query propertiesAARONSON, ScottSIAM journal on computing, 2003-01, Vol.32 (5), p.1140-1157 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Lower bounds for local search by quantum argumentsAARONSON, ScottSIAM journal on computing, 2006, Vol.35 (4), p.804-824 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
| 5 |
Material Type: magazinearticle
|
|
Quantum MoneyAARONSON, Scott ; FARHI, Edward ; GOSSET, David ; HASSIDIM, Avinatan ; KELNER, Jonathan ; LUTOMIRSKI, AndrewCommunications of the ACM, 2012-08, Vol.55 (8), p.84-92New York, NY: Association for Computing MachineryTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Nonclausal deduction in first-order temporal logicABADI, M ; MANNA, ZJournal of the ACM, 1990-04, Vol.37 (2), p.279-317 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Analyzing security protocols with secrecy types and logic programsABADI, Martin ; BLANCHET, BrunoJournal of the ACM, 2005, Vol.52 (1), p.102-146 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Security Analysis of Cryptographically Controlled Access to XML DocumentsABADI, Martin ; WARINSCHI, BogdanJournal of the ACM, 2008-05, Vol.55 (2), p.1-29 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A Survey on Ear BiometricsABAZA, Ayman ; ROSS, Arun ; HEBERT, Christina ; HARRISON, Mary Ann F ; NIXON, Mark SACM computing surveys, 2013-02, Vol.45 (2), p.1-35 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A framework for establishing trust in Cloud provenanceAbbadi, Imad M.International journal of information security, 2013-04, Vol.12 (2), p.111-128 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
Resultados de 1 a 10 de 6.557 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (5.006)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (5.042)
- magazinearticle (1.508)
- Anais de Congresso (7)
-
Mais opções
Assunto
- Science & Technology (6.411)
- Technology (6.245)
- Computer Science (5.958)
- Computer Science, Theory & Methods (5.689)
- Applied Sciences (5.618)
- Computer Science; Control Theory; Systems (4.998)
- Mathematics (3.253)
- Software (2.777)
- Computer Science, Software Engineering (2.434)
- Theoretical Computing (2.242)
- Computer Science, Hardware & Architecture (2.211)
- Physical Sciences (2.144)
- Algorithms (2.114)
- Sciences And Techniques Of General Use (1.985)
- Mathematics, Applied (1.973)
- Algorithmics. Computability. Computer Arithmetics (1.732)
- Studies (1.554)
- Numerical Analysis (1.175)
- Computer Systems And Distributed Systems. User Interface (1.070)
-
Mais opções
Data de Publicação
- Antes de1988 (1.002)
- 1988Até1993 (1.439)
- 1994Até1999 (1.138)
- 2000Até2006 (1.005)
- Após 2006 (1.974)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (6.386)
- EBSCOhost Computers and Applied Sciences Complete (6.287)
- Academic Search Premier (3.341)
- Gale Academic OneFile (3.206)
- ACM Digital Library Complete (2.919)
- SIAM journals archive (Locus) (1.835)
- SpringerLink Journals - AutoHoldings (1.442)
- Springer Nature - Springer Journals All 2022 (1.434)
- IngentaConnect Journals (270)
- JSTOR (253)
- JSTOR Mathematics and Statistics (144)
- JSTOR Business and Economics Collection (129)
- JSTOR Business & Economics (129)
- Informs (128)
- JSTOR Arts and Sciences I (107)
- JSTOR Arts and Sciences IV (107)
- Wiley Online Library (105)
- WILEY-BLACKWELL (99)
- Wiley-Blackwell Full Collection 2013 (99)
-
Mais opções
Idioma
- Japonês (914)
- Alemão (2)
-
Mais opções
Nome da Publicação
- Siam Journal On Computing (1.613)
- Communications Of The Acm (1.494)
- Computing (1.118)
- Journal Of The Acm (740)
- Acm Computing Surveys (398)
- Acm Transactions On Computer Systems (252)
- Siam Journal On Control And Optimization (138)
- Mathematical Programming (137)
- Mathematical Systems Theory (99)
- Operations Research (67)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 