Hasil Pencarian
Ditemukan 34 dokumen dengan kata kunci 4592 Simpan CSV Simpan CSV
Rule Systems for Run-time Monitoring: from Eagle to RuleR
Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Abstaining in rule set bagging for imbalanced data
Pengarang: Krystyna Napierala and Jerzy Stefanowski | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 421-430) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Interaction-based Runtime Verification for Systems of Systems Integration
Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Rule-based deduplication of article records from bibliographic databases
Pengarang: Yu Jiang, Can Lin, Weiyi Meng, Clement Yu, dll | No. Panggil: Database (Volume 2014, p.bat086) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Modelling and Analysis of Manufacturing Systems
Pengarang: Askin, Ronald G. | No. Panggil: 620.1 ASK m |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A logical basis for constructive systems
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Elektronic communication systems
Pengarang: Kennedy, George | No. Panggil: 621.382 KEN e |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Dynamic specification of open agent systems
Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Basic Hydraulic Systems and Components : Edtion A
No. Panggil: eTM-00105 |
Koleksi: e-Book TM  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques
Pengarang: Ramon Ferreiro Garcia, Jose Luis Calvo-Rolle, and Francisco Javier Perez Castelo | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 379-399) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4  Next