Search Result
Save to File
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