Search Result Save to File Save as CSV
Your search for 14518 returns 3574 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 
A type-2 fuzzy control traffic policing mechanism schemes model over high speed network using backpressure technique, 1-5
Author: Somchai Lekcharoen; | Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis Of QPSK and 16QAM MB-OFDM UWB Modulation over Modified S-V Channel Model ( hal. 151 - 155 )
Author: Suthami Ariessaputra , Risanuri Hidayat , Adhi Susanto; | Call Number: SEM-367 | Type: Indeks Artikel prosiding/Sem
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 
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 Access Time Cost Model for Spatial Range Queries on Broadcast Geographical Data over Air (371-380)
Author: Jianting zhang Le Gruenwald; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   13 14 15 16 17 18 19 20 21 22  Next