| Your search for 50941 returns 1515 document(s) |
| Towards the systematic generation of channelling constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 859 |
|
Author: B. Martinez-Hernandez; A. M. Frisch; | 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
|
| Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284 |
|
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating text case generation from Z specifications with isabelle, (LNCS-Lecture Notes in Computer Science 1212)Hal. 52-72 |
|
Author: Steffen Helke; Thomas Neustupny; Thomas Santen; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development of university of indonesia next generation fire wall prototype and access control with deep packet inspection |
|
Author: Harish Muhammad Nazief; Tonny Adhi Sabastian; alfan presekal; Gladhi Guarddin; | Call Number: sem-320 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nucleic acid and protein sequence alignment methods and algorithms. current progress and next generation sequencing of future trends, 566-574 |
|
Author: Muhammad Ishaq Afridi, Professor Dr. Yin Gui Sheng; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Social Network Integration and User Content Generation: Evidence from Natural Experiments, Page 1035-1058 |
|
Author: Ni Huang, Yili Hong, and Gordon Burtch | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation Study of Control Strategy for Grid Connected PV and Wind Generation Systems (Hal. 83-86) |
|
Author: Cuk Supriyadi A.N , T . Goda , Sarijaya ,F . D. Wijaya , and Tumiran; | Call Number: SEM-367 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A front-end approach for user query generation and information retrieval in the semanticlife framework. ( hal. 107-116 ) |
|
Author: Hanh Huu Hoang, Tho Manh Nguyen, Amin Andjomshoaa, A Min Tjoa; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Next generation application integration from simple information to web services/ David S. Linthicum |
|
Author: Linthicum, David S.; | Call Number: 005.276 Lin n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result