Výsledky vyhledávání

Obálka

Conceptual Modeling - ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

CONCUR 2011 - Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Principles and Practice of Constraint Programming - CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

ECOOP 2010 - object-oriented programming : 24th European conference, Maribor, Slovenia, June 21-25, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

ECOOP 2013 - Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Reliable Software Technologies - Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

ECOOP 2006 - Object-Oriented Programming : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

Vydáno: 2007

Plný text

E-kniha

Obálka

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice...

Vydáno: 2012

Plný text

E-kniha

Obálka

Theoretical aspects of computing - ICTAC 2014 : 11th international colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

ECOOP 2011 - object-oriented programming : 25th european conference, Lancaster, Uk, July 25-29, 2011 : proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European conferences on theory and practice...

Vydáno: 2011

Plný text

E-kniha

Obálka

Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe international conference on reliable software technologies, Porto, Portugal, June 5-9, 2006 : proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Programming languages and systems : 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011...

Vydáno: 2011

Plný text

E-kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Model driven engineering languages and systems : 15th international conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha