Resultados de 1 a 10 de 700 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
Refinado por:
data de publicação:
1973Até1988
assunto:
Computer Science; Control Theory; Systems
Base de dados/Biblioteca:
EBSCOhost Computers and Applied Sciences Complete
assunto:
Computer Science; Control Theory; Systems
Base de dados/Biblioteca:
EBSCOhost Computers and Applied Sciences Complete
| 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
|
|
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
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 |
| 8 |
Material Type: Artigo
|
|
Generalized best-first search strategies and the optimality of ADechter, Rina ; Pearl, JudeaJournal of the ACM, 1985-07, Vol.32 (3), p.505-536 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
The complexity of searching a graphMegiddo, N ; Hakimi, S ; Garey, M ; Johnson, D ; Papadimitriou, CJournal of the ACM, 1988-01, Vol.35 (1), p.18-44 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
On the minimal synchronism needed for distributed consensusDolev, Danny ; Dwork, Cynthia ; Stockmeyer, LarryJournal of the ACM, 1987-01, Vol.34 (1), p.77-97 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
Resultados de 1 a 10 de 700 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
Assunto
- Computer Science (686)
- Science & Technology (685)
- Technology (683)
- Computer Science, Theory & Methods (633)
- Computer Science, Software Engineering (599)
- Computer Science, Hardware & Architecture (599)
- Software (502)
- Computer Science, Information Systems (207)
- Theoretical Computing (152)
- Memory Organisation. Data Processing (132)
- Computer Systems And Distributed Systems. User Interface (118)
- Artificial Intelligence (116)
- Software Engineering (109)
- Algorithms (103)
- Algorithmics. Computability. Computer Arithmetics (96)
- Information Systems. Data Bases (84)
- Computer Architecture (67)
-
Mais opções
Data de Publicação
- Antes de1983 (1)
- 1983Até1983 (93)
- 1984Até1984 (114)
- 1985Até1986 (197)
- Após 1986 (296)
-
Mais opções
Base de Dados/Biblioteca
- Computers & Applied Sciences Complete - EBSCO (700)
- Science Citation Index Expanded (Web of Science) (685)
- Business Source Complete (EBSCO) (564)
- Gale Academic OneFile Select (555)
- ACM Digital Library (555)
- Academic Search Premier (89)
- Springer Nature - Springer Journals All 2022 (81)
- SpringerLink (Online service) (81)
- IEEE Electronic Library (IEL) Journals (50)
- ANTE: Abstracts in New Technology & Engineering (27)
- Journals@Ovid Ovid Full Text (25)
- Aerospace Database (13)
- Wiley-Blackwell Full Collection (7)
- IngentaConnect Journals (6)
- LOCUS - SIAM's Online Journal Archive (5)
- NASA Technical Reports Server (4)
- Taylor & Francis Open access Read & Publish (2)
- Taylor & Francis Online (2)
- Wiley-Blackwell Full Collection 2013 (1)
-
Mais opções
Nome da Publicação
- Communications Of The Acm (344)
- Journal Of The Acm (208)
- New Generation Computing (51)
- Ieee Transactions On Software Engineering (50)
- International Journal Of Parallel Programming (25)
- Int. J. Parallel Program.; (19)
- J. Assoc. Comput. Mach.; (12)
- Commun. Acm; (8)
- Systems And Computers In Japan (6)
- Ieee Trans. Software Eng.; (5)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 