| Your search for 13424 returns 3861 document(s) |
| Translation of specification in behavior tree to an executable abstract behavioral specification |
|
Author: Emerson Chan Simbolon; | Call Number: SK-1101 Softcopy SK-582 Source code SK-424 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Generalized conflict learning for hybrid discrete/linear optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 415-429 |
|
Author: Hui Li; Brian Williams; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Working Hours, Work-family Conflict and Work-family Enrichment Among professional Women: A Malaysian Case |
|
Author: Surena Sabil, Sabitha Marican; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protocol specification, testing, and verification VI |
|
Call Number: 004.62 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The specification of computer programs/Wladyslaw M. Turski |
|
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| XML: the annotated specification/Bob Ducharme |
|
Author: Ducharme, Bob; | Call Number: 005.72 Duc x | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Feature Selection by Ordered Rough Set Based Feature Weighting (105-112) |
|
Author: Qasem A. Al-Radaideh
Md Nasir Sulaiman
Mohd Hasan Selamat
Hamidah Ibrahim; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic analysis for automated design of analog integrated cirtuits |
|
Author: Geielen, George; | Call Number: 621.381 Gie s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoing: 33 basic research problems |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result