Zobrazuji výsledky
1 - 20
z
181
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
šifrování dat
NOT
počítače
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (7)
PSH:
NOT
baroko
AND
informatika
AND
matematická logika
Oblast:
NOT
Ostrava (Česko)
Doporučená témata:
NOT
šifrování dat
NOT
počítače
AND
programovací jazyky
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
181
matematická logika
181
programovací jazyky
softwarové inženýrství
145
programování
111
umělá inteligence
72
algoritmizace
27
více ...
vyhledávání v datech
9
podnikové informační systémy
8
počítačová simulace
7
formální jazyky
6
robotika
6
systémy řízení báze dat
6
aplikační programy
4
operační systémy
4
matematická statistika
3
numerická analýza
3
strojová lingvistika
2
bioinformatika
1
informační systémy
1
jazykověda
1
komponentní technologie
1
logika
1
počítačová biologie
1
počítačová grafika
1
programovací jazyk Java
1
protilátky
1
rozpoznávání obrazců
1
vyhledávání informací
1
výpočetní technika
1
méně ...
Zobrazuji výsledky
1 - 20
z
181
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic and numeric biology : 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machine learning and data mining in pattern recognition : 6th international conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
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:
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : international autumn school, ROCKS 2012, Vahrn, Italy, October...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
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:
B 2007: formal specification and development in B : 7th International conference of B users, Besançon, France, January 17-19, 2007 : 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:
Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 11th International Haifa verification conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
Další »
[10]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
181
NTK
Médium
181
E-kniha
Autor
181
SpringerLink (online služba)
4
Voronkov, Andrei, 1959-
3
Martí-Oliet, Narciso
3
Meseguer, José
2
Beckert, Bernhard
2
Bernardo, Marco
více ...
2
Butler, Michael
2
Fages, François
2
Garrigue, Jacques
2
Giannakopoulou, Dimitra
2
Hage, Jurriaan
2
Horváth, Zoltán
2
Julliand, Jacques
2
Liu, Shaoying
2
Lämmel, Ralf
2
Merz, Stephan
2
Morazán, Marco T
2
Qadeer, Shaz
2
Rossi, Francesca
2
Salaün, Gwen
2
Saraiva, João
2
Schmidt, David
2
Scholz, Sven-Bodo
2
Seidl, Helmut
2
Sekerinski, Emil, 1963-
2
Simao, Adenilso
2
Talcott, Carolyn
2
Torre, Leon van der
2
Vardanega, Tullio
2
Visser, Joost
Zobrazit vše ...
méně ...
Jazyk
181
angličtina
Žánr
181
elektronicke knihy
30
sborníky konferencí
1
sborníky
Rok vydání
Od:
do:
PSH
informatika
matematická logika
181
programovací jazyky
145
softwarové inženýrství
111
programování
72
umělá inteligence
více ...
27
algoritmizace
9
vyhledávání v datech
8
podnikové informační systémy
7
počítačová simulace
6
formální jazyky
6
robotika
6
systémy řízení báze dat
4
aplikační programy
4
operační systémy
3
matematická statistika
3
numerická analýza
2
strojová lingvistika
1
bioinformatika
1
informační systémy
1
jazykověda
1
logika
1
počítačová grafika
1
programovací jazyk Java
1
protilátky
1
rozpoznávání obrazců
1
vyhledávání informací
1
výpočetní technika
1
zpracování obrazů
Zobrazit vše ...
méně ...
×
Načítá se...