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
Mostrar Somente
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An introduction to Kolmogorov complexity and its applications
An introduction to Kolmogorov complexity and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to Kolmogorov complexity and its applications

Ming Li 1955 July 16- P. M. B Vitányi

New York Springer c2008

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 L612i3 ) e outros locais(Acessar)

2
ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

International Conference of B and Z Users (2nd 2002 Grenoble, France) Didier Bert

Berlin Springer London c2002

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

3
Advances in soft computing AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems, Calcutta, India, February 3-6, 2002 : proceedings
Advances in soft computing AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems, Calcutta, India, February 3-6, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in soft computing AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems, Calcutta, India, February 3-6, 2002 : proceedings

AFSS International Conference on Fuzzy Systems (2002 Calcutta, India) Nikhil R Pal; Michio Sugeno 1940-; Asian Fuzzy Systems Society

Berlin Springer London c2002

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

4
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

CSL 2001 (2001 Paris, France) Laurent Fribourg 1957-; European Association for Computer Science Logic

London Springer Berlin 2001

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

5
Multiset processing mathematical, computer science, and molecular computing points of view
Multiset processing mathematical, computer science, and molecular computing points of view
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiset processing mathematical, computer science, and molecular computing points of view

Cristian Calude 1952-

Berlin Springer London c2001

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

6
Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

PTCS 2001 (2001 Dahgstuhl Castle) Reinhard Kahle 1967-; Peter Joseph Schroeder-Heister 1953-; Robert F Stärk 1963-

Berlin Springer New York c2001

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

7
Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures

Hubert Comon; Claude Marché; Ralf Treinen; ESPRIT CCL Working Group; CCL'99 (1999 Gif-sur-Yvette, France)

Berlin Springer New York c2001

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

8
Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

WADT 2001 (2001 Genoa, Italy) Maura Cerioli; Gianna Reggio 1957-

Berlin Springer London c2001

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

9
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-

Berlin Springer New York c2001

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

10
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

FCT 2001 (2001 Råiga, Latvia) Rusins Freivalds

Berlin New York Barcelona London Springer c2001

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

Data de Publicação 

De até
Refinar
  1. Antes de1996  (2)
  2. 1996Até1997  (5)
  3. 1998Até1999  (15)
  4. 2000Até2002  (38)
  5. Após 2002  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.