Zobrazuji výsledky
1 - 9
z
9
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
PSH:
NOT
baroko
AND
informatika
AND
matematická logika
Oblast:
NOT
Ostrava (Česko)
Doporučená témata:
NOT
algoritmizace
NOT
počítače
AND
operační systémy
Zrušit filtry
Zobrazit filtry (7)
PSH:
NOT
baroko
AND
informatika
AND
matematická logika
Oblast:
NOT
Ostrava (Česko)
Doporučená témata:
NOT
algoritmizace
NOT
počítače
AND
operační systémy
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í:
informatika
9
matematická logika
9
operační systémy
softwarové inženýrství
9
programování
8
formální jazyky
4
programovací jazyky
4
více ...
umělá inteligence
2
algebra
1
diskrétní matematika
1
hardware
1
počítačová architektura
1
robotika
1
software
1
méně ...
Zobrazuji výsledky
1 - 9
z
9
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
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 26th international conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.
Vydáno:
2015
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
9
NTK
Médium
9
E-kniha
Autor
9
SpringerLink (online služba)
2
Fiadeiro, José Luiz, 1961-
1
Alpuente, María
1
Biere, Armin, 1967-
1
Bloem, Roderick
1
Etalle, Sandro
více ...
1
Falaschi, Moreno
1
Kroening, Daniel
1
Misra, Jayadev
1
Mosses, Peter D., 1948-
1
Nipkow, Tobias, 1958-
1
Orejas, Fernando, 1952-
1
Palsberg, Jens, 1964-
1
Păsăreanu, Corina S.
1
Schobbens, Pierre-Yves, 1961-
1
Sekerinski, Emil, 1963-
1
Su, Zhendong
1
Truszczyński, Mirosław
1
Vidal, Germán
Zobrazit vše ...
méně ...
Jazyk
9
angličtina
Žánr
9
elektronicke knihy
9
sborníky konferencí
Rok vydání
Od:
do:
PSH
informatika
matematická logika
9
operační systémy
9
softwarové inženýrství
8
programování
4
formální jazyky
více ...
4
programovací jazyky
2
umělá inteligence
1
algebra
1
hardware
1
robotika
1
software
Zobrazit vše ...
méně ...
×
Načítá se...