skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1997Até2011 remover data de publicação: 2004Até2007 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
Linear Logic in Computer Science
Linear Logic in Computer Science
Linear Logic in Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Linear Logic in Computer Science

William Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.

Cambridge Cambridge University Press 2004

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

3
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedings
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedings

International Computer Science Symposium in Russia (1st 2006 Saint Petersburg, Russia) Dima Grigoriev; J Harrison (John) 1966; Edward A Hirsch

Berlin Springer New York c2006

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

4
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings

International Computer Science Symposium in Russia (2nd 2007 Ekaterinburg, Russia) Volker Diekert 1955-; Mikhail V Volkov; A Voronkov 1959- (Andreæi)

Berlin Springer New York c2007

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

5
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings

Symposium on Theoretical Aspects of Computer Science (24th 2007 Aachen, Germany) Wolfgang Thomas 1947-; Pascal Weil

Berlin Springer New York c2007

Localização: EPBC - Esc. Politécnica-Bib Central    (004 St12 2007 ) e outros locais(Acessar)

6
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings

Symposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno Durand

Berlin Springer New York c2005

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

7
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings

Symposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France) Volker Diekert 1955; M Habib (Michel)

Berlin Springer New York c2004

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

8
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

International Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947

Berlin Springer New York c2004

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

9
Theoretical computer science 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 proceedings
Theoretical computer science 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical computer science 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 proceedings

Italian Conference on Theoretical Computer Science (9th 2005 Siena, Italy) Mario Coppo 1947; E Lodi (Elena); G. Michele Pinna

Berlin Springer New York c2005

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

10
Mathematical foundations of computer science 2004 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings
Mathematical foundations of computer science 2004 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical foundations of computer science 2004 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (29th 2004 Prague, Czech Republic) Jiérí Fiala; Václav Koubek; Jan Kratochvíl

Berlin Springer 2004

Item não circula. Consulte sua biblioteca.(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.952)
  2. Recursos Online (678)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.820)
  2. Artigos  (166)
  3. Produções Acadêmicas  (20)
  4. Audiovisuais  (4)
  5. Recursos Textuais  (2)
  6. Revistas  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (1)
  2. 2003Até2003  (1)
  3. 2004Até2004  (462)
  4. 2005Até2006  (1.019)
  5. Após 2006  (536)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.960)
  2. Português  (51)
  3. Francês  (4)
  4. Espanhol  (3)
  5. Alemão  (1)
  6. Indeterminado  (1)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.