skip to main content
Idioma:
previous page 1 Resultados 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
11
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)

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

13
Quantum computer science: an introduction
Quantum computer science: an introduction
Quantum computer science: an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantum computer science: an introduction

N. David Mermin

Cambridge University Press 2007

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

14
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

International Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany) R Berghammer (Rudolf) 1952-; Bernhard Möller 1953-; Georg Struth; International Workshop on Applications of Kleene Algebra (2nd 2003 Bad Malente, Germany)

Berlin Springer London c2004

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

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

16
Scientific Annals of Computer Science
Material Type:
Revista 		Adicionar ao Meu Espaço

Scientific Annals of Computer Science

Romania Alexandru Ioan Cuza University of Iasi

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

17
ITiCSE 2004 proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, June 28-30, 2004, Leeds, United Kingdom
Material Type:
Livro 		Adicionar ao Meu Espaço

ITiCSE 2004 proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, June 28-30, 2004, Leeds, United Kingdom

SIGCSE Conference on Innovation and Technology in Computer Science Education (9th 2004 Leeds, United Kingdom) Roger Boyle 1954-; Martyn Clark; Amruth Kumar; Association for Computing Machinery Special Interest Group on Computer Science Education

New York Association for Computing Machinery c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (v.36 n.3 2004 e.1 )(Acessar)

18
Theoretical computer science introduction to Automata, compurability, complexity algorithmics, randomization, communication, and cryptography
Theoretical computer science introduction to Automata, compurability, complexity algorithmics, randomization, communication, and cryptography
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical computer science introduction to Automata, compurability, complexity algorithmics, randomization, communication, and cryptography

Juraj Hromkoviéc 1958

Berlin Springer New York 2004

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

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

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.949)
  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.