| Your search for 23966 returns 1065 document(s) |
| 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
|
| Discovering subnet topology with ICMP and SNMP, Hal. 3294-3298 |
|
Author: Xiaorui Kou; Qingxian Wang; Jie Liu; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial intelligence: a modern approach 2nd ed. (INSTRUCTOR'S MANUAL) |
|
Author: Russell, Stuart J.; | Call Number: 006.3 Rus a | Type: Instructor's Manual
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial intelligence: a modern approach 3rd ed. (INSTRUCTOR'S MANUAL) |
|
Author: Russell, Stuart J.; | Call Number: 006.3 Rus a | Type: Instructor's Manual (Khusus Do
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to godel's theorems/ Peter Smith |
|
Author: Smith, Peter; | Call Number: 511.3 Smi i | Type: Buku
|
|
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
|
| Nested Transactions with Multiple Commit - An Approach to the Sctructuring of Advanced Database Applications (161-171) |
|
Author: B. Walter; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result