| Your search for 39710 returns 3102 document(s) |
| Speed up estimation for a parallel method for systems of linear ordinary differential equations, (LNCS-Lecture Notes in Computer Science 1557) Hal 598-599 |
|
Author: Miron Pavlus; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178 |
|
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Application of composition development method for definition of SYNTHESIS information resource query language semantics, (LNCS-Lecture Notes in Computer Science 670) Hal 428-441 |
|
Author: Leonid Kalinichenko; Nikolaj Nikitchenko; Vladimir Zadorozhny; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to belief modelling, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 196-212 |
|
Author: V.N. Hynh, Y.Nakamori, T. Murai, and TB. Ho; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Networks crowds and markets: reasoning about a highly connected word |
|
Author: Easley, David; | Call Number: 303.48 Eas n | Type: E-book
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Networks crowds and markets: reasoning about a highly connected word |
|
Author: Easley, David; | Call Number: 303.48 Eas n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reasoning about the Cascading Failure of Financial Network Using Prolog (489-496) |
|
Author: Jorgie Bartelsi Permana
Muhammad Arzaki
Yanti Rusnawati; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146) |
|
Author: Michael Kifer
Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An access control model supporting periodicity contraints and temporal reasoning |
|
Author: Elisa Bertino | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result