| Your search for 13918 returns 3634 document(s) |
| A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32 |
|
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new heuristic for bad cycle detection using BDDs, LNCS-Lecture Notes in Computer Science 1254) Hal 268-278 |
|
Author: R. H. Shadin; R. P. Kurshan; S. K. Shukla; M. Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173 |
|
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199 |
|
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to malware detection, (LNCS-Lecture Notes in Computer Science 5576) Hal. 229-238 |
|
Author: Hongying Tang; Bo Zhu; Kui Ren; | Call Number: 005.3 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program selection strategy for prospective students study using a new method of AHP (case study binda sarana informatika), 121-126 |
|
Author: Linda Marlinda; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Seeking a new paradigm for software project management-is it agile, lean or a model of concurrent perception, 33-38 |
|
Author: Roy Morien; | Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evaluasi perpustakaan digital menggunakan fuzzy evaluation membership degre transformation new algorithm M(1,2,3) (hal 32 - 36) |
|
Author: Riah Ukur Ginting , Rocky Y Dillak; | Call Number: SEM- 365 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Leveraging: the new infrastructure/how market leaders capitalisze on information technology/Peter Weill and Marianne Broadbend |
|
Author: Weill, Peter; | Call Number: 658.05 Weill l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The New edge in knowledge: how knowledge management is changing the way we do business |
|
Author: Odell, Carla; | Call Number: 658.403 8 Ode n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result