A mostrar 41 - 56 resultados de 56 para a pesquisa 'Synthesis Lectures on Computer Architecture', 查詢時間: 0.08seg Refinar resultados
Quality of service in multiservice IP networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005 /
Automated technology for verification and analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /
Applications and theory of Petri nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008 : proceedings /

FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
Web services and formal methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings /

Formal methods for components and objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 /
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

Component-based software engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
Advances in databases and information systems : proceedings of the 9th East European conference, ADBIS /

Analysis and modeling of faces and gestures third international workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 : proceedings /
Automated reasoning with analytic tableaux and related methods 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /

Artificial intelligence Methodology, Systems, and Applications : 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, proceedings /
Complex sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, revised selected papers, Part II /

Artificial life borrowing from biology, 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009: proceedings /
Advances in design methods from modeling languages for embedded systems and SoC's selected contributions on specification, design, and verification from FDL 2009 /

檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索