skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Substitutions in Dynamics, Arithmetics and Combinatorics
Substitutions in Dynamics, Arithmetics and Combinatorics
Substitutions in Dynamics, Arithmetics and Combinatorics
Material Type:
Livro 		Adicionar ao Meu Espaço

Substitutions in Dynamics, Arithmetics and Combinatorics

N. Pytheas Fogg Valérie Berthé; Sebastien Ferenczi; Christian Mauduit; Anne Siegel

Springer Berlin / Heidelberg 2002

Acesso online. A biblioteca também possui exemplares impressos.

2
String-rewriting systems
String-rewriting systems
Material Type:
Livro 		Adicionar ao Meu Espaço

String-rewriting systems

Ronald V. Book Friedrich Otto

New York Springer-Verlag c1993

Localização: IME - Inst. Matemática e Estatística    (QA806 B724s )(Acessar)

3
Confluent string rewriting
Confluent string rewriting
Material Type:
Livro 		Adicionar ao Meu Espaço

Confluent string rewriting

Matthias Jantzen 1948-

Berlin Springer-Verlag New York c1988

Localização: IME - Inst. Matemática e Estatística    (QA806 J35c )(Acessar)

4
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic Rewriting Techniques

John C. Constable, Robert Gallier, Jean Cherniavsky Robert Constable; Jean Gallier; Johannes Grabmeier; Volker Weispfenning

Birkhäuser Basel 1998

Acesso online. A biblioteca também possui exemplares impressos.

5
Macros como mecanismos de abstração em transformações textuais.
Macros como mecanismos de abstração em transformações textuais.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Macros como mecanismos de abstração em transformações textuais.

Cereda, Paulo Roberto Massa

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-06-29

Acesso online. A biblioteca também possui exemplares impressos.

6
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Tobias Nipkow 1958-; International Conference on Rewriting Techniques and Applications (9th 1998 Tsukuba-shi, Japan)

Berlin Springer New York 1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1379 ) e outros locais(Acessar)

7
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

AGTIVE'99 (1999 Kerkrade, Netherlands) Manfred Nagl 1944-; Andreas Schürr; Manfred Münch 1971-

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin New York Springer c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1779 ) e outros locais(Acessar)

8
Systems of reductions
Systems of reductions
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems of reductions

B. Benninghofen 1958- (Benjamin) S Kemmerich 1953- (Susanne); Michael M Richter 1938-

Berlin New York Springer-Verlag c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.277 ex.1 ) e outros locais(Acessar)

9
Conditional term rewriting systems
Conditional term rewriting systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional term rewriting systems

International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France) M Rusinowitch (Michael); J. L Remy

Berlin New York Springer-Verlag 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.656 e.1 ) e outros locais(Acessar)

10
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2051 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (909)
  2. Anais de Congresso  (284)
  3. Book Chapters  (93)
  4. Livros  (82)
  5. Reports  (17)
  6. Dissertações  (7)
  7. magazinearticle  (3)
  8. Produções Acadêmicas  (2)
  9. Conjunto de Dados  (1)
  10. Mais opções open sub menu

Assunto 

  1. Science & Technology  (955)
  2. Computer Science  (876)
  3. Technology  (810)
  4. Computer Science, Theory & Methods  (410)
  5. Computer Science, Information Systems  (304)
  6. Exact Sciences And Technology  (303)
  7. Applied Sciences  (297)
  8. Computer Science; Control Theory; Systems  (294)
  9. Mathematics  (258)
  10. Physical Sciences  (235)
  11. Theoretical Computing  (233)
  12. Computer Science, Software Engineering  (232)
  13. Rewriting Systems  (135)
  14. Algorithmics. Computability. Computer Arithmetics  (122)
  15. Mathematics, Applied  (119)
  16. Query Rewriting  (117)
  17. Software  (115)
  18. Computer Science, Artificial Intelligence  (109)
  19. Rewriting Logic  (105)
  20. Artificial Intelligence  (104)
  21. Algorithms  (100)
  22. Computer Programming  (60)
  23. Rewriting Systems (Computer Science)  (21)
  24. Reduktionssystem  (18)
  25. Computational Complexity  (13)
  26. Computer Programming  (10)
  27. Algorithms  (10)
  28. Computermethoden  (10)
  29. Linguagens Formais  (7)
  30. Termersetzungssystem  (7)
  31. Linguagens Formais (Congressos)  (6)
  32. Teoria Da Computação (Congressos)  (5)
  33. Reduktionssystem  (4)
  34. Teoria Da Computação  (4)
  35. Lógica Matemática  (3)
  36. Linguagem De Programação  (2)
  37. Computational Complexity  (2)
  38. Inteligência Artificial  (2)
  39. Engenharia De Software  (2)
  40. Termersetzungssystem  (2)
  41. Lógica Matemática  (1)
  42. Aspektorientierte Programmierung  (1)
  43. Aspektorientierte Programmierung  (1)
  44. Computermethoden  (1)
  45. Autômatos Finitos  (1)
  46. Ciência Da Computação (Simulação Computacional)  (1)
  47. Multitasking (Computer Science)  (1)
  48. Inteligência Artificial  (1)
  49. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1983  (22)
  2. 1983Até1992  (84)
  3. 1993Até2002  (268)
  4. 2003Até2013  (641)
  5. Após 2013  (408)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.386)
  2. Japonês  (48)
  3. Francês  (6)
  4. Português  (3)
  5. Russo  (2)
  6. Espanhol  (2)
  7. Ndongo  (1)
  8. Norueguês  (1)
  9. Africâner  (1)
  10. Búlgaro  (1)
  11. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.