Výsledky vyhledávání

Pokročilé vyhledávání

Zrušit filtry

Žánr: NOT encyklopedie AND elektronicke knihy

PSH: programovací jazyky NOT systémy řízení báze dat

Autor: NOT Dastani, Mehdi NOT Meyer, Bertrand

Zrušit filtry

Zobrazit filtry (6)

Žánr: NOT encyklopedie AND elektronicke knihy

PSH: programovací jazyky NOT systémy řízení báze dat

Autor: NOT Dastani, Mehdi NOT Meyer, Bertrand

Obálka

Embedded systems design : the ARTIST roadmap for research and development

Autor Bouyssounouse, Bruno Vydáno: 2005

Plný text

E-kniha

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

Transactions on pattern languages of programming II : special issue on applying patterns

Vydáno: 2011

Plný text

E-kniha

Obálka

Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...

Vydáno: 2014

Plný text

E-kniha

Obálka

Practical aspects of declarative languages : 16th international symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers

Vydáno: 2009

Plný text

E-kniha

Obálka

Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Vydáno: 2015

Plný text

E-kniha

Obálka

Transactions on aspect-oriented software development XII

Vydáno: 2015

Plný text

E-kniha

Obálka

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...

Vydáno: 2006

Plný text

E-kniha

Obálka

Leveraging applications of formal methods, verification, and validation : 4th International symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Vydáno: 2010

Plný text

E-kniha

Obálka

Architectures for adaptive software systems : 5th International conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 : procee...

Vydáno: 2009

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

Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Model checking software : 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Transactions on pattern languages of programming III

Vydáno: 2013

Plný text

E-kniha

[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[40]