skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Material Type:
Livro
Adicionar ao Meu Espaço

14th Annual Symposium on Switching & Automata Theory; [papers]

Symposium on Switching and Automata Theory (14th 1973 University of Iowa) IEEE Computer Society Switching and Automata Theory Committee; University of Iowa Computer Science Dept

Northridge, Calif. Available from: IEEE Computer Society, Publications Office c1973

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island

Symposium on Foundations of Computer Science (18th 1977 Providence) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Brown University

Long Beach, Calif. The Society c1977

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

4
1983 ACM Computer Science Conference and SIGCSE Symposium Computer Science Conference, February 15-17, SIGCSE Symposium, February 17-18
Material Type:
Livro
Adicionar ao Meu Espaço

1983 ACM Computer Science Conference and SIGCSE Symposium Computer Science Conference, February 15-17, SIGCSE Symposium, February 17-18

ACM Computer Science Conference (1983 Orlando, Fla.) Association for Computing Machinery; Association for Computing Machinery Special Interest Group on Computer Science Education; ACM SIGCSE Technical Symposium on Computer Science Education (14th 1983 Orlando, Fla.)

New York, N.Y. Association for Computing Machinery c1983

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

5
1984 ACM Twelfth Annual Computer Science Conference, February 14-16 [and] SIGCSE Symposium, February 16-17, Franklin Plaza Hotel, Philadelphia, Pennsylvania
Material Type:
Livro
Adicionar ao Meu Espaço

1984 ACM Twelfth Annual Computer Science Conference, February 14-16 [and] SIGCSE Symposium, February 16-17, Franklin Plaza Hotel, Philadelphia, Pennsylvania

ACM Computer Science Conference (12th 1984 Philadelphia, Pa.) Association for Computing Machinery; Association for Computing Machinery Special Interest Group on Computer Science Education; ACM SIGCSE Technical Symposium on Computer Science Education (1984 Philadelphia, Pa.)

New York, N.Y. Association for Computing Machinery c1984

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

6
1985 ACM Thirteenth Annual Computer Science Conference, March 12-14, 1985, New Orleans Marriott Hotel, New Orleans, Louisiana
Material Type:
Livro
Adicionar ao Meu Espaço

1985 ACM Thirteenth Annual Computer Science Conference, March 12-14, 1985, New Orleans Marriott Hotel, New Orleans, Louisiana

ACM Computer Science Conference (13th 1985 New Orleans, La.) Association for Computing Machinery

New York, N.Y. ACM Baltimore, MD. Copies ordered from ACM Order Dept. c1985

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

7
1987 ACM Fifteenth Annual Computer Science Conference, February 17-19, 1987, Adam's Mark Hotel, Clarion Hotel, St. Louis, Missouri
Material Type:
Livro
Adicionar ao Meu Espaço

1987 ACM Fifteenth Annual Computer Science Conference, February 17-19, 1987, Adam's Mark Hotel, Clarion Hotel, St. Louis, Missouri

ACM Computer Science Conference (15th 1987 St. Louis, Missouri) Association for Computing Machinery

New York, N.Y. Association for Computing Machinery c1987

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

8
Material Type:
Livro
Adicionar ao Meu Espaço

20th annual Symposium on Foundations of Computer Science Oct. 29-31, 1979, San Juan Puerto Rico

Symposium on Foundations of Computer Science (20th 1979 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Puerto Rico; Institute of Electrical and Electronics Engineers

New York Institute of Electrical and Electronics Engineers 1979

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

9
Material Type:
Livro
Adicionar ao Meu Espaço

21st annual Symposium on Foundations of Computer Science October 13-15, 1980, Syracuse, New York : [papers]

Symposium on Foundations of Computer Science (21st 1980 Syracuse, New York) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Clarkson College of Technology

New York IEEE 1980

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 21. e.2 )(Acessar)

10
Material Type:
Livro
Adicionar ao Meu Espaço

22nd annual Symposium on Foundations of Computer Science (formerly called the annual Symposium on Switching and Automata Theory) : October 28-30, 1981

Symposium on Foundations of Computer Science (22nd 1981 Nashville, Tenn.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Institute of Electrical and Electronics Engineers

New York Institute of Electrical and Electronics Engineers 1981

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (894)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (4.904)
  2. Artigos  (132)
  3. Produções Acadêmicas  (33)
  4. Revistas  (27)
  5. Audiovisuais  (6)
  6. Produções Técnicas  (6)
  7. Software  (2)
  8. Recursos Textuais  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1970  (55)
  2. 1970Até1981  (391)
  3. 1982Até1993  (1.089)
  4. 1994Até2006  (2.761)
  5. Após 2006  (809)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.077)
  2. Português  (20)
  3. Alemão  (16)
  4. Francês  (11)
  5. Indeterminado  (2)
  6. Sueco  (1)
  7. Vários idiomas  (1)
  8. Mais opções open sub menu

Nome da Publicação 

  1. Proceedings  (68)
  2. Lecture Notes in Computer Science  (11)
  3. OhioLINK electronic book center  (8)
  4. SpringerLink  (8)
  5. Mathematical Morphology and Its Applications to Signal and Image Processing: Proceedings  (7)
  6. Symbolic and quantitative approaches to reasoning with bncertainty: Proceedings  (2)
  7. Procedia Computer Science  (2)
  8. Collaboration and technology: 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings  (2)
  9. Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings  (2)
  10. Computer systems science and engineering  (1)
  11. Springer eBooks  (1)
  12. Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues  (1)
  13. Advances in Cryptology - ASIACRYPT 2009.  (1)
  14. Algorithmica an international journal in computer science  (1)
  15. South American Journal of Logic  (1)
  16. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
  17. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8–11, 2016, Proceedings  (1)
  18. Combinatorial optimization: Third International Symposium, ISCO 2014 Lisbon, Portugal, March 5–7, 2014, revised selected papers  (1)
  19. Automatic Control and Computer Sciences  (1)
  20. Design, user experience, and usability: teories, methods, and tools for designing the user experience  (1)
  21. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.