| Your search for 40605 returns 2820 document(s) |
| Formal methods reality check: industrial usage, (LNCS-Lecture Notes in Computer Science 670) Hal 250-267 |
|
Author: Dan Craigen; Susan Gerhart; Ted Ralston; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Lecture Notes in Computer Science 670) Hal 83-92 |
|
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ICIAM'91: proceedings of the second International Conference on Industrial and applied mathematics/ edited by Robert E. O'Malley |
|
Call Number: SEM-144 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some develope in interactive calculus on-line learning system for industrial vocational high school (342-347) |
|
Author: Yoau-chau jeng ph.D, Ching-an chen, Hung-tsung ko,Ming-gong lee ph.D; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
|
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mini-and Microcomputer Control in Industrial Processes Handbook of System and Application Strategies edited by M. Robert Skrokov |
|
Call Number: 004.14 Min | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CAI sourcebook : background and procedures for computer assisted instruction in eduction and industrial training/ Robert L. Burke |
|
Author: Burke, Robert L.; | Call Number: 371.3 Bur c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ICIAM '91: Proceedings of the Second International Conference on Industrial and Applied Mathematics edited by Robert E. O'Malley, Jr |
|
Call Number: 510 ICI | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| National open source workshop & conference " industrial grade open source system" 25-29 September 2000 |
|
Call Number: SEM-258 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisa dan penyusunan software requirement specification sistem informasi pengadaan barang dan jasa: studi kasus departemen industrial plant PT.XYZ |
|
Author: Muhammad Salman; | Call Number: KA-694 (Softcopy KA-692) MAK KA-353 | Edition: 2015 | Type: Karya Akhir (KA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result