Resultados de 1 a 10 de 442 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (290)
- Revistas revisadas por pares (170)
- Disponível na Biblioteca (9)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A simplified loop-free algorithm for generating permutationsDershowitz, NachumBIT, 1975-06, Vol.15 (2), p.158-164 [Periódico revisado por pares]Texto completo disponível |
| 2 |
Material Type: Report
|
|
The Evolution of Programs: A System for Automatic Program ModificationDershowitz,Nachum ; Manna,Zohar1976Texto completo disponível |
| 3 |
Material Type: Report
|
|
Inference Rules for Program AnnotationDershowitz,Nachum ; Manna,Zohar1977Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
The Evolution of Programs: Automatic Program ModificationDershowitz, N. ; Manna, Z.IEEE transactions on software engineering, 1977-11, Vol.SE-3 (6), p.377-385 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 5 |
Material Type: Artigo
|
|
KEDMA-Linguistic Tools for Retrieval SystemsAttar, R ; Choueka, Y ; Dershowitz, Nachum ; Fraenkel, AJournal of the ACM, 1978-01, Vol.25 (1), p.52-66 [Periódico revisado por pares]ACMTexto completo disponível |
| 6 |
Material Type: Report
|
|
Proving Termination with Multiset OrderingsDershowitz,Nachum ; Manna,Zohar1978Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
A note on simplification orderingsDershowitz, NachumInformation processing letters, 1979-01, Vol.9 (5), p.212-215 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 8 |
Material Type: magazinearticle
|
|
Proving termination with multiset orderingsDershowitz, Nachum ; Manna, ZoharCommunications of the ACM, 1979-08, Vol.22 (8), p.465-476ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Enumerations of ordered treesDershowitz, Nachum ; Zaks, ShmuelDiscrete mathematics, 1980, Vol.31 (1), p.9-28 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
The Schorr-Waite marking algorithm revisitedDershowitz, NachumInformation processing letters, 1980-01, Vol.11 (3), p.141-143 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 442 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr 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 (290)
- Revistas revisadas por pares (170)
- Disponível na Biblioteca (9)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (218)
- Artigos (138)
- Anais de Congresso (38)
- Livros (38)
- Reports (4)
- magazinearticle (4)
- Resenhas (1)
- Verbetes (1)
-
Mais opções
Assunto
- Computer Science (148)
- Science & Technology (146)
- Technology (117)
- Computer Science, Theory & Methods (80)
- Mathematics (63)
- Physical Sciences (49)
- Computer Science, Software Engineering (46)
- Computer Programming / Software Development (35)
- Artificial Intelligence (35)
- Exact Sciences And Technology (33)
- Logic (30)
- Science & Technology - Other Topics (29)
- Applied Sciences (29)
- Computer Science; Control Theory; Systems (28)
- Mathematics, Applied (28)
- Algorithms (21)
- Computer Science, Artificial Intelligence (21)
- Theoretical Computing (19)
- Information Retrieval (18)
- Arts & Humanities (16)
- Calendar (4)
- Verification (4)
- Teoria Da Computação (3)
- Computer Software (3)
- Ciência Da Computação (2)
- Theoretische Informatik (2)
- Algoritmos Numéricos (2)
- Calendários (2)
- Linguagens Formais (2)
- Inteligência Artificial (2)
- Programmierung (2)
- Calendar (2)
- Aufsatzsammlung (1)
- Programmierung (1)
- Theoretische Informatik (1)
- Manna (1)
- Trakhtenbrot, B. A. (Boris Avraamovich) (1)
- Manna (1)
- Programmierlogik (1)
- ÍNDIA (1)
- Berechnungstheorie (1)
- Berechnungstheorie (1)
- Aufsatzsammlung (1)
- Computer Software (1)
- Computabilidade E Complexidade (1)
- Programmierlogik (1)
- Matemática Da Computação (1)
- Verification (1)
-
Mais opções
Autor/Criador
- Dershowitz, N (11)
- Lindenstrauss, N (3)
- Reingold, E (2)
- Manna, Z (2)
- Blass, A (1)
- International Conference on Rewriting Techniques and Applications (1)
- International Workshop, C (1)
- Finkbeiner, B (1)
- Beklemishev (1)
- Graham, R (1)
- Avron, A (1)
- Dershowitz (1)
- Coffman, E (1)
- Yadav, B (1)
- International Workshop on Conditional Term Rewriting Systems (1)
- Rabinovich, A (1)
- Trakhtenbrot, B (1)
- Mohan, M (1)
- B.S. Yadav (1)
- Man Mohan (1)
-
Mais opções
Data de Publicação
- Antes de1983 (14)
- 1983Até1993 (39)
- 1994Até2003 (80)
- 2004Até2013 (143)
- Após 2013 (168)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (143)
- Lecture Notes in Computer Science Archive (through to 1996) (116)
- Springer Books (89)
- Science Citation Index Expanded (Web of Science) (78)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (66)
- Cambridge University Press online books (57)
- Cambridge Core All Books (57)
- EZB Free E-Journals (47)
- ROAD: Directory of Open Access Scholarly Resources (44)
- EBSCOhost Computers and Applied Sciences Complete (33)
- Elsevier ScienceDirect Journals (33)
- arXiv.org (30)
- Free E- Journals (29)
- Springer Nature - Springer Computer Science eBooks 2015 English International (25)
- SpringerLINK Lecture Notes in Computer Science (2014) (25)
- Springer Nature - Springer Computer Science eBooks 2014 English International (24)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (23)
- EBSCOhost Academic Search Premier (23)
- Springer Books Online Archive (18)
- ACM Digital Library Complete (17)
-
Mais opções
Idioma
- Japonês (2)
- Português (1)
- Sânscrito (1)
-
Mais opções
Nome da Publicação
- arXiv.org (20)
- Arxiv (15)
- Fundamenta Informaticae (13)
- Theoretical Computer Science (8)
- Electronic Notes In Theoretical Computer Science (6)
- Journal Of Symbolic Computation (4)
- Communications Of The Acm (3)
- Applied Mathematics And Computation (3)
- Journal Of Data Mining And Digital Humanities (3)
- Electronic Proceedings In Theoretical Computer Science (3)
- Lecture Notes In Computer Science (2)
- Lecture Notes in Computer Science (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 