Výsledky vyhledávání

Pokročilé vyhledávání

Zrušit filtry

Žánr: NOT encyklopedie AND elektronicke knihy

PSH:

Autor: NOT Dastani, Mehdi

Zrušit filtry

Zobrazit filtry (7)

Žánr: NOT encyklopedie AND elektronicke knihy

PSH:

Autor: NOT Dastani, Mehdi

Obálka

Essential computer science : a programmer's guide to foundational concepts

Autor Crutcher, Paul D. Vydáno: 2021

Plný text

E-kniha

Obálka

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...

Vydáno: 2008

Plný text

E-kniha

Obálka

Integrated circuit and system design. power and timing modeling, optimization and simulation : 22nd international workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 201...

Vydáno: 2013

Plný text

E-kniha

Obálka

Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

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

1
2
3
4
5
6
7
8
9
10
11
Další »
[37]