Search Result Save to File Save as CSV
Your search for 36734 returns 1321 document(s)
Solving over-constrained problems with sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 838
Author: Josep Argelich; Felip Manya; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Mechanism design for preference aggregation over coalitions, (LNCS-Lecture Notes in Computer Science 3709) Hal 852
Author: Eric Hsu; Sheila McIlraith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Peer Influence in the Diffusion of iPhone 3G over a Large Social Network, page 1103-1157
Author: Miguel Godinho de Matos, Pedro Ferreira, and David Krackhardt | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Mind over machine: the power of human intution and experstise in the era of the computer/ Hubert L. Dreyfus; Stuart E. Dreyfus
Author: Dreyfus, Hubert L.; | Call Number: 006.3 Dre m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi voice-over-ip di Universitas Indonesia: Studi Kasus Fakultas Ilmu Komputer/ Fajar Muharisa
Author: Fajar Muharisa; | Call Number: Sk-0600 (Softcopy SK-78) Source Code SK-22 | Edition: Betty Purwandari | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Penerapan Information Economics untuk mengkaji kelayakan investasi infrastruktur EDI over internet (studi kasus: PT EDI Indonesia
Author: Maulidin; | Call Number: T-0395 (Softcopy T-0014) | Edition: 2003 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
An Efficient Tree-Structure Index Allocation Method over Multiple Broadcast Channels in Mobile Environments (433-443)
Author: Byungkyu Lee Sungwon Jung; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   14 15 16 17 18 19 20 21 22 23  Next