検索結果 1 - 20 結果 / 56 検索語 'Synthesis Lectures on Computer Architecture', 処理時間: 0.13秒 結果の絞り込み
Model driven architecture - foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 : proceedings /
FSTTCS 2006: foundations of software technology and theoretical computer science 26th International Conference, Kolkata, India, December 13-15, 2006: proceedings /

Handbook of Digital 3D Reconstruction of Historical Architecture
Computer Aided Verification

Computer Aided Verification
Architecture of computing systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008 : proceedings /

The Datacenter as a Computer
Computer Aided Verification

Computer Aided Verification
Computer Aided Verification

Computer Aided Verification
Computer Aided Verification

Computer Aided Verification
Computer Aided Verification

Transactions on computational science I
Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures /

Advances in Electrical Engineering and Computational Science
Advances in computational algorithms and data analysis

Advances in computation and intelligence 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings /
Software architecture first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /

検索ツール: RSSフィード — 検索結果をメール — 検索の保存