Search Result

Save to File Save as CSV

Your search for 27989 returns 3431 document(s)

Handbook of theoritical computer science: vol.a. format moedels and semantics/J. Van Leeuwen

Call Number: R.004.02 Han | Type: Buku Referensi

Logic in Computer Science; Orthologic and Quantum Logic: Models and Computational Elements

Author: J. P. Rawling, [et all] | Type: Indeks Artikel Jurnal

Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking

Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal

Logic in Computer Science: Existential Second-Order Logic Over Strings

Author: T. Eiter, [et all] | Type: Indeks Artikel Jurnal

Foundations of Computer Science From Data Manipulation To Theory of Computation/ Benrouz A. Forouzan

Author: Forouzan, Behrouz; | Call Number: 004 For f | Type: Buku

What can be automated : the computer science and engineering research study

Call Number: 004 Wha | Type: Buku Pusat

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

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

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

Reduction Zero-Knowledge, (LNCS-Lecture Notes in Computer Science 2576) Hal 303-317

Author: Xiaotie Deng; C.H.Lee; Yunlei Zhao; Hong Zhu; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS

Prev 25 26 27 28 29 30 31 32 33 34 Next