| Your search for 42167 returns 3813 document(s) |
| Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375 |
|
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4 |
|
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Techniques for scalling up analyses based on pre-interpretations, (LNCS-Lecture Notes in Computer Science 3668) Hal 280-296 |
|
Author: John P. Gallagher; Kim S. Henriksen; Gourinath Banda; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18 |
|
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dictionary-based Thai CLIR: an experimental survey of Thai CLIR, (LNCS-Lecture Notes in Computer Science, 2406), Hal. 209-218 |
|
Author: Jaruskulchai Chullerat; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The performance of a machine traslation-Based English-Indonesia CLIR system (LNCS-Lecture Notes in Computer Science 4022) Hal. |
|
Author: Mirna Adriani, Ihsan Wahyu; | Call Number: 025.004 Acc | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| High rate convolutional codes with optimal cycle weights, (LNCS-Lecture Notes in Computer Science 2898) Hal. 4-23 |
|
Author: Erik Rosnes and Oyvvind Ytrechus; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Commintment cpacity of discrete memory less channels, (LNCS-Lecture Notes in Computer Science 2898), Hal. 35-51 |
|
Author: Andreas Winter, Anderson C.A> Nascimento, and Hideki Imai; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Separating and intersecting properties of BCH and Kasami Codes, (LNCS-Lecture Notes in Computer Science 2898), Hal. 52-65 |
|
Author: Hans Georg Schasthun and Tor Hellesett; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Improved fast correlation attack using low rate codes, (LNCS-Lecture Notes in Computer Science 2898), Hal. 67-81 |
|
Author: Havard Molland; Jaohn Erik Mathinasen, Tor Helleseth; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result