Your search for 38912 returns 3860 document(s) |
Mathematical logic for computer science |
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An alternative structure of predictive functional control based on second-order plus lag time model, 228-232 |
Author: Zeng Zhiwei, Ma Xin, Zhang Beike, Wang Ping; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Second-order methods for neural networks: fast and reliable training methods for multi-layer perceptions/Adrian J. Shepherd |
Author: Shepherd, Adrian J.; | Call Number: 006.32 She s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization (277-286) |
Author: Ralf Hartmut Gulting; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal Verification of a Group Membershiap Protocol Using Model (471-488) |
Author: Valerio Rosset
Pedro F. Souto
Francisco Vasques; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Epistemic logic for AI and computer science |
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10 |
Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Adaptive iris segmentation, (LNCS-Lecture Notes in Computer Science 5576) Hal. 90-99 |
Author: Rahib Abiyev; Kemal Kilic; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
How to repair ESIGN,(LNCS-Lecture Notes in Computer Science 2576) Hal 234-240 |
Author: Louis Granboulan; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|