Ditemukan 46 dokumen dengan kata kunci 3961 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
(Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program
|
Pengarang: Luca Bortolussi and Alberto Policriti | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 761-798 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Evaluation of the U.S. Department of Defense Persian Gulf Comprehensive Clinical Evaluation Program
|
|
Comparison of sequence variants in transcriptomic control regions across 17 mouse genomes
|
Pengarang: Cao Nguyen, Abdul Baten, and Grant Morahan | No. Panggil: Database (Volume 2014, p.bau020) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
In discursive negotiation: Knowledge and the formation of Finnish innovation policy
|
Pengarang: Marja-Liisa Niinikoski and Stefan Kuhlmann | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 86-106) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Industry- and firm-specific factors of innovation novelty
|
Pengarang: Natália Barbosa, Ana Paula Faria, and Vasco Eiriz | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 865-902) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Negotiated expertise in policy-making: How governments use hybrid advisory committees
|
Pengarang: Eva Krick | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 487-500) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Penerapan Decision Tree dalam Perancangan Sistem Prediksi Jenis Golongan Darah
|
|
Higher-level responsiveness? Socio-technical integration within US and UK nanotechnology research priority setting
|
Pengarang: E. Fisher and G. Maricle | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 72-85) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The roles of universities in fostering knowledge-intensive clusters in Chinese regional innovation systems
|
Pengarang: Yuzhuo Cai and Cui Liu | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 15-29) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|