Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The design of dynamic data structuresOVERMARS, M. HLecture notes in computer science, 1983 (156) [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
2 |
Material Type: Artigo
|
The IOTA programming system. A modular programming environmentNAKAJIMA, R ; YUASA, TLecture notes in computer science, 1983 (160) [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
3 |
Material Type: Artigo
|
Top-down VLSI design experiments on a picture database computerYamaguchi, Kazunori ; Kunii, Tosiyasu L. Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.228-255 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
4 |
Material Type: Artigo
|
Trace theory and VLSI designVAN DE SNEPSCHEUT, J. L. A ; DIJKSTRA, E. WLecture notes in computer science, 1985, Vol.200 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
5 |
Material Type: Artigo
|
A survey of verification techniques for parallel programsBARRINGER, HLecture notes in computer science, 1985, Vol.191 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
6 |
Material Type: Artigo
|
Time series package (TSPACK)CHAGHAGHI, F. SLecture notes in computer science, 1985, Vol.187 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
7 |
Material Type: Artigo
|
The Munich project CIP (Computer-Aided, Intuition-Guided Programming). I: The wide spectrum language CIP-LLecture notes in computer science, 1985, Vol.183 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
8 |
Material Type: Artigo
|
Negation and control in PROLOGNAISH, LLecture notes in computer science, 1986, Vol.238 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
9 |
Material Type: Artigo
|
Semantics of digital circuitsDELGADO KLOOS, CLecture notes in computer science, 1987, Vol.285 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
|
10 |
Material Type: Artigo
|
MetaSoft primer: towards a metalanguage for applied denotational semanticsBLIKLE, ALecture notes in computer science, 1987, Vol.288 [Periódico revisado por pares]Berlin: SpringerSem texto completo |