| Your search for 43825 returns 172 document(s) |
| Industrial extreme progamming pratice's implementation in rational unified process on agile development theme |
|
Author: I Putu Edy Suardiyana Putra, Arlisa Yuliawati, Petrus Mursanto; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Computer Science 1254) Hal 1-2 |
|
Author: F. Erich Marschner; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The industrial success of verification tools based on stalmarck's method, (LNCS-Lecture Notes in Computer Science 1254) Hal 7-10 |
|
Author: Arne Boralv; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result