Zobrazuji výsledky
1 - 20
z
27
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
Žánr:
NOT
učebnice
AND
sborníky konferencí
Autor:
NOT
Oquendo, Flavio, 1958-
PSH:
robotika
Doporučená témata:
matematická logika
Zrušit filtry
Zobrazit filtry (5)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Autor:
NOT
Oquendo, Flavio, 1958-
PSH:
robotika
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í:
informatika
27
matematická logika
robotika
27
umělá inteligence
27
formální jazyky
25
softwarové inženýrství
19
počítače
16
více ...
programovací jazyky
13
programování
8
software
5
algoritmizace
4
aplikační programy
4
vyhledávání v datech
4
diskrétní matematika
3
informační systémy
3
internet
3
operační systémy
3
sémantický web
3
UML
2
hardware
2
počítačová simulace
2
programovací jazyk Java
2
systémy řízení báze dat
2
vyhledávání informací
2
algebra
1
aplikační software
1
big data
1
databázové systémy
1
geometrie
1
informační paměť
1
méně ...
Zobrazuji výsledky
1 - 20
z
27
pro vyhledávání '
"software"
'
, doba hledání: 0,15 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
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:
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:
Multidisciplinary aspects of time and time perception : COST TD0904 international workshop, Athens, Greece, October 7-8, 2010 : revised selected papers
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:
Modeling and retrieval of context : second international workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
New frontiers in artificial intelligence : JSAI-isAI 2014 workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
New frontiers in artificial intelligence : JSAI-isAI 2011 workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 11th international conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
27
NTK
Médium
27
E-kniha
Autor
27
SpringerLink (online služba)
2
Bekki, Daisuke
1
Beckert, Bernhard
1
Berardi, Stefano
1
Biere, Armin, 1967-
1
Birkedal, Lars
více ...
1
Cellier, Peggy
1
Cohen, Ernie
1
Cummins, Fred
1
Czarnecki, Krzysztof, 1970-
1
Damiani, Ferruccio
1
Distel, Felix
1
Embley, David W.
1
Esposito, Anna
1
Etessami, Kousha
1
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
1
Falaschi, Moreno
1
Fleuriot, Jacques, 1972-
1
Ganter, Bernhard, 1949-
1
Giagkou, Maria
1
Giese, Martin
1
Gupta, Gopal, 1963-
1
Hawblitzel, Chris
1
Hedin, Görel
1
Hendren, Laurie
1
Honsell, Furio
1
Ida, Tetsuo
1
Johnson, Michael
1
Kanazawa, Makoto
1
Krishnamurthi, Shriram
Zobrazit vše ...
méně ...
Jazyk
27
angličtina
Žánr
27
elektronicke knihy
sborníky konferencí
Rok vydání
Od:
do:
PSH
27
informatika
27
matematická logika
robotika
27
umělá inteligence
25
formální jazyky
19
softwarové inženýrství
více ...
16
počítače
13
programovací jazyky
8
programování
5
software
4
algoritmizace
4
aplikační programy
4
vyhledávání v datech
3
informační systémy
3
internet
3
operační systémy
3
sémantický web
2
UML
2
hardware
2
počítačová simulace
2
programovací jazyk Java
2
systémy řízení báze dat
2
vyhledávání informací
1
algebra
1
big data
1
databázové systémy
1
geometrie
1
lineární a multilineární algebra
1
matematika
1
mikroprocesory
Zobrazit vše ...
méně ...
×
Načítá se...