Koleksi : e-Article Oxford Journal
	| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ada 9 dokumen yang dimulai dengan Judul 'V' Verification of Games in the Game Description Language Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Vietoris Bisimulations Pengarang: N. Bezhanishvili, G. Fontaine, and Y. Venema | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1017-1040 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Verifying social expectations by model checking truncated paths Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Version 6 of the consensus yeast metabolic network refines biochemical coverage and improves model performance Pengarang: Benjamin D. Heavner, Kieran Smallbone, Nathan D. Price, and Larry P. Walker | No. Panggil: Database (Volume 2013, p.bat059) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  VIRmiRNA: a comprehensive resource for experimentally validated viral miRNAs and their targets Pengarang: Abid Qureshi, Nishant Thakur, Isha Monga, Anamika Thakur, dll | No. Panggil: Database (Volume 2014, p. bau103) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Visibility and meaning in topic models and 18th-century subject indexes Pengarang: Jeffrey M. Binder and Collin Jennings | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 405-411) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Validation of 64Cu-ATSM damaging DNA via high-LET Auger electron emission Pengarang: Dayton D. McMillan, Junko Maeda, Justin J. Bell, Matthew D. Genet, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 5 September 2015, p. 784-791) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Vertical integration and disintegration of computer firms: a history-friendly model of the coevolution of the computer and semiconductor industries Pengarang: Franco Malerba, Richard Nelson, Luigi Orsenigo, Sidney Winter | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 2 April 2008, p. 197-231) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Variety and the evolution of refinery processing Pengarang: Phuong Nguyen, Pier-Paolo Saviotti, Michel Trommetter, Bernard Bourgeois | No. Panggil: Industrial and Corporate Change (Volume 14 Issue 3 June 2005, p. 469-500) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::