skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal language theory perspectives and open problems
Material Type:
Livro
Adicionar ao Meu Espaço

Formal language theory perspectives and open problems

Ronald V Book

New York Academic Press c1980

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

2
Words, languages, and combinatorics II proceedings of the international conference : Kyoto, Japan, 25-28 August 1992
Material Type:
Livro
Adicionar ao Meu Espaço

Words, languages, and combinatorics II proceedings of the international conference : Kyoto, Japan, 25-28 August 1992

Masami Itåo 1941-; Helmut Jürgensen; Kyåoto Sangåyo Daigaku; International Colloquium on Words, Languages, andCombinatorics (2nd 1992 Kyoto, Japan)

Singapore World Scientific River Edge, NJ c1994

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

1. [i.e. Erste] Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973

Fachtagung über Automatentheorie und Formale Sprachen (1st 1973 Bonn) Karl Heinz Böhling; Klaus Indermark; Gesellschaft für Informatik

Berlin Springer-Verlag New York 1973

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

4
Grammatical inference 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Grammatical inference 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings

Vasant Honavar; Giora Slutzki; International Colloquium on Grammatical Inference (4th 1998 Ames, Iowa)

Berlin Springer New York c1998

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

5
Theoretical computer science
Material Type:
Livro
Adicionar ao Meu Espaço

Theoretical computer science

GI-Fachtagung Theoretische Informatik (3rd 1977 Darmstadt) H. G Tzschach; Helmut Waldschmidt; H. K.-G Walter 1942- (Hermann K.-G.)

Berlin New York Springer-Verlag 1977

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

6
Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings

Rafael C Carrasco 1963-; Jose Oncina 1962-; International Colloquium on Grammatical Inference (2nd 1994 Alicante, Spain)

Berlin New York Springer-Verlag c1994

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

7
Developments in language theory 5th international conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Developments in language theory 5th international conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers

Conference on Developments in Language Theory (5th 2001 Vienna, Austria) Werner Kuich 1941-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c2002

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

8
Developments in language theory 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Developments in language theory 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 proceedings

Conference on Developments in Language Theory (9th 2005 Palermo, Italy) Clelia De Felice; Antonio Restivo

Berlin Springer New York c2005

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

9
Developments in language theory 11th international conference, DLT 2007, Turku, Finland, July 2007 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Developments in language theory 11th international conference, DLT 2007, Turku, Finland, July 2007 proceedings

Conference on Developments in Language Theory (11th 2007 Turku, Finland.) Tero Harju; Juhani Karhum aki; Arto Lepist o

Berlin Springer c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4588 )(Acessar)

10
Developments in language theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Developments in language theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedings

Conference on Developments in Language Theory (8th 2004 Auckland, N.Z.) Cristian Calude 1952; Elena Calude; M. J Dinneen 1957

Berlin Springer New York c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3340 ) 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. Livros  (2.247)
  2. Artigos  (16)
  3. Anais de Congresso  (6)
  4. Book Chapters  (3)
  5. Recursos Textuais  (1)
  6. Mais opções open sub menu

Assunto 

  1. Congresses  (2.067)
  2. Computer Science  (2.062)
  3. Mathematical Logic And Formal Languages  (1.946)
  4. Machine Theory  (1.834)
  5. Mathematical Logic  (1.713)
  6. Artificial Intelligence  (1.310)
  7. Computers  (1.272)
  8. Logics And Meanings Of Programs  (1.144)
  9. Computer Logic  (1.091)
  10. Software Engineering  (1.023)
  11. Mathematics  (1.018)
  12. Logic Design  (982)
  13. Logic, Symbolic And Mathematical  (981)
  14. Kongress  (980)
  15. Formal Languages And Automata Theory  (859)
  16. Electronic Data Processing  (836)
  17. Informatique  (806)
  18. Programming Languages  (805)
  19. Electronic Brains  (793)
  20. Programming Languages, Compilers, Interpreters  (771)
  21. Computer Programming  (760)
  22. Formal Languages  (175)
  23. Langages Formels  (79)
  24. Computer Algorithms  (70)
  25. Formal Languages  (37)
  26. Linguagens Formais  (15)
  27. Sequential Machine Theory  (13)
  28. Teoria Da Computação  (12)
  29. Programming (Electronic Computers)  (8)
  30. Inteligência Artificial  (8)
  31. Lógica Matemática  (6)
  32. Computabilidade E Complexidade (Congressos)  (5)
  33. Computer Programming  (5)
  34. Linguagens Formais (Congressos)  (5)
  35. Lógica Matemática  (5)
  36. Teoria Da Computação (Congressos)  (5)
  37. Langages Formels  (4)
  38. Inteligência Artificial  (4)
  39. Computer Algorithms  (3)
  40. Programming Languages (Electronic Computers)  (3)
  41. Especificação De Sistemas E Programas  (3)
  42. Ciência Da Computação  (2)
  43. Programmation (Informatique)  (2)
  44. Linguagens Formais  (2)
  45. Teoria Da Computação  (2)
  46. Parallel Processing (Electronic Computers)  (2)
  47. Sequential Machine Theory  (2)
  48. Ciência Da Computação  (1)
  49. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1981  (29)
  2. 1981Até1991  (54)
  3. 1992Até2001  (347)
  4. 2002Até2012  (1.442)
  5. Após 2012  (915)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (8)
  2. Japonês  (3)
  3. Francês  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.