skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Lecture notes in computer science
Lecture notes in computer science
Material Type:
Revista 		Adicionar ao Meu Espaço

Lecture notes in computer science

Berlin,DE Springer-Verlag 1973-

Localização: IF - Instituto de Física    (MS LNCS Index v.1-100 ) e outros locais(Acessar)

2
Proof theoretic methodology for propositional dynamic logic
Proof theoretic methodology for propositional dynamic logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof theoretic methodology for propositional dynamic logic

Leivant, Daniel

Formalization of Programming Concepts, 1981-01, p.356-373 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
An algorithm to compute the equations of tangent cones
An algorithm to compute the equations of tangent cones
Material Type:
Artigo 		Adicionar ao Meu Espaço

An algorithm to compute the equations of tangent cones

Mora, Ferdinando

Computer Algebra, 1982-01, p.158-165 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Direct methods for sparse matrices
Direct methods for sparse matrices
Material Type:
Artigo 		Adicionar ao Meu Espaço

Direct methods for sparse matrices

ØSTERBY, O ; ZLATEV, Z

Lecture notes in computer science, 1983 (157) [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
5
The design of dynamic data structures
The design of dynamic data structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

The design of dynamic data structures

OVERMARS, M. H

Lecture notes in computer science, 1983 (156) [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
6
The IOTA programming system. A modular programming environment
The IOTA programming system. A modular programming environment
Material Type:
Artigo 		Adicionar ao Meu Espaço

The IOTA programming system. A modular programming environment

NAKAJIMA, R ; YUASA, T

Lecture notes in computer science, 1983 (160) [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
7
DIANA: an intermediate language for Ada. Revised version
DIANA: an intermediate language for Ada. Revised version
Material Type:
Artigo 		Adicionar ao Meu Espaço

DIANA: an intermediate language for Ada. Revised version

GOOS, G ; WULF, W. A ; EVANS, A. JR ; BUTLER, K. J

Lecture notes in computer science, 1983, Vol.161 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
8
The programming language ADA reference manual
The programming language ADA reference manual
Material Type:
Artigo 		Adicionar ao Meu Espaço

The programming language ADA reference manual

GOOS, G ; HARTMANIS, J

Lecture notes in computer science, 1983 (155) [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
9
Power domains and predicate transformers: A topological view
Power domains and predicate transformers: A topological view
Material Type:
Artigo 		Adicionar ao Meu Espaço

Power domains and predicate transformers: A topological view

Smyth, M. B.

Automata, Languages and Programming, 1983-01, p.662-675 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
On priorities of parallelism: Petri nets under the maximum firing strategy
On priorities of parallelism: Petri nets under the maximum firing strategy
Material Type:
Artigo 		Adicionar ao Meu Espaço

On priorities of parallelism: Petri nets under the maximum firing strategy

Burhard, Hans-Dieter

Logics of Programs and Their Applications, 1983-01, p.86-97 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
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. Artigos  (9.258)
  2. Livros  (355)
  3. Resenhas  (8)
  4. Revistas  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (111)
  2. 1989Até1997  (2.294)
  3. 1998Até2006  (5.062)
  4. 2007Até2016  (1.253)
  5. Após 2016  (902)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (9.599)
  2. Japonês  (745)
  3. Francês  (14)
  4. Norueguês  (6)
  5. Alemão  (4)
  6. Indeterminado  (2)
  7. Russo  (1)
  8. Português  (1)
  9. Chinês  (1)
  10. Holandês  (1)
  11. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.