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
Mostrar Somente
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover data de publicação: Antes de1991 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Compositionality, concurrency and partial correctness: proof theories for networks of processes, and their relationship
Compositionality, concurrency and partial correctness: proof theories for networks of processes, and their relationship
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositionality, concurrency and partial correctness: proof theories for networks of processes, and their relationship

ZWIERS, J

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

Berlin: Springer

Sem texto completo

Citações Citado por
2
The Munich Project Group. II: The program transformation system CIP-S
The Munich Project Group. II: The program transformation system CIP-S
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Munich Project Group. II: The program transformation system CIP-S

BAUER, F. L ; EHLER, H ; HORSCH, A ; MÖLLER, B ; PARTSCH, H ; PAUKNER, O ; PEPPER, P

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

Berlin: Springer

Sem texto completo

Citações Citado por
3
Trace theory and VLSI design
Trace theory and VLSI design
Material Type:
Artigo 		Adicionar ao Meu Espaço

Trace theory and VLSI design

VAN DE SNEPSCHEUT, J. L. A ; DIJKSTRA, E. W

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

Berlin: Springer

Sem texto completo

Citações Citado por
4
Error detection and recovery in robotics
Error detection and recovery in robotics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Error detection and recovery in robotics

DONALD, B. R

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

Berlin: Springer

Sem texto completo

Citações Citado por
5
From logic design to logic programming: theorem proving techniques and P-functions
From logic design to logic programming: theorem proving techniques and P-functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

From logic design to logic programming: theorem proving techniques and P-functions

SNYERS, D ; THAYSE, A

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

Berlin: Springer

Sem texto completo

Citações Citado por
6
MetaSoft primer: towards a metalanguage for applied denotational semantics
MetaSoft primer: towards a metalanguage for applied denotational semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

MetaSoft primer: towards a metalanguage for applied denotational semantics

BLIKLE, A

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

Berlin: Springer

Sem texto completo

Citações Citado por
7
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

ANNA: a language for annotating Ada programs

LUCKHAM, D. C ; VON HENKE, F. W ; KRIEG-BRÜCKNER, B ; OWE, O

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

Berlin: Springer

Sem texto completo

Citações Citado por
8
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
9
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
10
The Munich project CIP (Computer-Aided, Intuition-Guided Programming). I: The wide spectrum language CIP-L
The Munich project CIP (Computer-Aided, Intuition-Guided Programming). I: The wide spectrum language CIP-L
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Munich project CIP (Computer-Aided, Intuition-Guided Programming). I: The wide spectrum language CIP-L

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

Berlin: Springer

Sem texto completo

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.