| Your search for 25800 returns 2565 document(s) |
| A mathematical approach towards trust based security in pervasive computing environment, (LNCS-Lecture Notes in Computer Science 5576) Hal 702-711 |
|
Author: Naima Iltaf; Mukhtar Hussain; Farrukh Kamran; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Eplex: Harnessing mathematical programming solvers for constraint logic programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 622-636 |
|
Author: Kish Shen; Joachim Schimpf; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied combinatorics/Alan Tucker |
|
Author: Tucker, Alan; | Call Number: 511.6 Tuc a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent programming in ada/ Alan Burns |
|
Author: Burne, Alan I.; | Call Number: 005.133 Bur c | Type: Buku
|
|
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
|
| Mathematical Programming |
|
Call Number: [8 (1975): 1-3; 9 (1975): 1-3, (1975): 4-6, 11 (1976): 3, 10 (1976): 1-3, 12 (1977): 1-3, 13 (1977): 1-3, 14 (1977): 1-3, 16 (1979): 1-3, 18 (1980): 1-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic |
|
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bayesian reasoning and machine learning |
|
Author: Barber, David; | Call Number: 006.31 Bar b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Knowledge representation and reasoning |
|
Author: Brachman, Ronald J.; | Call Number: 006.332 Bra k | Type: Buku
|
|
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
|
Search Result