Search Result
Save to File
Your search for
39712
returns
2999
document(s)
Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Analysis and synthesis of computer systems/ E. Gelenbe
Author: Gelenbe, E.; | Call Number: 004 Gel a | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Smart dust: communicating with a cubic-millimeter computer, page 44
Author: Brett W. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Linear logic in computer science
Call Number: 519.72 Lin | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic: a foundation for computer science
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Spatial synthesis in computer-aided building design
Author: Eastman, Charles M.; | Call Number: 004 Eas s | Type: Buku Pusat
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
Prev
5
6
7
8
9
10
11
12
13
14
Next