Zobrazuji výsledky
1 - 20
z
88
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
Doporučená témata:
Filtry: 4
informatika
AND
počítače
AND
softwarové inženýrství
NOT
systémy řízení báze dat
PSH:
umělá inteligence
Autor:
NOT
Iwanowski, Marcin
Zrušit filtry
Zobrazit filtry (6)
Doporučená témata:
Filtry: 4
informatika
AND
počítače
AND
softwarové inženýrství
NOT
systémy řízení báze dat
PSH:
umělá inteligence
Autor:
NOT
Iwanowski, Marcin
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í:
informatika
počítače
softwarové inženýrství
umělá inteligence
88
algoritmizace
26
matematická logika
26
programovací jazyky
26
více ...
programování
22
robotika
21
počítačová simulace
15
formální jazyky
12
rozpoznávání obrazců
9
interakce člověk-počítač
5
operační systémy
5
uživatelská rozhraní
4
informační systémy
3
internet
3
software
3
vyhledávání v datech
3
distribuované informační systémy
2
hardware
2
podnikové informační systémy
2
počítačová architektura
2
programovací jazyk Java
2
rozhraní
2
výpočetní technika
2
zpracování obrazů
2
Petriho sítě
1
UML
1
architektura výpočetních systémů
1
méně ...
Zobrazuji výsledky
1 - 20
z
88
pro vyhledávání '
"software"
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 8th International Haifa verification conference...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic methodology and
software
technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 7th International Haifa verification conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Human-centered
software
engineering : 5th IFIP WG 13.2 international conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Human-centered
software
engineering : 4th international conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
engineering for self-adaptive systems
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
software
: theories, tools, experiments : 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computational structures : 15th international conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming and formal engineering methods : international training school on
software
engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures
Vydáno:
2013
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 : 16th International conference, CC 2007, held as art of the joint European conferences on theory and practice of
software
, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2011, Saarbrücken, Germany, March...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
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 : 17th international conference, TACAS 2011, held as part of the Joint European conferences on theory and practice of
software
, ETAPS...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octob...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
88
NTK
Médium
88
E-kniha
Autor
88
SpringerLink (online služba)
5
Nguyễn, Ngọc Thanh
4
Kowalczyk, Ryszard, 1961-
3
Ali, Moonis, 1944-
3
Das, Swagatam
3
Dediu, Adrian-Horia
více ...
3
Deng, Hepu
3
Lei, Jingsheng
3
Margaria, Tiziana
3
Martín-Vide, Carlos
3
Nguyen, Ngoc Thanh
3
Panigrahi, Bijaya Ketan
3
Steffen, Bernhard
3
Suganthan, Ponnuthurai Nagaratnam
3
Wang, Fu Lee
3
Winckler, Marco
2
Ando, Noriaki
2
Bernhaupt, Regina
2
Brugali, Davide
2
Dobnikar, Andrej
2
Forbrig, Peter
2
Lotrič, Uroš
2
Miao, Duoqian
2
Sardina, Sebastian
2
Vasconcelos, Wamberto
2
Winikoff, Michael
2
Šter, Branko
1
Aalst, Wil van der, 1966-
1
Abdulla, Parosh Aziz
1
Abramsky, Samson
Zobrazit vše ...
méně ...
Jazyk
88
angličtina
Žánr
88
elektronicke knihy
24
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
88
informatika
88
počítače
88
softwarové inženýrství
umělá inteligence
26
algoritmizace
26
matematická logika
více ...
26
programovací jazyky
22
programování
21
robotika
15
počítačová simulace
12
formální jazyky
9
rozpoznávání obrazců
5
interakce člověk-počítač
5
operační systémy
3
informační systémy
3
internet
3
software
3
vyhledávání v datech
2
hardware
2
podnikové informační systémy
2
programovací jazyk Java
2
rozhraní
2
výpočetní technika
2
zpracování obrazů
1
Petriho sítě
1
UML
1
architektura výpočetních systémů
1
numerická analýza
1
objektově orientované programování
1
počítačová bezpečnost
Zobrazit vše ...
méně ...
×
Načítá se...