Resultados de 1 a 10 de 2.545 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
- Recursos Online (2.412)
- Revistas revisadas por pares (1.892)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Consensus in the presence of partial synchronyDwork, Cynthia ; Lynch, Nancy ; Stockmeyer, LarryJournal of the ACM, 1988-04, Vol.35 (2), p.288-323 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Graph-Based Algorithms for Boolean Function ManipulationBRYANT, R. EIEEE Trans. Comput.; (United States), 1986-08, Vol.C-35 (8), p.677-691 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Many hard examples for resolutionCHVATAL, V ; SZEMEREDI, EJournal of the ACM, 1988-10, Vol.35 (4), p.759-768 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Using dual approximation algorithms for scheduling problems theoretical and practical resultsHochbaum, Dorit ; Shmoys, DavidJournal of the ACM, 1987-01, Vol.34 (1), p.144-162 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Fat-trees: Universal networks for hardware-efficient supercomputingLeiserson, C. E.IEEE transactions on computers, , Vol.C-34 (10), p.892-901 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Computational limitations on learning from examplesPitt, Leonard ; Valiant, LeslieJournal of the ACM, 1988-10, Vol.35 (4), p.965-984 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Image Analysis Using Mathematical MorphologyHaralick, Robert M. ; Sternberg, Stanley R. ; Zhuang, XinhuaIEEE transactions on pattern analysis and machine intelligence, 1987-07, Vol.PAMI-9 (4), p.532-550 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |
| 8 |
Material Type: Artigo
|
|
The complexity of propositional linear temporal logicsSistla, A ; Clarke, EJournal of the ACM, 1985-07, Vol.32 (3), p.733-749 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Algebraic laws for nondeterminism and concurrencyHennessy, Matthew ; Milner, RobinJournal of the ACM, 1985-01, Vol.32 (1), p.137-161 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Self-adjusting binary search treesSleator, Daniel ; Tarjan, RobertJournal of the ACM, 1985-07, Vol.32 (3), p.652-686 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
Resultados de 1 a 10 de 2.545 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
- Recursos Online (2.412)
- Revistas revisadas por pares (1.892)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (2.196)
- magazinearticle (347)
- Book Chapters (2)
-
Mais opções
Assunto
- Science & Technology (2.508)
- Technology (2.501)
- Computer Science (2.474)
- Computer Science, Hardware & Architecture (2.276)
- Software (1.838)
- Computer Science, Theory & Methods (1.367)
- Computer Science, Software Engineering (1.231)
- Engineering (719)
- Engineering, Electrical & Electronic (712)
- Computer Systems And Distributed Systems. User Interface (664)
- Computer Science, Information Systems (661)
- Theoretical Computing (469)
- Memory Organisation. Data Processing (388)
- Artificial Intelligence (297)
- Algorithmics. Computability. Computer Arithmetics (289)
- Software Engineering (283)
- General And Miscellaneous//mathematics, Computing, And Information Science (259)
-
Mais opções
Data de Publicação
- Antes de1983 (1)
- 1983Até1983 (338)
- 1984Até1984 (433)
- 1985Até1986 (780)
- Após 1986 (994)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (2.509)
- IEEE Electronic Library (IEL) Journals (829)
- EBSCOhost Computers and Applied Sciences Complete (701)
- Gale Academic OneFile (567)
- EBSCOhost Business Source Complete (566)
- ACM Digital Library (558)
- ScienceDirect (547)
- Oxford Journals (318)
- Oxford University Press Journals Current (318)
- Aerospace Database (233)
- EZB Electronic Journals Library (142)
- ANTE: Abstracts in New Technology & Engineering (135)
- Wiley Online Library Journals Frontfile Complete (119)
- Wiley-Blackwell Full Collection 2013 (102)
- EBSCOhost Academic Search Premier (91)
- SpringerLink (84)
- Springer Nature - Springer Journals All 2022 (83)
- IngentaConnect Journals (54)
- Wiley Online Library All Journals (54)
- NASA Technical Reports Server (41)
-
Mais opções
Nome da Publicação
- Ieee Transactions On Computers (523)
- Communications Of The Acm (345)
- Computer Journal (318)
- Journal Of The Acm (208)
- Ieee Trans. Comput.; (159)
- Microprocessing And Microprogramming (146)
- Journal Of Computer And System Sciences (140)
- Ibm Journal Of Research And Development (96)
- Iee Proceedings. Part E, Computers And Digital Techniques (71)
- At&t Technical Journal (59)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 