Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
'
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í
Zrušit filtry
Žánr:
NOT
učebnice
NOT
disertace
Doporučená témata:
NOT
osobní automobily
AND
algoritmizace
AND
aplikovaná matematika
Autor:
NOT
Soušek, Tomáš, 1977-
Signatura:
NOT
B - Filozofie, Psychologie, Náboženství
PSH:
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
učebnice
NOT
disertace
Doporučená témata:
NOT
osobní automobily
AND
algoritmizace
AND
aplikovaná matematika
Autor:
NOT
Soušek, Tomáš, 1977-
Signatura:
NOT
B - Filozofie, Psychologie, Náboženství
PSH:
softwarové inženýrství
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algoritmizace
aplikovaná matematika
softwarové inženýrství
5
informatika
2
DNA
1
aplikovaná biologie
1
objektově orientované programování
1
více ...
programování
1
simulace a modelování
1
software
1
umělá inteligence
1
méně ...
Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
DNA computing : 12th International Meeting on DNA Computing, DNA 12, Seoul, Korea, June 5-9, 2006 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
5
NTK
Médium
4
Kniha
1
E-kniha
Signatura
4
Q - Věda
Autor
1
Araki, Keijiro, 1954-
1
Gavrilova, Marina L
1
Gnesi, Stefania, 1954-
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Lyche, Tom, 1943-
více ...
1
Mandrioli, Dino, 1949-
1
Mao, Chengde
1
Owe, Olaf
1
Phan, Cong-Vinh
1
SpringerLink (online služba)
1
Tan, C. J. Kenneth
1
Yokomori, Takashi
Zobrazit vše ...
méně ...
Jazyk
5
angličtina
Žánr
2
sborníky
1
elektronicke knihy
1
sborníky konferencí
Rok vydání
Od:
do:
PSH
5
algoritmizace
5
aplikovaná matematika
softwarové inženýrství
2
informatika
1
DNA
1
aplikovaná biologie
více ...
1
objektově orientované programování
1
programování
1
simulace a modelování
1
software
1
umělá inteligence
Zobrazit vše ...
méně ...
×
Načítá se...