Výsledky vyhledávání

Obálka

Hacking bez tajemství : Windows 2000

Autor Scambray, Joel Vydáno: 2003

Kniha

Obálka

The T4 microkernel : microkernel for distributed operating system : PhD thesis

Autor Yaghob, Jakub, 1967- Vydáno: 2002

Rukopis

Obálka

The T4 microkernel : microkernel for distributed operating system : abstract of doctoral thesis

Autor Yaghob, Jakub, 1967- Vydáno: 2002

Rukopis

Obálka

Computer science : an overview

Autor Brookshear, J. Glenn Vydáno: 2020

Kniha

Obálka

Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings

Vydáno: 2006

Kniha

Obálka

Web reasoning and rule systems : second International conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Vydáno: 2008

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

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

Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

Vydáno: 2005

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

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

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

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers

Vydáno: 2009

Plný text

E-kniha

Obálka

Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Engineering secure software and systems : 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Self-organizing architectures : first international workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Active networks : IFIP TC6 6th international working conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004 : revised papers

Vydáno: 2007

Plný text

E-kniha

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