Zobrazuji výsledky
1 - 20
z
54
pro vyhledávání '
"software"
'
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:
NOT
italština
Žánr:
NOT
elektronické zdroje
Autor:
NOT
Němec, Luboš
PSH:
algoritmizace
AND
matematická logika
Doporučená témata:
NOT
formální jazyky
Zrušit filtry
Zobrazit filtry (6)
Jazyk:
NOT
italština
Žánr:
NOT
elektronické zdroje
Autor:
NOT
Němec, Luboš
PSH:
algoritmizace
AND
matematická logika
Doporučená témata:
NOT
formální jazyky
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algoritmizace
54
matematická logika
54
informatika
53
softwarové inženýrství
39
programování
24
programovací jazyky
23
umělá inteligence
20
více ...
počítače
16
aplikační programy
4
rozpoznávání obrazců
3
počítačová bezpečnost
2
strojová lingvistika
2
zpracování textů
2
bioinformatika
1
diferenciální rovnice parciální
1
filozofie
1
logika
1
matematická statistika
1
operační systémy
1
podnikové informační systémy
1
systémy řízení báze dat
1
vyhledávání v datech
1
méně ...
Zobrazuji výsledky
1 - 20
z
54
pro vyhledávání '
"software"
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal methods and
software
engineering : 13th International conference on formal engineering...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 14th International Conference on Formal Engineering...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 16th International Conference on Formal Engineering...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 17th International Conference on Formal Engineering...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2005: foundations of
software
technology and theoretical computer science : 25th...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2006: Foundations of
Software
Technology and Theoretical Computer Science : 26th...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2004: Foundations of
Software
Technology and Theoretical Computer Science : 24th...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler Construction : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler Construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of
Software
, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reversible Computation : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime Verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Pap...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
Další »
[3]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
54
NTK
Médium
54
E-kniha
Autor
54
SpringerLink (online služba)
3
Dediu, Adrian-Horia
3
Martín-Vide, Carlos
2
Goertzel, Ben
2
Queiroz, Ruy J. G. B. de
2
Schürr, Andy
více ...
2
Urban, Christian
1
Aoki, Toshiaki
1
Artemov, Sergei
1
Arun-Kumar, S
1
Barkatou, Moulay
1
Bartocci, Ezio
1
Berghofer, Stefan
1
Bieger, Jordi
1
Bjørner, Nikolaj
1
Blass, Andreas
1
Blockeel, Hendrik
1
Boer, Frank S. de
1
Bonakdarpour, Borzoo
1
Butler, Michael
1
Cluzeau, Thomas
1
Cohen, David
1
Conchon, Sylvain
1
Daelemans, Walter
1
Degano, Pierpaolo
1
Delzanno, Giorgio
1
Derrick, John
1
Dershowitz, Nachum
1
Ehrig, Hartmut
1
Fahrenberg, Uli
Zobrazit vše ...
méně ...
Jazyk
54
angličtina
Žánr
54
elektronicke knihy
5
sborníky konferencí
Rok vydání
Od:
do:
PSH
algoritmizace
matematická logika
53
informatika
39
softwarové inženýrství
24
programování
23
programovací jazyky
více ...
20
umělá inteligence
16
počítače
4
aplikační programy
3
rozpoznávání obrazců
2
počítačová bezpečnost
2
strojová lingvistika
2
zpracování textů
1
bioinformatika
1
diferenciální rovnice parciální
1
filozofie
1
logika
1
matematická statistika
1
operační systémy
1
podnikové informační systémy
1
systémy řízení báze dat
1
vyhledávání v datech
Zobrazit vše ...
méně ...
×
Načítá se...