Resultados de 1 a 10 de 354 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 (292)
- Revistas revisadas por pares (171)
- Disponível na Biblioteca (9)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Calendrical calculationsNachum Dershowitz Edward M ReingoldCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Verification: Theory and PracticeNachum Dershowitz Nachum Dershowitz; Zohar MannaSpringer Berlin Heidelberg 2003Acesso online |
| 4 |
Material Type: Livro
|
|
Verification theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthdayNachum Dershowitz; Zohar MannaBerlin Springer-Verlag New York c2003Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Calendrical calculations / the ultimate editionEdward M. Reingold Nachum Dershowitz 1945-Cambridge : Cambridge University Press 2018Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas (529.3 R367c 4ª ed. )(Acessar) |
| 6 |
Material Type: Livro
|
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications, 3., Chapel Hill, 1989 Nachum DershowitzBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.355 e.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Conditional and typed rewriting systems proceedingsInternational Workshop on Conditional Term Rewriting Systems (4. 1994 Jerusalem, Il) Nachum Dershowitz; Naomi LindenstraussBerlin Springner 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.968 e.1 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthdayB. A Trakhtenbrot (Boris Avraamovich); Arnon Avron; Nachum Dershowitz; Alexander RabinovichBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS 4800 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Conditional and typed rewriting systemsInternational Workshop, CTRS-94, 4 1994 Jerusalem Nachum Dershowitz; Naomi LindenstraussGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.968 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Conditional and Typed Rewriting SystemsInternational Workshop on Conditional (and Typed) Rewriting Systems Nachum Dershowitz; Naomi LindenstraussSpringer Berlin Heidelberg 1995Acesso online |
Resultados de 1 a 10 de 354 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 (292)
- Revistas revisadas por pares (171)
- Disponível na Biblioteca (9)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (139)
- Book Chapters (130)
- Anais de Congresso (39)
- Livros (36)
- Reports (4)
- magazinearticle (4)
- Resenhas (1)
- Verbetes (1)
-
Mais opções
Assunto
- Computer Science (150)
- Science & Technology (148)
- Technology (118)
- Computer Science, Theory & Methods (80)
- Mathematics (64)
- Physical Sciences (52)
- Computer Science, Software Engineering (47)
- Artificial Intelligence (36)
- Exact Sciences And Technology (33)
- Mathematics, Applied (31)
- Logic (30)
- Science & Technology - Other Topics (29)
- Applied Sciences (29)
- Computer Science; Control Theory; Systems (28)
- Computer Programming / Software Development (23)
- Algorithms (22)
- Computer Science, Artificial Intelligence (22)
- Theoretical Computing (19)
- Information Retrieval (18)
- Arts & Humanities (16)
- 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)
- Calendar (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 (13)
- 1983Até1993 (39)
- 1994Até2003 (37)
- 2004Até2013 (131)
- Após 2013 (134)
-
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 (90)
- Science Citation Index Expanded (Web of Science) (79)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (67)
- ROAD: Directory of Open Access Scholarly Resources (47)
- EZB* (47)
- EBSCOhost Computers and Applied Sciences Complete (34)
- Free E- Journals (32)
- Elsevier ScienceDirect Journals (32)
- arXiv.org (30)
- 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 (24)
- EBSCOhost Academic Search Premier (24)
- Springer Books Online Archive (19)
- ACM Digital Library Complete (17)
- IOS Press Publications (14)
- Springer Nature - Springer Mathematics and Statistics eBooks 2011 English International (14)
-
Mais opções
Idioma
- Japonês (2)
- Português (1)
- Sânscrito (1)
-
Mais opções
Nome da Publicação
- arXiv.org (22)
- Fundamenta Informaticae (14)
- Arxiv (14)
- 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: 