Výsledky vyhledávání

Obálka

Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...

Vydáno: 2004

Získat plný text

Kniha

Obálka

Advanced environments, tools, and applications for cluster computing : NATO advanced research workshop, IWCC 2001, Mangalia, Romania, september 1-6, 2001 : revised papers

Vydáno: 2002

Kniha

Obálka

Zpracování obrazu a algoritmy v C#

Autor Dobeš, Michal, 1963- Vydáno: 2008

Kniha

Obálka

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...

Vydáno: 2006

Kniha

Obálka

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of So...

Vydáno: 2002

Kniha

Obálka

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

Vydáno: 2002

Kniha

Obálka

Compositionality : The significant difference. International symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997. Revised lectures

Vydáno: 1998

Kniha

Obálka

A prolog implementation of genetic algorithms : Doctoral thesis

Autor Hynek, Josef, 1965- Vydáno: 1998

Rukopis

Obálka

A prolog implementation of genetic algorithms : Abstract of doctoral thesis

Autor Hynek, Josef, 1965- Vydáno: 1998

Kniha

Obálka

Languages and compilers for parallel computing : 9th international workshop, LCPC '96, San Jose, California, USA, August 8-10, 1996. Proceedings

Vydáno: 1997

Kniha

Obálka

High-level synthesis from algorithm to digital circuit

Vydáno: 2008

Plný text

Kniha

Obálka

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...

Vydáno: 2006

Plný text

Kniha

Obálka

Foundations of software science and computation structures : 6th international conferenceg, FOSSACS 2003 held as part of the Joint European Conferences on Ttheory and Practice of S...

Vydáno: 2003

Plný text

Kniha

Obálka

Foundations of software science and computation structures : 8th international conferences, FOSSACS 2005 held as part of the Joint European Conferences on Theory and Practice of So...

Vydáno: 2005

Plný text

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

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

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

1
2
3
4
5
6
7
8
Další »
[8]