skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island

Symposium on Foundations of Computer Science (18th 1977 Providence) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Brown University

Long Beach, Calif. The Society c1977

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

2
Material Type:
Livro
Adicionar ao Meu Espaço

21st annual Symposium on Foundations of Computer Science October 13-15, 1980, Syracuse, New York : [papers]

Symposium on Foundations of Computer Science (21st 1980 Syracuse, New York) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Clarkson College of Technology

New York IEEE 1980

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

23rd Annual Symposium on Foundations of Computer Science November 3-5, 1982

Symposium on Foundations of Computer Science (23rd 1982 [Chicago, Ill.]) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

New York IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1982

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

4
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983
Material Type:
Livro
Adicionar ao Meu Espaço

24th Annual Symposium on Foundations of Computer Science November 7-9, 1983

Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Silver Spring, Md. IEEE Computer Society Press c1983

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

5
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
Material Type:
Livro
Adicionar ao Meu Espaço

3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973

Gesellschaft für Informatik Wilfried Brauer; Gesellschaft für Informatik

Berlin New York Springer-Verlag 1973

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

6
Computer arithmetic
Material Type:
Livro
Adicionar ao Meu Espaço

Computer arithmetic

Earl E Swartzlander Jr.

Los Alamitos, CA IEEE Computer Society Press c1990-

Localização: IME - Inst. Matemática e Estatística    (QA824.C3 S973c v.2 )(Acessar)

7
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Material Type:
Livro
Adicionar ao Meu Espaço

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer Science

New York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981

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

8
The Evolution of Programs
The Evolution of Programs
Material Type:
Livro
Adicionar ao Meu Espaço

The Evolution of Programs

Dershowitz

Birkhäuser Boston 1983

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

9
First-order dynamic logic
Material Type:
Livro
Adicionar ao Meu Espaço

First-order dynamic logic

David Harel 1950-

Berlin New York Springer-Verlag 1979

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

10
First-order programming theories
Material Type:
Livro
Adicionar ao Meu Espaço

First-order programming theories

T. Gergely (Tamás) László Úry 1953-

Berlin Springer-Verlag New York c1991

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
  1. Antes de1975  (2)
  2. 1975Até1977  (2)
  3. 1978Até1979  (4)
  4. 1980Até1982  (4)
  5. Após 1982  (7)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.