skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings

Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie Tison

Berlin Springer New York c2000

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

2
Mathematical foundations of computer science proceedings
Mathematical foundations of computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav Rovan

Berlin Springer 1994

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

3
Mathematical theory of computation
Mathematical theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical theory of computation

Zohar Manna

New York McGraw-Hill 1974

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

4
Computer-aided verification proceedings
Computer-aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-aided verification proceedings

DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science) E. M Clarke 1945-; R. P Kurshan 1943-

Berlin New York Springer-Verlag c1991

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

5
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

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

6
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and Computation: Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Cambridge Cambridge University Press 1987

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

7
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

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

8
Computer aided verification proceedings
Computer aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification proceedings

International Conference on Computer-Aided Verification (6. 1994 Stanford) David L Dill

Berlin Springer 1994

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

9
Computer aided verification proceedings
Computer aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification proceedings

International Conference on Computer-Aided Verification (4. 1992 Montreal) Gregor von Bochmann

Berlin Springer 1993

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

10
Understanding Z a specification language and its formal semantics
Understanding Z a specification language and its formal semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Understanding Z a specification language and its formal semantics

J. M. Spivey

Cambridge Cambridgeshire New York Cambridge University Press 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 S761u e.1 ) e outros locais(Acessar)

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1988  (2)
  2. 1988Até1990  (3)
  3. 1991Até1992  (3)
  4. 1993Até1995  (11)
  5. Após 1995  (6)
  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.