Ditemukan 47 dokumen dengan kata kunci 3701 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Metaheuristic algorithms for optimization of resilient overlay computing systems
|
Pengarang: Krzysztof Walkowiak, Wojciech Charewicz, Maciej Donajski, and Jacek Rak | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 31-44) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Investigation on operating systems identification by means of fractal geometry
|
Pengarang: Ivan Zelinka, Oldřich Zmeškal, and Filip Merhaut | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 88-104) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Prefix probabilities for linear context-free rewriting systems
|
Pengarang: Mark-Jan Nederhof and Giorgio Satta | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 331-350 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Deduction Systems for Coalgebras Over Measurable Spaces
|
Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1069-1100 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Introduction to Modeling and Control of Internal Combustion Engine Systems
|
|
Modelling Batch Systems Using Population Balances
|
|
Fundamentals of Modern Manufacturing : materials, Processes, and Systems
|
|
Latecomer systems integration capability in complex capital goods: the case of Iran’s electricity generation systems
|
Pengarang: Mehdi Kiamehr, Mike Hobday, and Ali Kermanshah | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 689-716) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
BEAN 2.0: an integrated web resource for the identification and functional analysis of type III secreted effectors
|
Pengarang: Xiaobao Dong, Xiaotian Lu, and Ziding Zhang | No. Panggil: Database (Volume 2015, p. bav064) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The non-obese diabetic mouse sequence, annotation and variation resource: an aid for investigating type 1 diabet
|
Pengarang: Charles A. Steward, Jose M. Gonzalez, Steve Trevanion, Dan Sheppard, dll | No. Panggil: Database (Volume 2013, p.bat032) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|