| Your search for 38285 returns 4797 document(s) |
| Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
|
Author: Horst Samulowitz; Fahiem Bacchus; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FPGA Implementation of Elliptic Curve Point Multiplication over GF (2191), (LNCS-Lecture Notes in Computer Science 5576) Hal 619-634 |
|
Author: Sameh m. Shohdy; Ashraf b. El-sisi; Nabil Ismail; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
|
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Functional specification of real-time and hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 273-285 |
|
Author: Olaf Muller; Peter Scholz; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Extending a functional DBPL with ECA-rules (LNCS-Lecture Notes in Computer Science 985) Hal. 101-115 |
|
Author: Swarup Reddi, Alex Poulovassilis, Carol Small; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 265-279 |
|
Author: Bernd Brarel; Michael Hanus; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Correctness of programs with functional procedures, (LNCS-Lecture Notes in Computer Science 131)Hal. 94-112 |
|
Author: J.W. de Bakker; | Call Number: 004 Lec | 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
|
| Application of 2D barcode in hardcopy document verification system,(LNCS-Lecture Notes in Computer Science 5576) Hal 644-651 |
|
Author: Mazleena Salleh; Teoh Chin Yew; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Challenges in the verification of electronic control units, (LNCS-Lecture Notes in Computer Science 1926) Hal 18 |
|
Author: Werner Damm; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result