Výsledky vyhledávání

Obálka

Multicore software engineering, performance, and tools : international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Search-based software engineering : 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Formal theories of information : from Shannon to semantic information theory and general concepts of information

Vydáno: 2009

Plný text

E-kniha

Obálka

Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures

Vydáno: 2012

Plný text

E-kniha

Obálka

Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal,...

Vydáno: 2009

Plný text

E-kniha

Obálka

Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 : reports and revised selected papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Software architecture : second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures

Vydáno: 2008

Plný text

E-kniha

Obálka

Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Software engineering techniques : third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008 : revised selected papers

Vydáno: 2011

Plný text

E-kniha

Obálka

Software engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures

Vydáno: 2009

Plný text

E-kniha

Obálka

Modelling foundations and applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers

Vydáno: 2011

Plný text

E-kniha

Obálka

Safe and secure software reuse : 13th international conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

OpenMP in the era of low power devices and accelerators : 9th international workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha