skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer London c1998

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

2
Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures

European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France) J Väänänen 1950- (Jouko)

Berlin Springer New York c1999

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

3
Automata and formal languages an introduction
Automata and formal languages an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata and formal languages an introduction

Dean Kelley

Englewood Cliffs, N.J. Prentice Hall c1995

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

4
Automata, languages and programming 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings
Automata, languages and programming 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings

International Colloquium on Automata, Languages, and Programming (29th 2002 Málaga, Spain) Peter Widmayer

Berlin Springer London c2002

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

5
Algebraic theory of processes
Algebraic theory of processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic theory of processes

Matthew Hennessy

Cambridge, Mass MIT Press c1988

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

6
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings

International Colloquium on Automata, Languages, and Programming (27th 2000 Geneva, Switzerland) Emo Welzl; Ugo Montanari; José D. P Rolim

Berlin Springer London c2000

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

7
Formal and natural computing essays dedicated to Grzegorz Rozenberg
Formal and natural computing essays dedicated to Grzegorz Rozenberg
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal and natural computing essays dedicated to Grzegorz Rozenberg

Wilfried Brauer; Grzegorz Rozenberg

Berlin Springer New York c2002

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

8
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings

Asian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor Vianu

Berlin Springer New York c2005

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

9
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
Material Type:
Livro 		Adicionar ao Meu Espaço

Initial computability, algebraic specifications, and partial algebras

Horst Reichel

Oxford England Clarendon Press Oxford New York Oxford University Press c1987

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

10
Journal on data semantics IV
Journal on data semantics IV
Material Type:
Livro 		Adicionar ao Meu Espaço

Journal on data semantics IV

Stefano Spaccapietra 1944 - Informatiker, Italien, Frankreich, Schweiz; Stefano Spaccapietra 1944 - Computer scientist, Italy, France, Switzerland; Stefano Spaccapietra 1944 - Informaticien, Italie, France, Suisse

Berlin Springer 2005

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

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.416)
  2. Anais de Congresso  (13)
  3. Artigos  (13)
  4. Dissertações  (1)
  5. Book Chapters  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1982  (52)
  2. 1982Até1991  (176)
  3. 1992Até2001  (447)
  4. 2002Até2012  (908)
  5. Após 2012  (497)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.443)
  2. Alemão  (15)
  3. Japonês  (6)
  4. Francês  (2)
  5. Indeterminado  (1)
  6. Espanhol  (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.