Zobrazuji výsledky
1 - 18
z
18
pro vyhledávání '
Liu, Zhiming
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Autor
Liu, Zhiming
Zobrazuji výsledky
1 - 18
z
18
pro vyhledávání '
Liu, Zhiming
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Foundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Bioreactors : design, properties and applications
Vydáno:
2012
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods and software engineering : 8th International conference on formal engineering methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependable software engineering : theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming and formal engineering methods : international training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : a...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macau, China, September 26-28, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
softwarové inženýrství
informatika
matematická logika
počítače
programovací jazyky
programování
formální jazyky
simulace a modelování
sémantika programovacích jazyků
řízení v reálném čase
algoritmy
analýza časové řady
počítačová simulace
umělá inteligence
vestavěné systémy
algoritmizace
aplikační programy
biodegradace
biologické čištění odpadních vod
biotechnologie
distribuované zpracování
evoluční algoritmy
formální verifikace
informační systémy
neuronové sítě
operační systémy
robotika
software
tkáňové inženýrství
×
Načítá se...
