| Your search for 47972 returns 2497 document(s) |
| Lifter: Language to Encode Induction Heuristics for Isabelle/HOL (266-287) |
|
Author: Yutaka Nagashima; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical support for CMMI-SW software project documentation: using IEEE software, engineering standards |
|
Author: Land, Susan K.; | Call Number: 005.1 Lan p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical support for CMMI-SW software project documentation: using IEEE software, engineering standards |
|
Author: Land, Susan K.; | Call Number: 005.1 Lan p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Jumpstart CMM/CMMI software process improvement: using IEEE software engineering standards |
|
Author: Land, Susan K.; | Call Number: 005.1 Lan j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object-oriented software engineering practical software development using UML and java/ Timothy C. Lethbridge |
|
Author: Lethbridge, Timothy C.; | Call Number: 005.117 Let o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards Realizing an Adaptive Database in Software Product Line using MongoDB Software product line (SPL) memodelkan |
|
Author: Fakhri Rhizadi; | Call Number: T-1251 (Softcopy T-959) Source Code T-321 Mak T-56 | Edition: 2020 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CMMI Improving software and systems development processes using capability maturity model integration (CMMI-DEV) |
|
Author: Kneuper, Ralf; | Call Number: 005.1 Kne c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Telecommunication networks coverage area expansion in disaster area using autonomous mobile robots: hardware and software implementation, Hal. 113-118 |
|
Author: E. Budianto; M.S> Lvissalim, A> Hafidh; A. Wibowo, W. Jatmiko; B. Hardian P. Mursanto; A. Muis; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using the internet to reduce software piracy : on anonymous receipts, anonymous ID cards, and anonymous vaouchers, Hal. 199- 211 |
|
Author: Ralf C. Hauser; | Call Number: SEM-215 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| MIS cases: solving small business case scenarious using application software 2nd ed. |
|
Author: Gardner, Cynhia; | Call Number: 658.403 8 Gar m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result