| Your search for 38290 returns 4350 document(s) |
| 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
|
| Relating high-level and low-level action descriptions in a logic of actions and change, (LNCS-Lecture Notes in Computer Science 1201) Hal 3-17 |
|
Author: Erik Sandewall; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic scheduling on a network heterogenous computer system, (LNCS-Lecture Notes in Computer Science 1557) Hal 584-585 |
|
Author: Janez Brest; Viljem Zumer; Milan Ojstersek; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The design warrior's guide to FPGAS: devices, tools and flows/ Clive Maxfield |
|
Author: Maxfield Clive; | Call Number: 005.12 Max d | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The design warrior's guide to FPGAS: devices, tools and flows/ Clive Maxfield |
|
Author: Maxfield Clive; | Call Number: 005.12 Max d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance analysis and derived parallelization strategy for a SCF program at the hartree fock level, (LNCS-Lecture Notes in Computer Science 1557) Hal 163-172 |
|
Author: Siegfried Hofinger; Othmar Steinhauser; Peter Zinterhof; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, (LNCS-Lecture Notes in Computer Science 1254) Hal 244-255 |
|
Author: Manish Pandey; Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89 |
|
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result