| Ditemukan 60 dokumen dengan kata kunci 4339 |
Simpan CSV  |
|
Uniqueness typing for resource management in message-passing concurrency
|
| Pengarang: dsko DeVries, Adrian Francalanza, and Matthew Hennessy | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 531-556 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Curcumin Resource Database
|
| Pengarang: Anil Kumar, Hasnahana Chetia, Swagata Sharma, Debajyoti Kabiraj, dll | No. Panggil: Database (Volume 2015, p. bav070) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Energy Management Handbook
|
|
|
|
Fisheries Economics And Management
|
|
|
|
Armstrong's Handbook Of Management And Leadership
|
|
|
|
Strategic Financial Management; Exercises
|
|
|
|
The Management of Manufacturing : Models and Analysis
|
|
|
|
eFG: an electronic resource for Fusarium graminearum
|
| Pengarang: Xiaoping Liu, Xiaodong Zhang, Wei-Hua Tang, Luonan Chen, dll | No. Panggil: Database (Volume 2013, p.bat042) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tableaux and Resource Graphs for Separation Logic
|
| Pengarang: Didier Galmiche and Daniel Méry | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 189-231 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Logical and Computational Theory of Located Resource
|
| Pengarang: Matthew Collinson, Brian Monahan, and David Pym | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1207-1244 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|