Showing 21 - 40 results of 56 for search 'Synthesis Lectures on Computer Architecture', query time: 0.10s Refine Results
Software architecture Second International Conference, ECSA 2008, Paphos, Cyprus, September 29-October 1, 2008 : proceedings /
Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /

Software architecture third european workshop, EWSA 2006, Nantes, France, September 4-5, 2006: revised selected papers /
Unifying theories of programming and formal engineering methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /

Dependable computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, october 25-28, 2005 : proceedings /
Theoretical aspects of computing ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /

Tools and Algorithms for the Construction and Analysis of Systems
Languages and compilers for parallel computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers /

Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
A Primer on Memory Consistency and Cache Coherence, Second Edition

Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, revised selected sapers /
Formal techniques for networked and distributed systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /

Component-based software engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, may 14-15, 2005 : proceedings /
Coordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings /

Compiler construction 6th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings /
On the move to meaningful internet systems OTM 2011 Workshops : Confederated International Workshops and Posters, EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings /

Formal approaches to software testing and runtime verification first combined international workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006: revised selected papers /
Multimodal signals cognitive and algorithmic issues : COST Action 2102 and euCognition International School Vietri Sul Mare, Italy, April 21-26, 2008 : revised selected and invited papers /

Model driven engineering languages and systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, proceedings /
Transactions on edutainment V

Search Tools: Get RSS Feed — Email this Search — Save Search