| Your search for 54517 returns 2652 document(s) |
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedding lax logic into intuitionistic logic, Hal. 78-93 |
|
Author: Uwe Egly; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE is software automata |
|
Author: McClure, Carma L.; | Call Number: 005.1 McC c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE Deployment in IS Organizations |
|
Author: Srinarayan Sharma, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE in software automation |
|
Author: McClure, Carma L.; | Call Number: 005.1 McC | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured techniques : the basis for CASE |
|
Author: Martin, James; | Call Number: 005.113 Mar s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering with c++ and CASE tools |
|
Author: Pont, Michael J.; | Call Number: 005.133 Pon s | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE is software automation |
|
Author: McClure, Carma L.; | Call Number: 005.1 Mcc c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured techniques: the basis for CASE |
|
Author: Martin, James; | Call Number: 005.113 Mar s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering with c++ and CASE tools |
|
Author: Pont, Michael J.; | Call Number: 005.133 Pon s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result