Resultados de 1 a 10 de 16.297 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 (14.166)
- Revistas revisadas por pares (12.989)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Impossibility of distributed consensus with one faulty processFischer, Michael ; Lynch, Nancy ; Paterson, MichaelJournal of the ACM, 1985-04, Vol.32 (2), p.374-382 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
On understanding types, data abstraction, and polymorphismCardelli, Luca ; Wegner, PeterACM computing surveys, 1985-12, Vol.17 (4), p.471-523 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
Material Type: Artigo
|
|
Complexity of network synchronizationAwerbuch, BaruchJournal of the ACM, 1985-10, Vol.32 (4), p.804-823 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Clustering to minimize the maximum intercluster distanceGonzalez, Teofilo F.Theoretical computer science, 1985, Vol.38 (2-3), p.293-306 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Incomplete Information in Relational DatabasesImieliński, Tomasz ; Lipski, Jr, WitoldJournal of the ACM, 1984-09, Vol.31 (4), p.761-791 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A public key cryptosystem and a signature scheme based on discrete logarithmsElgamal, T.IEEE transactions on information theory, 1985-07, Vol.31 (4), p.469-472 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
Resultados de 1 a 10 de 16.297 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 (14.166)
- Revistas revisadas por pares (12.989)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (15.898)
- magazinearticle (294)
- Anais de Congresso (102)
- Book Chapters (3)
-
Mais opções
Assunto
- Science & Technology (13.360)
- Technology (11.312)
- Applied Sciences (10.767)
- Computer Science; Control Theory; Systems (8.025)
- Computer Science (7.889)
- Engineering (4.605)
- Physical Sciences (4.323)
- Software (3.363)
- Engineering, Electrical & Electronic (3.092)
- Chemistry (3.007)
- General And Physical Chemistry (2.826)
- Catalysis (2.801)
- Catalysts: Preparations And Properties (2.800)
- Catalytic Reactions (2.799)
- Theory Of Reactions, General Kinetics (2.798)
- General. Nomenclature, Chemical Documentation, Computer Chemistry (2.798)
- Control Theory. Systems (2.543)
- Computer Science, Software Engineering (2.122)
- Computer Science, Theory & Methods (1.950)
-
Mais opções
Data de Publicação
- Antes de1910 (1)
- 1910Até1980 (8)
- 1981Até1981 (4)
- 1982Até1983 (3.071)
- Após 1983 (13.214)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (13.301)
- ScienceDirect® (6.471)
- IEEE Electronic Library (IEL) Journals (3.180)
- Aerospace Database (2.102)
- Computers & Applied Sciences Complete - EBSCO (1.857)
- Free E-Journal (出版社公開部分のみ） (1.718)
- IngentaConnect Journals (1.703)
- Business Source Complete (EBSCO) (1.276)
- Gale Academic OneFile Select (1.191)
- Academic Search Premier (1.158)
- Springer journals (1.071)
- Taylor & Francis Open access Read & Publish (991)
- Taylor & Francis Online (986)
- Wiley-Blackwell Full Collection (889)
- Springer Nature - Springer Journals All 2022 (760)
- Wiley-Blackwell Full Collection 2013 (684)
- Wiley Journals (641)
- ACM Digital Library (623)
- ANTE: Abstracts in New Technology & Engineering (537)
-
Mais opções
Nome da Publicação
- Journal Of Catalysis (791)
- Ieee Transactions On Automatic Control (555)
- International Journal Of Control (425)
- Ieee Transactions On Computers (412)
- Theoretical Computer Science (311)
- Information Processing Letters (268)
- Computers & Structures (257)
- Journal Of Computational Physics (250)
- Communications Of The Acm (243)
- Ieee Transactions On Information Theory (243)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 