Your search for 9234 returns 3472 document(s) |
Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A New approach to belief modelling, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 196-212 |
Author: V.N. Hynh, Y.Nakamori, T. Murai, and TB. Ho; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251 |
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Electronic document management systems: a user centered approach for creating, distributing and managing online publications/Larry Bielawski; Jim Bayle |
Author: Bielawski, Larry; | Call Number: 658.403 8 Bie e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Electronic document management systems: a user centered approach for creating distributing and managing online publications |
Author: Bielawski, Larry; | Call Number: 658.403 8 Bie e | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Development of readiness assessment approach for knowledge-management a case of textile machinery manufacturing organization, Hal. 697-705 |
Author: Nagarajan, S.; Ganesh, K; Ravishankar, K.; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Object-relational database management system (ORDBMS) using frame model approach, Hal. 375-384 |
Author: H.K. Wong and Anthony S. Fong; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Database systems: A Practical approach to design, implementation, and management 4 th ed. (INSTRUCTOR'S MANUAL) |
Author: Connolly, Thomas; | Call Number: 005.74 Con d | Type: Instructor's Manual (Khusus Do
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Database systems: A Practical approach to design, implementation, and management 5 th ed. (INSTRUCTOR'S MANUAL) |
Author: Connolly, Thomas; | Call Number: 005.74 Con d | Type: Instructor's Manual (Khusus Do
|
Find Similar |
Add To Favorites |
Detail in New Window
|