| Your search for 38310 returns 4249 document(s) |
| Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71 |
|
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36 |
|
Author: J.A. Berostra; J. V. Tucker; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23 |
|
Author: J. Bergstra; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to description logic/ Franz Baader |
|
Call Number: 006.3 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Common vulnerability markup language, (LNCS-Lecture Notes in Computer Science 2576) Hal 228-240 |
|
Author: Haitao Tian; Liusheng Huang; Zhi Zhou; Hui Zhang; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CoJava: A unified language for simulation and optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 877 |
|
Author: Alexander Brodsky; Hadon Nash; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The comet programming language and system, (LNCS-Lecture Notes in Computer Science 3709) Hal 881 |
|
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Stemming evaluaed in 6 language by hummingbird searchsever TM at CLEF 2001, (LNCS-Lecture Notes in Computer Science 2406), Hal. 278-287 |
|
Author: Stephen Tomlinson; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Noun phrase translation for cross-language document selection, (LNCS-Lecture Notes in Computer Science 2406), Hal. 320-331 |
|
Author: Fernando Lopex-ostenero, Julio Gonzalo, Anselmo Penas, and Felisa Verdejo; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multiple stereo matching using an extended architecture, (LNCS-Lecture Notes in Computer Science 2147) Hal 203-212 |
|
Author: Miguel Arias-Estrada; Juan M. Xicotencatl; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result