Search Result
Save to File
Your search for
39720
returns
6100
document(s)
Algorithmic analysis of nonlinear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 225-238
Author: Thomas A. Henzinger; Pei Hsin Ho; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 437-450
Author: Ahmed Bouajjani; Riadh Robbana; | 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
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Lecture Notes in Computer Science 670) Hal 83-92
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; | 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
Data abstraction and structures an introduction to computer science II
Author: "Riley, David D."; | Call Number: 005.7 Ril d | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Automatic And Continous Monitoring And Composition Of Nondeterministic Web Services (219-226)
Author: Gustavo B. Valfre Angelo E.M. Ciarlini Sean W.M. Siqueira; | Call Number: SEM-329 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A data mining framework for building intrusion detection models based on IPv6, (LNCS-Lecture Notes in Computer Science 5576) Hal 608-618
Author: Zenghui Liu; Yingxu Lai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
9
10
11
12
13
14
15
16
17
18
Next