Zobrazuji výsledky
1 - 4
z
4
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
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
AND
matematická logika
Oblast:
NOT
Čína
Autor:
NOT
Drechsler, Rolf
Žánr:
sborníky
Zrušit filtry
Zobrazit filtry (7)
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
AND
matematická logika
Oblast:
NOT
Čína
Autor:
NOT
Drechsler, Rolf
Žánr:
sborníky
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í:
matematická logika
programování
informatika
3
formální jazyky
2
počítače
2
softwarové inženýrství
2
agenti
1
více ...
databázové systémy
1
multiagentní systémy
1
operační systémy
1
programovací jazyky
1
méně ...
Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
'
, doba hledání: 0,18 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Field-programmable logic : smart applications, new paradigms and compilers. 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, Se...
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
A 25-year perspective on logic programming : achievements of the Italian Association for logic programming, GULP
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Time for cerification : essays in memory of Amir Pnueli
Vydáno:
2010
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
4
NTK
Médium
3
E-kniha
1
Kniha
Signatura
1
T - Technologie
Autor
3
SpringerLink (online služba)
1
Dovier, Agostino, 1965-
1
Glesner, Manfred, 1943-
1
Hartenstein, Reiner W.
1
Manna, Zohar, 1939-2018
1
Meyer, Bertrand
více ...
1
Nordio, Martin
1
Peled, Doron A., 1962-
1
Pontelli, Enrico, 1967-
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
sborníky
3
elektronicke knihy
1
eseje
Rok vydání
Od:
do:
PSH
4
matematická logika
4
programování
3
informatika
2
formální jazyky
2
počítače
2
softwarové inženýrství
více ...
1
agenti
1
databázové systémy
1
operační systémy
1
programovací jazyky
Zobrazit vše ...
méně ...
×
Načítá se...