Výsledky vyhledávání

Obálka

ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Vydáno: 2007

Plný text

E-kniha

Obálka

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Software Architecture : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Generative and Transformational Techniques in Software Engineering : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

Vydáno: 2006

Plný text

E-kniha

Obálka

Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Languages and Compilers for Parallel Computing : 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

Vydáno: 2007

Plný text

E-kniha

Obálka

Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Model-Based Testing of Reactive Systems : Advanced Lectures

Vydáno: 2005

Plný text

E-kniha

Obálka

CONCUR 2012 - Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Software Composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Euro-Par 2015: Parallel Processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014...

Vydáno: 2014

Plný text

E-kniha

Obálka

Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April...

Vydáno: 2005

Plný text

E-kniha

Obálka

ECOOP 2009 - Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

Vydáno: 2007

Plný text

E-kniha