| Your search for 43142 returns 3295 document(s) |
| Design tools for hybrid control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 87-92 |
|
Author: M. S. Hajji; J. M. Bass; A. R. Browne; P. J. Fleming; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
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
|
| Verification tools in the development of provably correct compilers, (LNCS-Lecture Notes in Computer Science 670) Hal 442-461 |
|
Author: M. R. K. Krishna Rao; P. K. Pandya; R. K. Shyamasundar; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design For Graphical Manual Created by Computer Tools in the DIY products: Exploring the effects About Color and Other Elements of design |
|
Author: Ming-Chin Chiang, Chih-Fu Wu; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Utilization of enterprise resource planning tools by small to medium size construction organizations: a decision-making model |
|
Author: Negahban, Sam; | Call Number: 658.054 Neg u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| E-learning tools and technologies : A consumer's guide for trainers, teachers, educators, and instructional designers/ William Horton |
|
Author: Horton, william; | Call Number: 658. 342 404 Hor e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CRM at the speed of light: social CRM strategies, tools, and techniques for engaging your customers |
|
Author: Greenberg, Paul; | Call Number: 658.812 Gre c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linux System Security: An administrator's guide to Open Source Security Tools/ Scott Mann and Ellen L. Mitchell |
|
Author: Mann, Scott; | Call Number: 005.43 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Machine independent organic software tools(mint)2nd ed./ M.D. Godfrey;D.F. Hendry |
|
Call Number: 005.71 Mac | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result