Výsledky vyhledávání

Pokročilé vyhledávání

Zrušit filtry

PSH:

Jazyk: NOT slovinština NOT ukrajinština

Doporučená témata: NOT matematická statistika AND software

Zrušit filtry

Zobrazit filtry (8)

PSH:

Jazyk: NOT slovinština NOT ukrajinština

Doporučená témata: NOT matematická statistika AND software

Obálka

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Fundamental approaches to software engineering : 16th international conference, FASE 2013, held as part of the European joint conferences on theory and practice of software, ETAPS...

Vydáno: 2013

Plný text

E-kniha

Obálka

Hardware and software: verification and testing : 5th International Haifa verification conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

Vydáno: 2011

Plný text

E-kniha

Obálka

Transactions on aspect-oriented software development XI

Vydáno: 2014

Plný text

E-kniha

Obálka

Practical aspects of declarative languages : 12th international symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Software engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures

Vydáno: 2015

Plný text

E-kniha

Obálka

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Formal methods for industrial critical systems : 19th international conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Construction and evolution of code generators : a model-driven and service-oriented approach

Autor Jörges, Sven Vydáno: 2013

Plný text

E-kniha

Obálka

Modelling autonomic communication environments : 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Future generation computer systems

Vydáno: 1984

Získat plný text

Časopis

Obálka

Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe international conference, Brest, France, June 8-12, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Reliable software technologies - Ada-Europe 2015 : 20th Ada-Europe International conference on reliable software technologies, Madrid Spain, June 22-26, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Dr. Dobb's journal

Vydáno: 1989

Časopis