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: 2005Até2006 remover 2004Até2007 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
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.

3
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)

4
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen Garg

Berlin Springer 2006

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

5
Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings
Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings

Renate A Schmidt; AKA (4 : 2006.08.29-09.02 : Manchester); International Conference on Relational Methods in Computer Science (9 : 2006.08.29-09.02 : Manchester); International Workshop on Applications of Kleene Algebra (4 : 2006.08.29-09.02 : Manchester); RelMiCs (9 : 2006.08.29-09.02 : Manchester)

Berlin u.a. Springer 2006

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

6
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

International Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch Meyer

Berlin Springer-Verlag New York c2006

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

7
Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers
Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers

Ivo D untsch; Wendy MacCaull; Michael Winter; International Seminar on Relational Methods in Computer Science (8 : 2005.02 : St. Catharines); International Workshop on Applications of Kleene Algebra (3 : 2005.02 : St. Catharines); Workshop of COST Action 274 TARSKI (2005.02.22-26 : St. Catharines)

Berlin u.a. Springer 2006

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

8
Theoretical computer science essays in memory of Shimon Even
Theoretical computer science essays in memory of Shimon Even
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical computer science essays in memory of Shimon Even

Shimon Even; Oded Goldreich; Arnold L Rosenberg 1941; Alan L Selman

Berlin Springer New York c2006

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

9
Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science
Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science

Maria Bielikov Editor edt Ondrej S ykora Editor edt; Peter Vojt s Editor edt Charon-Bost Editor edt

New York Springer March 2005

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

10
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

CALCO 2005 (Swansea, Wales) Neil Harman; Markus Roggenbach; Jan Rutten; Jos e Luiz Fiadeiro 1961

Berlin Springer New York c2005

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (977)
  2. Recursos Online (411)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (918)
  2. Artigos  (91)
  3. Produções Acadêmicas  (9)
  4. Audiovisuais  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.