Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Structure Theory of Petri Nets: the Free Choice HiatusBest, Eike Rozenberg, G. ; Reisig, W. ; Brauer, W.Petri Nets: Central Models and Their Properties, p.168-205 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
Advances in digital image processing for document reproductionStucki, P. Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.256-302 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
3 |
Material Type: Artigo
|
VLSI verification and correctionRoth, J. Paul Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.174-176 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
4 |
Material Type: Artigo
|
Super freedom simulator PAXHoshino, Tsutomu ; Shirakawa, Tomonori ; Oyanagi, Yoshio ; Takenouchi, Kiyo ; Kawai, Toshio Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.39-51 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
5 |
Material Type: Artigo
|
Automated logic synthesisDarringer, John A. Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.177-186 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
6 |
Material Type: Artigo
|
An object-oriented, capability-based architectureBrowne, J. C. ; Smith, Todd Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.21-38 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
7 |
Material Type: Artigo
|
Prolog interpreter and its parallel extensionMatsumoto, Yuji ; Nitta, Katsumi ; Furukawa, Koichi Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.52-67 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
8 |
Material Type: Artigo
|
Putting inner loops automatically in siliconKung, H. T. Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.69-104 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
9 |
Material Type: Artigo
|
Hardware algorithms for VLSI systemsYasuura, Hiroto ; Yajima, Shuzo Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.105-129 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
10 |
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 |