Výsledky vyhledávání

Obálka

Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers

Vydáno: 2015

Plný text

E-kniha

Obálka

Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Top productivity through software reuse : 12th International conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings

Autor ICSR 2011 (Pchohang, Jižní Korea) Vydáno: 2011

Plný text

E-kniha

Obálka

Fun with algorithms : 4th international conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Cooperative Design, Visualization, and Engineering : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

Vydáno: 2007

Plný text

E-kniha

Obálka

Software product lines : 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Vývoj aplikací pro iOS

Autor Lacko, Ľuboslav, 1965- Vydáno: 2018

Kniha

Obálka

Performance evaluation and benchmarking : first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers

Vydáno: 2009

Plný text

E-kniha

Obálka

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems

Autor Rust, Heinrich Vydáno: 2005

Plný text

E-kniha

Obálka

Agent-oriented software engineering VI : 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers

Vydáno: 2006

Plný text

E-kniha

Obálka

Coordination models and languages : 16th IFIP WG 6.1 international conference, COORDINATION 2014, held as part of the 9th International federated conferences on distributed computi...

Vydáno: 2014

Plný text

E-kniha

Obálka

FSTTCS 2005: foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Distributed computing - IWDC 2004 : 6th international workshop, Kolkata, India, December 27-30, 2004 : proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Network and Parallel Computing : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Transactions on aspect-oriented software development VII : a common case study for aspect-oriented modeling

Vydáno: 2010

Plný text

E-kniha