Zobrazuji výsledky
1 - 20
z
172
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
PSH:
umělá inteligence
Signatura:
NOT
T - Technologie
Doporučená témata:
matematická logika
Zrušit filtry
Zobrazit filtry (3)
PSH:
umělá inteligence
Signatura:
NOT
T - Technologie
Doporučená témata:
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í:
matematická logika
umělá inteligence
172
informatika
165
softwarové inženýrství
124
programování
61
programovací jazyky
58
počítače
42
více ...
robotika
28
formální jazyky
26
algoritmizace
24
aplikační programy
16
vyhledávání v datech
13
systémy řízení báze dat
11
software
10
počítačová simulace
9
algebra
6
strojová lingvistika
5
počítačová grafika
4
rozpoznávání obrazců
4
diskrétní matematika
3
informační systémy
3
internet
3
operační systémy
3
podnikové informační systémy
3
počítačová bezpečnost
3
sémantický web
3
zpracování textů
3
UML
2
automatizované řešení problémů
2
hardware
2
méně ...
Zobrazuji výsledky
1 - 20
z
172
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
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:
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
Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
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:
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:
Hardware and
Software
: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Vydáno:
2012
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 : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
software
: theories, tools and experiments : 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering for Collective Autonomic Systems : The ASCENS Approach
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
Software
: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Vydáno:
2012
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:
Verification of Object-Oriented
Software
. The KeY Approach : Foreword by K. Rustan M. Leino
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Vydáno:
2005
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:
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:
1
2
3
4
5
6
7
8
9
Další »
[9]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
172
NTK
Médium
168
E-kniha
4
Kniha
Signatura
4
Q - Věda
Autor
168
SpringerLink (online služba)
5
Voronkov, Andrei
3
Dediu, Adrian-Horia
3
Governatori, Guido
3
Martín-Vide, Carlos
2
Armando, Alessandro
více ...
2
Baral, Chitta
2
Beckert, Bernhard
2
Bekki, Daisuke
2
Dix, Jürgen
2
Fisher, Michael
2
Ganter, Bernhard
2
Goertzel, Ben
2
Jamroga, Wojtek
2
Kahl, Wolfram
2
Kokinov, Boicho
2
Konev, Boris
2
Leite, João
2
Meseguer, José
2
Narukawa, Yasuo
2
Petrosino, Alfredo
2
Queiroz, Ruy J. G. B. de
2
Ringeissen, Christophe
2
Roth-Berghofer, Thomas R
2
Rudolph, Sebastian
2
Schmidt, Renate A
2
Son, Tran Cao
2
Torra, Vicenç
2
Torre, Leon van der
2
Veith, Helmut
Zobrazit vše ...
méně ...
Jazyk
172
angličtina
Žánr
168
elektronicke knihy
35
sborníky konferencí
2
eseje
Rok vydání
Od:
do:
PSH
172
matematická logika
umělá inteligence
165
informatika
124
softwarové inženýrství
61
programování
58
programovací jazyky
více ...
42
počítače
28
robotika
26
formální jazyky
24
algoritmizace
16
aplikační programy
13
vyhledávání v datech
11
systémy řízení báze dat
10
software
9
počítačová simulace
6
algebra
5
strojová lingvistika
4
počítačová grafika
4
rozpoznávání obrazců
3
informační systémy
3
internet
3
operační systémy
3
podnikové informační systémy
3
počítačová bezpečnost
3
sémantický web
3
zpracování textů
2
UML
2
automatizované řešení problémů
2
hardware
2
matematika
Zobrazit vše ...
méně ...
×
Načítá se...