skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings

Aagaard, Mark D ; O'Leary, John W Aagaard, Mark D. ; O’Leary, John W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
2
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings

Aagaard, Mark ; Harrison, John Harrison, John ; Aagaard, Mark

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
3
Networked Services and Applications - Engineering, Control and Management: 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
Networked Services and Applications - Engineering, Control and Management: 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Networked Services and Applications - Engineering, Control and Management: 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings

Aagesen, Finn Arve ; Knapskog, Svein J Knapskog, Svein Johan ; Aagesen, Finn Arve

Berlin, Heidelberg: Springer Berlin Heidelberg 2010

Sem texto completo

Citações Citado por
4
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings

Aalberg, Trond ; Papatheodorou, Christos ; Dobreva, Milena ; Tsakonas, Giannis ; Farrugia, Charles J Papatheodorou, Christos ; Dobreva, Milena ; Aalberg, Trond ; Tsakonas, Giannis

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
5
Agent-Based Technologies and Applications for Enterprise Interoperability: International Workshops, ATOP 2005, Utrecht, The Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
Agent-Based Technologies and Applications for Enterprise Interoperability: International Workshops, ATOP 2005, Utrecht, The Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Agent-Based Technologies and Applications for Enterprise Interoperability: International Workshops, ATOP 2005, Utrecht, The Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Aalst, Will ; Fischer, Klaus ; Mylopoulos, John ; Sadeh, Norman M ; Shaw, Michael J ; Szyperski, Clemens

Berlin/Heidelberg: Springer-Verlag 2009

Sem texto completo

Citações Citado por
6
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer Science

New York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981

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

7
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing Boston, Massachusetts, April 25-27, 1983
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing Boston, Massachusetts, April 25-27, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the fifteenth annual ACM Symposium on Theory of Computing Boston, Massachusetts, April 25-27, 1983

ACM Symposium on Theory of Computing (15th 1983 Boston, Mass) ACM Special Interest Group for Automata and Computability Theory; Symposium on Theory of Computing (15 . 1983 Boston)

New York Association for Computing Machinery c1983

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

8
Conference record of sixth annual ACM Symposium on the Theory of Computing papers presented at the Symposium, Seattle, Washington, April 30-May 2, 1974
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of sixth annual ACM Symposium on the Theory of Computing papers presented at the Symposium, Seattle, Washington, April 30-May 2, 1974

ACM Symposium on Theory of Computing (6. 1974 Seattle) ACM Special Interest Group for Automata and Computability Theory

New York Association of Computing Machinery 1974

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 ASTC 1974 e.1 ) e outros locais(Acessar)

9
Algorithmic learning theory 17th international conference ALT 2006 : Barcelona, Spain, October 7-10, 2006 : proceedings
Algorithmic learning theory 17th international conference ALT 2006 : Barcelona, Spain, October 7-10, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmic learning theory 17th international conference ALT 2006 : Barcelona, Spain, October 7-10, 2006 : proceedings

ALT 2006 (2006 Barcelona, Spain) José Luis Balcázar; Philip M Long; Frank Stephan (Frank Christian)

Berlin Springer New York c2006

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

10
Prediction and discovery AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah
Prediction and discovery AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah
Material Type:
Livro 		Adicionar ao Meu Espaço

Prediction and discovery AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah

AMS-IMS-SIAM Joint Summer Research Conference Machine and Statistical Learning : Prediction and Discovery (2006 Snowbird, Utah) Joseph S Verducci; Xiaotong Shen 1964-; John Lafferty

Providence, R.I. American Mathematical Society c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 CONTEMPO n.443 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (6.198)
  2. Anais de Congresso  (6)
  3. Artigos  (3)
  4. Recursos Textuais  (1)
  5. Book Chapters  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1977  (31)
  2. 1977Até1988  (98)
  3. 1989Até2000  (416)
  4. 2001Até2013  (4.849)
  5. Após 2013  (2.363)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.201)
  2. Alemão  (174)
  3. Japonês  (8)
  4. Russo  (4)
  5. Francês  (2)
  6. Polonês  (1)
  7. Árabe  (1)
  8. Vários idiomas  (1)
  9. Tcheco  (1)
  10. Português  (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.