| Your search for 10706 returns 3570 document(s) |
| Logic in Computer Science: Existential Second-Order Logic Over Strings |
|
Author: T. Eiter, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to computer science/Jean-Paul Tremblay |
|
Author: TremblayJean Paul; | Call Number: 519.7 Tre i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming: semantic program development |
|
Author: Deville, Yves; | Call Number: 005.1 Dev l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing logic with logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear redundancy in s-boxes, (LNCS-Lecture Notes in Computer Science 2887) Hal 74-86 |
|
Author: Joanne Fuller; William Millan; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lecture notes in computer science: a concurrent pascal compiler for minicomputers/Alfred C. Hartmann |
|
Author: Hartmann, Alfred C.; | Call Number: 005.24 Har c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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 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
|
| 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
|
Search Result