Hasil Pencarian
Ditemukan 53 dokumen dengan kata kunci 4495 Simpan CSV Simpan CSV
Logical Weak Completions of Paraconsistent Logics
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
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  ::
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 |
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  ::
Elektronic communication systems
Pengarang: Kennedy, George | No. Panggil: 621.382 KEN e |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logical consistency in simultaneous statistical test procedures
Pengarang: Rafael Izbicki and Luís Gustavo Esteves | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 732-758) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A logical analysis of responsibility attribution: emotions, individuals and collectives
Pengarang: Emiliano Lorini, Dominique Longin, and Eunate Mayor | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1313-1339) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Linear Temporal Logic LTL: Basis for Admissible Rules
Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Modul Pemograman Basis Data Lanjut My SQL
No. Panggil: ebTI - 00241 |
Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Dasar Basis Data Graf & Neo4j : Panduan untuk mempelajari pembuatan basis data graf dengan mudah dan cepat
Pengarang: Abdul Kadir | No. Panggil: 005.74 ABD d |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6  Next