Resultados de 1 a 10 de 542 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 (541)
- Revistas revisadas por pares (336)
Refinado por:
data de publicação:
1973Até1988
assunto:
Computer Science; Control Theory; Systems
Base de dados/Biblioteca:
ScienceDirect
assunto:
Computer Science; Control Theory; Systems
Base de dados/Biblioteca:
ScienceDirect
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A data structure for dynamic treesSleator, Daniel D. ; Endre Tarjan, RobertJournal of computer and system sciences, 1983-01, Vol.26 (3), p.362-391 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Decision procedures and expressiveness in the temporal logic of branching timeEmerson, E.Allen ; Halpern, Joseph Y.Journal of computer and system sciences, 1985-01, Vol.30 (1), p.1-24 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Routing, merging, and sorting on parallel models of computationBorodin, A. ; Hopcroft, J.E.Journal of computer and system sciences, 1985-01, Vol.30 (1), p.130-145 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Testing containment of conjunctive queries under functional and inclusion dependenciesJohnson, D.S. ; Klug, A.Journal of computer and system sciences, 1984-01, Vol.28 (1), p.167-189 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
A parallel machine for multiset transformation and its programming styleBanâtre, J.-P. ; Coutant, A. ; Le Metayer, D.Future generation computer systems, 1988-09, Vol.4 (2), p.133-144 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Finding small simple cycle separators for 2-connected planar graphsMiller, Gary L.Journal of computer and system sciences, 1986-06, Vol.32 (3), p.265-279 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A complete inference system for a class of regular behavioursMilner, RobinJournal of computer and system sciences, 1984-01, Vol.28 (3), p.439-466 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Conditional rewrite rules: Confluence and terminationBergstra, J.A. ; Klop, J.W.Journal of computer and system sciences, 1986-06, Vol.32 (3), p.323-362 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Macro tree transducersEngelfriet, Joost ; Vogler, HeikoJournal of computer and system sciences, 1985-01, Vol.31 (1), p.71-146 [Periódico revisado por pares]Brugge: Elsevier IncTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Matrix algorithms on a hypercube I: Matrix multiplicationFox, G.C ; Otto, S.W ; Hey, A.J.GParallel computing, 1987-02, Vol.4 (1), p.17-31 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 542 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 (541)
- Revistas revisadas por pares (336)
Assunto
- Science & Technology (534)
- Technology (534)
- Computer Science (533)
- Computer Science, Hardware & Architecture (482)
- Software (384)
- Computer Science, Theory & Methods (213)
- Computer Systems And Distributed Systems. User Interface (167)
- Computer Science, Software Engineering (129)
- Theoretical Computing (101)
- Software Engineering (61)
- Engineering (58)
- Engineering, Electrical & Electronic (56)
- Memory Organisation. Data Processing (51)
- Artificial Intelligence (43)
- Algorithmics. Computability. Computer Arithmetics (38)
- Information Systems. Data Bases (34)
- Architecture (30)
-
Mais opções
Data de Publicação
- Antes de1983 (1)
- 1983Até1983 (83)
- 1984Até1984 (115)
- 1985Até1986 (168)
- Após 1986 (176)
-
Mais opções
Base de Dados/Biblioteca
- ScienceDirect Additional Titles (542)
- Science Citation Index Expanded (Web of Science) (534)
- Electronic Journals Library - Freely accessible e-journals (138)
- IngentaConnect Journals (18)
- eBook - All Access Books [EBAAB] (12)
- ScienceDirect eBooks (11)
- ANTE: Abstracts in New Technology & Engineering (11)
- Aerospace Database (8)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- NASA Technical Reports Server (1)
-
Mais opções
Nome da Publicação
- Microprocessing And Microprogramming (144)
- Journal Of Computer And System Sciences (138)
- Journal Of Microcomputer Applications (58)
- Computer Standards And Interfaces (45)
- Performance Evaluation (41)
- Computers & Electrical Engineering (20)
- The Journal Of Systems And Software (14)
- Microprocessors And Microsystems (13)
- Parallel Computing (10)
- Advances In Computers (10)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 