| Your search for 38424 returns 3165 document(s) |
| Proterv-II: an integrated production planning and scheduling system, (LNCS-Lecture Notes in Computer Science 3709) Hal 880 |
|
Author: Andras Kovacs; Peter Egri; Tamas Kis; Jozsef Vancza; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The comet programming language and system, (LNCS-Lecture Notes in Computer Science 3709) Hal 881 |
|
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Random stimuli generation for functional hardware verification as a CP application, (LNCS-Lecture Notes in Computer Science 3709) Hal 882 |
|
Author: Yehuda Naveh, Roy Emek; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A bdd-based interactive configurator for modular systems, (LNCS-Lecture Notes in Computer Science 3709) Hal 883 |
|
Author: Erik R. van der Meer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting IPv46 extension header to handle transmission error fo IPv6 packets over high speed networks |
|
Author: Supriyanto; Izanan H. Hasbullah; Rahmat Budiarto; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing: an introduction to structured problem solving using pascal |
|
Call Number: 005.133 Com | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing: a problem-solving approach with fortran 77 |
|
Author: Nanney, T. Ray; | Call Number: 005.133 Nan c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan modul pratikum networks simulator pada computer networks, architecture & high performance computing lab Fakultas Ilmu Komputer Universitas Indonesia |
|
Author: Ahmad ALmaarif; | Call Number: KP-1395 (Softcopy KP-955) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining arc consistency algorithms during the search without additional space cost, (LNCS-Lecture Notes in Computer Science 3709) Hal 520-533 |
|
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
|
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result