| Your search for 36734 returns 1355 document(s) |
| 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
|
| 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
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
|
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Combinations of abstract domains for logic programming,Hal 227-239 |
|
Author: Agostino Cortesi; Baudouin Le Charlier; Pascal Van Hentenryck; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Resource-bounded searches in an information marketplace, page 49 |
|
Author: Victor Lesser | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimality and domination in repeated games with bounded players,Hal 741-749 |
|
Author: Lance Fortnow; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result