skip to main content
Idioma:
Mostrar Somente
Refinado por: data de publicação: Antes de1985 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic of Programs: Workshop, ETH Zürich, May–July 1979
Logic of Programs: Workshop, ETH Zürich, May–July 1979
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Engeler, Erwin Engeler, Erwin

Berlin, Heidelberg: Springer Berlin Heidelberg 1981

Texto completo disponível

Citações Citado por
2
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981

Staunstrup, Jørgen Staunstrup, Jørgen

Berlin, Heidelberg: Springer Berlin Heidelberg 1982

Texto completo disponível

Citações Citado por
3
WOPPLOT 83 Parallel processing: Logic, Organization, and Technology: Proceedings of a Workshop Held at the Federal Armed Forces University Munich (HSBw M) Neubiberg, Bavaria, Germany, June 27–29, 1983
WOPPLOT 83 Parallel processing: Logic, Organization, and Technology: Proceedings of a Workshop Held at the Federal Armed Forces University Munich (HSBw M) Neubiberg, Bavaria, Germany, June 27–29, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

WOPPLOT 83 Parallel processing: Logic, Organization, and Technology: Proceedings of a Workshop Held at the Federal Armed Forces University Munich (HSBw M) Neubiberg, Bavaria, Germany, June 27–29, 1983

Becker, Jörg D ; Eisele, Ignaz Becker, Jörg D. ; Eisele, Ignaz

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Citações Citado por
4
Combinatorial Search Problems: Lectures held at the Department for Automation and Information June 1972
Combinatorial Search Problems: Lectures held at the Department for Automation and Information June 1972
Material Type:
Livro 		Adicionar ao Meu Espaço

Combinatorial Search Problems: Lectures held at the Department for Automation and Information June 1972

Katona, Gyula

Vienna: Springer Vienna 1972

Texto completo disponível

Citações Citado por
5
Programming in Prolog
Programming in Prolog
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Prolog

Clocksin, William F ; Mellish, Christopher S

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Citações Citado por
6
Verifying Concurrent Processes Using Temporal Logic
Verifying Concurrent Processes Using Temporal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Verifying Concurrent Processes Using Temporal Logic

Hailpern, Brent T

Berlin, Heidelberg: Springer Berlin Heidelberg 1982

Texto completo disponível

Citações Citado por
7
Ludwig Wittgenstein: His Place in the Development of Semantics
Ludwig Wittgenstein: His Place in the Development of Semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Ludwig Wittgenstein: His Place in the Development of Semantics

De Mauro, T

Dordrecht: Springer Netherlands 1967

Texto completo disponível

Citações Citado por
8
Introduction to Formal Grammars
Introduction to Formal Grammars
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to Formal Grammars

Gross, Maurice ; Chomsky, Noam ; Salkoff, Morris ; Lentin, Andre

Berlin, Heidelberg: Springer Berlin / Heidelberg 1970

Texto completo disponível

Citações Citado por
9
Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23–25, 1981
Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23–25, 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23–25, 1981

Deussen, Peter

Berlin, Heidelberg: Springer Berlin Heidelberg 1981

Texto completo disponível

Citações Citado por
10
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Paredaens, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (12)
  2. Book Chapters  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1969  (2)
  2. 1969Até1971  (2)
  3. 1972Até1980  (2)
  4. 1981Até1984  (12)
  5. Após 1984  (2)
  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.