Search Result
Save to File
Your search for
44049
returns
142
document(s)
The Use of R Language in Mathematics Teaching and Computation (402-409)
Author: Wai Kwong Cheang; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A Symbolic approach using feature construction capable of acquiring information/ knowledge for building expert systems, page 291
Author: Raymond L. Major | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Efficient modeling of memoryarrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254) Hal 388-399
Author: Miroslav Velev; Randal E. Bryant; Alok Jain; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic model checking with rich assertional languages, (LNCS-Lecture Notes in Computer Science 1254) Hal 424-435
Author: Y. Kesten; O. Maler; M. Marcus; A. Pnueli; E. Shahar; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Some progress in the symbolic verification of timed automata, (LNCS-Lecture Notes in Computer Science 1254) Hal 179-190
Author: Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
4
5
6
7
8
9
10
11
12
13
Next