Zobrazuji výsledky
1 - 20
z
28
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
PSH:
NOT
rozpoznávání obrazců
AND
umělá inteligence
Autor:
NOT
Panetto, Hervé
Doporučená témata:
formální jazyky
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
italština
PSH:
NOT
rozpoznávání obrazců
AND
umělá inteligence
Autor:
NOT
Panetto, Hervé
Doporučená témata:
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í:
formální jazyky
informatika
28
umělá inteligence
28
robotika
27
matematická logika
26
softwarové inženýrství
20
počítače
18
více ...
programovací jazyky
14
programování
11
algoritmizace
5
operační systémy
4
software
4
UML
3
aplikační programy
3
diskrétní matematika
3
hardware
3
počítačová architektura
3
sémantický web
3
informační systémy
2
internet
2
počítačová simulace
2
programovací jazyk Java
2
systémy řízení báze dat
2
vyhledávání v datech
2
aplikační software
1
architektura výpočetních systémů
1
bioinformatika
1
databázové systémy
1
geometrie
1
informační paměť
1
méně ...
Zobrazuji výsledky
1 - 20
z
28
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
, 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:
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:
Agent-oriented
software
engineering VI : 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Vydáno:
2006
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 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:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
28
NTK
Médium
28
E-kniha
Autor
28
SpringerLink (online služba)
1
Beckert, Bernhard
1
Bekki, Daisuke
1
Berardi, Stefano
1
Biere, Armin, 1967-
1
Birkedal, Lars
více ...
1
Cohen, Ernie
1
Cummins, Fred
1
Czarnecki, Krzysztof, 1970-
1
Damiani, Ferruccio
1
De Nicola, Rocco
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
Giagkou, Maria
1
Giese, Martin
1
Gupta, Gopal, 1963-
1
Hawblitzel, Chris
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Hirsch, Edward A.
1
Honsell, Furio
1
Ida, Tetsuo
1
Johnson, Michael
1
Kanazawa, Makoto
1
Krishnamurthi, Shriram
Zobrazit vše ...
méně ...
Jazyk
28
angličtina
Žánr
28
elektronicke knihy
27
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
28
formální jazyky
28
informatika
umělá inteligence
27
robotika
26
matematická logika
20
softwarové inženýrství
více ...
18
počítače
14
programovací jazyky
11
programování
5
algoritmizace
4
operační systémy
4
software
3
UML
3
aplikační programy
3
hardware
3
sémantický web
2
informační systémy
2
internet
2
počítačová simulace
2
programovací jazyk Java
2
systémy řízení báze dat
2
vyhledávání v datech
1
architektura výpočetních systémů
1
bioinformatika
1
databázové systémy
1
geometrie
1
lineární a multilineární algebra
1
matematika
1
mikroprocesory
1
podnikové informační systémy
Zobrazit vše ...
méně ...
×
Načítá se...