Hasil Pencarian
	Ditemukan 46 dokumen dengan kata kunci 4594 Simpan CSV  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  :: Collaborative Runtime Verification with Tracematches Pengarang: Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, dll | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 707-723 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: Comparing LTL Semantics for Runtime Verification Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 | 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  :: Recent complexity-theoretic results on P systems with active membranes Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next