Search Result Save to File Save as CSV
Your search for 10433 returns 238 document(s)
Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic support graph: a space efficient data structure for incremental tabled evaluation, (LNCS-Lecture Notes in Computer Science 3668) Hal 235-249
Author: Diptikalyan Saha; C.R. Ramakrishnan; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Knowledge Exchange and Symbolic Action in Social Media-Enabled Electronic Networks of Practice: A Multilevel Perspective on Knowledge Seekers and Contributors, page 1245-1270
Author: Roman Beck, Immanuel Pahlke, and Christoph Seebach | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Journal self-citation study for semiconductor literature: synchronous and diachronous approach, page 1567
Author: Ming-Yueh Tsay | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Document structure and digital libraries: how researchers mobilize information in journal articles, page 255
Author: Ann Peterson Bishop | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Journal of building & interior material prices: harga satuan bahan bangunan konstruksi dan interior edisi xxxii tahun 2013
Call Number: 696 Jou | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Search engine application using fuzzy relation method for E-journal of informatics department petra christian university ( hal 39 - 44 )
Author: Leo Wilyanto Santoso , Rolly Intan, Prayogo Probo Susanto; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Developments in expert systems: from a special issues of the International Journal of Man-Machine Studies/ edited by M.J. Coombs
Call Number: 006.33 Dev | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan Sistem Klasifikasi Paper Otomatis Menggunakan Algoritma Back Propagation Neural Network Pada Open Journal System (OJS) (101-116)
Author: Fajar Kurnia Malays Wiwik Anggraeni Ahmad Muklason; | Call Number: SEM-327 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Parallel Computation: Polylog-Time and Near-Linear Work Approximations Scheme for Undirected Shortest Paths
Author: E. Cohen | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   17 18 19 20 21 22 23 24  Next