| Your search for 24405 returns 373 document(s) |
| Computing with logic: logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Logic for Object-Oriented Logic Programming (Maier's O-Logic: Revisited) (379-393) |
|
Author: Michel Kifer
James Wu; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic analysis for automated design of analog integrated cirtuits |
|
Author: Geielen, George; | Call Number: 621.381 Gie s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A study of spatial growing mixing layer by means of linear stability theory using spectral method, HAL. 7-13 |
|
Author: M.J. Maghrebi; Z. Zarhami; K. Moradi; M. Farzaneh-Gord; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kinerja multiuser detection untuk sistem komunikasi DS-CDMA sinkron dengan menggunakan parallel interference cancellation (PIC) linier pada kanal AWGN flat rayleigh fading, Hal. 44-49 |
|
Author: Yoedy Moeghiarto, Mohamad Michian; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
|
|
Author: Sylvester Otuholu Orimaye; Sandai M. Alhanshmi; Siew Eu-Gene; | Call Number: 025.04 Inf | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PCR primer design using particle swarm optimization combined with piecewise linear chaotif map ( hal 176- 181) |
|
Author: Cheng-Hong Yang, Yu-Huei Cheng, Li-Yeh Chuang; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic analysis for automated design of analog integrated circuits/Georges Gielen |
|
Author: Gielen, Georges; | Call Number: 621.381 Gie s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedding lax logic into intuitionistic logic, Hal. 78-93 |
|
Author: Uwe Egly; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result