skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Science remover assunto: Computer Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedings
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)

Berlin Springer New York c2007

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

2
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

MPC 2002 (2002 Dagstuhl Castle, Germany) Eerke Boiten 1966-; Bernhard Möller 1953-

Berlin Springer New York 2002

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

3
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-

Berlin Springer Verlag New York c1998

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

4
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on the Mathematics of Program Construction (2000 Ponte de Lima, Portugal) Roland C Backhouse 1948-; José N Oliveira

Berlin Springer New York c2000

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

5
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford) Roland C Backhouse 1948-; Roy L Crole; Jeremy Gibbons 1966-

Berlin Springer New York c2002

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

6
Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings

MPC 2006 (2006 Kingissepa, Estonia) Tarmo Uustalu

Berlin Springer New York c2006

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

7
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings

MPC 2004 (2004 (Stirling, Stirling, Scotland) Dexter Kozen 1951

Berlin Springer New York c2004

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

8
Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Davenport, James H ; Kauers, Manuel ; Labahn, George ; Urban, Josef Labahn, George ; Davenport, James H ; Urban, Josef ; Kauers, Manuel ; Davenport, James H. ; Kauers, Manuel ; Labahn, George ; Urban, Josef

Cham: Springer Nature 2018

Sem texto completo

Citações Citado por
9
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings

Konstantinidis, Stavros ; Pighizzini, Giovanni Pighizzini, Giovanni ; Konstantinidis, Stavros ; Pighizzini, Giovanni ; Konstantinidis, Stavros

Netherlands: Springer Nature 2018

Sem texto completo

Citações Citado por
10
Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Charlier, Émilie ; Leroy, Julien ; Rigo, Michel Leroy, Julien ; Rigo, Michel ; Charlier, Émilie

Cham: Springer International Publishing AG 2017

Sem texto completo

Citações Citado por
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  (1.209)
  2. Artigos  (686)
  3. Book Chapters  (380)
  4. magazinearticle  (50)
  5. Anais de Congresso  (27)
  6. Resenhas  (7)
  7. Verbetes  (6)
  8. Reports  (4)
  9. Dissertações  (4)
  10. Recursos Textuais  (3)
  11. Newsletter Articles  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1978  (21)
  2. 1978Até1988  (124)
  3. 1989Até1999  (306)
  4. 2000Até2011  (1.330)
  5. Após 2011  (1.073)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.366)
  2. Japonês  (61)
  3. Alemão  (48)
  4. Italiano  (1)
  5. Ndongo  (1)
  6. Holandês  (1)
  7. Polonês  (1)
  8. Árabe  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.