Výsledky vyhledávání

Obálka

Languages and Compilers for Parallel Computing : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers

Vydáno: 2006

Plný text

E-kniha

Obálka

Component-Based Software Engineering : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Generative Programming and Component Engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Advanced Topics in Exception Handling Techniques

Vydáno: 2006

Plný text

E-kniha

Obálka

Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 1...

Vydáno: 2012

Plný text

E-kniha

Obálka

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octob...

Vydáno: 2012

Plný text

E-kniha

Obálka

System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Principles and Practice of Constraint Programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected...

Vydáno: 2014

Plný text

E-kniha

Obálka

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Vydáno: 2007

Plný text

E-kniha

Obálka

Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17,...

Vydáno: 2010

Plný text

E-kniha