| Your search for 52095 returns 1635 document(s) |
| 7800 family manager set V3.01S16 dell netware 4.xx/ d.7.0S6 (ultra )/ netware 4.xx / d.OS11 (ultra 2) |
|
Call Number: 004.77 Del | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis perbandingan unjuk kerja algoritma lorentz, julia set dan tent fuction sebagai algoritma chaotic, HAL. A.63-A.68 |
|
Author: Rika Foelyati; M. Ary Marti; Asep Mulyana; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CRISP: a template for reconfigurable instruction set processors, (LNCS-Lecture Notes in Computer Science 2147) Hal 296-305 |
|
Author: Pieter Op de Beeck; Francisco Barat; Murali Jayapara; Rudy Lauwereins; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using the rippling heuristic in set membership proofs, (LNCS-Lecture Notes in Computer Science 1212)Hal. 135-147 |
|
Author: Ina Kraan; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
|
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
|
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis empirik penggunaan reduced-set object-oriented metrics dalam mengkaji kualitas perngkat lunak open - Source |
|
Author: Elva Savitri; | Call Number: T-0553 (Softcopy T-0212) | Edition: 2006 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bringing Answer Set Programming to the Next Level: a Real Case on Modeling Course Timetabling. Hal 471-476 |
|
Author: Irvi Firqotul Aini, Ari Saptawijaya, Siti Aminah; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result