Résultat(s) 1 - 20 résultats de 56 pour la requête 'Synthesis Lectures on Computer Architecture', Temps de recherche: 0,14s Affiner les résultats
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 /

Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche