Výsledky vyhledávání

Obálka

Evoluční algoritmy a úlohy s omezujícími podmínkami : habilitační práce

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

Rukopis

Obálka

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

Vydáno: 2004

Získat plný text

Kniha

Obálka

A science-based case for large-scale computation at PSI

Autor Adelmann, Andreas Vydáno: 2004

Kniha

Obálka

Registrace hloubkových map na základě diferenciálních invariantních struktur : disertační práce

Autor Krsek, Pavel, 1971- Vydáno: 2002

Kniha

Obálka

New algorithms of particle modeling used in molecular dynamics : abstract of doctoral thesis = Nové algoritmy částicového modelování metodou molekulární dynamiky

Autor Entlicher, Martin Vydáno: 2004

Kniha

Obálka

Nové algoritmy částicového modelování metodou molekulární dynamiky : dizertační práce

Autor Entlicher, Martin Vydáno: 2004

Rukopis

Obálka

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Modeling and reconstruction of genetic networks : disertační práce

Autor Vu, Tra Thi, 1977- Vydáno: 2005

Kniha

Obálka

Embedded processor design challenges : systems, architectures, modeling and simulation - SAMOS

Vydáno: 2002

Kniha

Obálka

Artificial evolution : 5th international conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 : selected papers

Vydáno: 2002

Kniha

Obálka

Základy simulace elektrických obvodů

Autor Brtník, Bohumil, 1959- Vydáno: 2012

Kniha

Obálka

Algoritmy pro život : jak využít počítačové algoritmy při každodenním rozhodování

Autor Christian, Brian, 1984- Vydáno: 2017

Kniha

Obálka

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Vydáno: 2005

Plný text

Kniha

Obálka

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Algorithms to live by : the computer science of human decisions

Autor Christian, Brian, 1984- Vydáno: 2017

Kniha

Obálka

Artificial immune systems : 5th international conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006 : proceedings

Vydáno: 2006

Plný text

Kniha