Zobrazuji výsledky
1 - 20
z
72
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
Autor:
NOT
Kyjonka, Vladimír
PSH:
NOT
počítačová grafika
NOT
zvukové editory
Signatura:
NOT
L - Vzdělání
Doporučená témata:
algoritmizace
AND
matematická logika
Zrušit filtry
Zobrazit filtry (6)
Autor:
NOT
Kyjonka, Vladimír
PSH:
NOT
počítačová grafika
NOT
zvukové editory
Signatura:
NOT
L - Vzdělání
Doporučená témata:
algoritmizace
AND
matematická logika
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
matematická logika
informatika
71
softwarové inženýrství
49
počítače
32
programování
32
programovací jazyky
30
více ...
umělá inteligence
24
formální jazyky
18
operační systémy
7
diskrétní matematika
5
aplikační programy
4
robotika
4
rozpoznávání obrazců
3
algebra
2
bioinformatika
2
počítačová architektura
2
počítačová bezpečnost
2
programovací jazyk Java
2
strojová lingvistika
2
zpracování textů
2
XML
1
agenti
1
architektura výpočetních systémů
1
diferenciální rovnice parciální
1
filozofie
1
hardware
1
informační paměť
1
kryptografie
1
logika
1
méně ...
Zobrazuji výsledky
1 - 20
z
72
pro vyhledávání '
"software"
'
, doba hledání: 0,10 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:
Rigorous methods for
software
construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable
software
technologiey - Ada-Europe 2010 : 15th Ada-Europe international conference...
Vydáno:
2010
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 : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings
Vydáno:
2006
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:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29...
Vydáno:
2008
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:
Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 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:
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:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
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:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
72
NTK
Médium
72
E-kniha
Autor
72
SpringerLink (online služba)
3
Dediu, Adrian-Horia
3
Martín-Vide, Carlos
3
Queiroz, Ruy J. G. B. de
2
Goertzel, Ben
2
Jürgensen, Helmut, 1942-
více ...
2
Karhumäki, Juhani, 1949-
2
Khurshid, Sarfraz
2
Okhotin, Alexander
2
Schürr, Andy
2
Urban, Christian
1
Abrial, Jean-Raymond, 1938-
1
Aoki, Toshiaki
1
Artemov, Sergei
1
Arun-Kumar, S
1
Baier, Christel
1
Barkatou, Moulay
1
Bartocci, Ezio
1
Berghammer, Rudolf, 1952-
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
Bouajjani, Ahmed
1
Butler, Michael
1
Cerone, Antonio
1
Cluzeau, Thomas
Zobrazit vše ...
méně ...
Jazyk
72
angličtina
Žánr
72
elektronicke knihy
21
sborníky konferencí
1
eseje
1
učebnice
Rok vydání
Od:
do:
PSH
72
algoritmizace
72
matematická logika
71
informatika
49
softwarové inženýrství
32
počítače
32
programování
více ...
30
programovací jazyky
24
umělá inteligence
18
formální jazyky
7
operační systémy
4
aplikační programy
4
robotika
3
rozpoznávání obrazců
2
algebra
2
bioinformatika
2
počítačová bezpečnost
2
programovací jazyk Java
2
strojová lingvistika
2
zpracování textů
1
XML
1
agenti
1
architektura výpočetních systémů
1
diferenciální rovnice parciální
1
filozofie
1
hardware
1
kryptografie
1
logika
1
matematická statistika
1
mikroprocesory
1
podnikové informační systémy
Zobrazit vše ...
méně ...
×
Načítá se...