| Your search for 2178 returns 681 document(s) |
| 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
|
| 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
|
| Systems analysis 2nd ed/Andrew Parkin |
|
Author: Parkin, Andrew; | Call Number: 003 Par s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Network analysis/ Toto Hadisukarto |
|
Author: Soerman; | Call Number: 004.6 Soe n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Discourse analysis |
|
Author: Brown, Gillian; | Call Number: 415 Bro d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to systems analysis and design |
|
Author: Hawryszkiewycz, IT.; | Call Number: 003 Haw l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result