| Your search for 28113 returns 3510 document(s) |
| Tractable clones of polynomials over semigroups, (LNCS-Lecture Notes in Computer Science 3709) Hal 196-210 |
|
Author: Victor Dalmau; Ricard Gavalda; Pascal Tesson; Denis Therien; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
Search Result