Your search for 2927 returns 1692 document(s) |
Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23 |
Author: Abelardo Pardo; Gary D. Hachtel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141 |
Author: E. A. Emerson; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210 |
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Adding specification constructors to the refinement calculus, (LNCS-Lecture Notes in Computer Science 670) Hal 652-670 |
Author: Nigel Ward; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Some develope in interactive calculus on-line learning system for industrial vocational high school (342-347) |
Author: Yoau-chau jeng ph.D, Ching-an chen, Hung-tsung ko,Ming-gong lee ph.D; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analisis faktor yang memengaruhi perilaku self-disclosure pengguna pada jejaring sosial linkedin di Indonesia: perspektif privacy calculus dan trust belief |
Author: Yuvitri Annisa Dwityafani; | Call Number: SK-1792 (Softcopy SK-1274) | Edition: Achmad Nizar Hidayanto | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
8th workshop on parallel and distributed simulation (PADS'94): proceedings of the 1994 workshop on parallel and distributed simulation July, 6-8, 1994; Edinburgh, Scotland, UK |
Call Number: SEM-207 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings 2012 8th International Conference on Computing Technology and Information Management (NCM & ICNIT) ICCM 2012 , seoul Korea (republic of) 24-26 April 2012 |
Call Number: SEM-314 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
8th asian technology conference 2003 in mathematics tecnology connecting mathematics desember 15-19,2003 chung hua university,hsinchu taiwan,r.o.c. |
Call Number: SEM-355 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Calculus of strochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 21-63 |
Author: Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|