Zobrazuji výsledky
1 - 20
z
80
pro vyhledávání '
'
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
Doporučená témata:
programování
AND
matematická logika
AND
formální jazyky
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
učebnice
Doporučená témata:
programování
AND
matematická logika
AND
formální jazyky
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
Hlavní strana
Vyhledávání:
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
80
matematická logika
programování
počítače
58
softwarové inženýrství
54
programovací jazyky
51
více ...
robotika
38
umělá inteligence
38
algoritmizace
24
operační systémy
22
diskrétní matematika
7
agenti
6
multiagentní systémy
6
počítačová bezpečnost
6
počítačová architektura
5
vyhledávání v datech
4
algebra
3
počítačová simulace
3
XML
2
architektura výpočetních systémů
2
logické programování
2
ontologie (informatika)
2
programovací jazyk JavaScript
2
sémantický web
2
testování
2
vestavěné systémy
2
SQL
1
bioinformatika
1
databázové systémy
1
méně ...
Zobrazuji výsledky
1 - 20
z
80
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
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:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings
Vydáno:
2009
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:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive logic programming : 22nd international conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trends in functional programming : 13th international symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : third international conference, SUM 2009, Washington, DC, USA, September 28-30, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised select...
Vydáno:
2010
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
80
NTK
Médium
80
E-kniha
Autor
80
SpringerLink (online služba)
2
Fiadeiro, José Luiz, 1961-
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Liu, Zhiming, 1972-
2
Peña, Ricardo, 1950-
více ...
2
Schrijvers, Tom
2
Vidal, Germán
2
Voronkov, Andrei, 1959-
2
Železný, Filip, 1974-
1
Abrial, Jean-Raymond, 1938-
1
Amadio, Roberto M.
1
Audebaud, Philippe
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Blume, Matthias
1
Bouajjani, Ahmed
1
Bramer, M. A. (Max A.), 1948-
1
Bravetti, Mario, 1971-
1
Calimeri, Francesco
1
Calude, Cristian, 1952-
1
Chatterjee, Krishnendu
1
Cohen, Ernie
1
Damiani, Ferruccio
1
Datta, Anupam
1
Davis, Martin, 1928-2023
1
Dawar, Anuj, 1966-
Zobrazit vše ...
méně ...
Jazyk
80
angličtina
Žánr
80
elektronicke knihy
74
sborníky konferencí
3
eseje
2
sborníky
1
monografie
Rok vydání
Od:
do:
PSH
80
formální jazyky
80
informatika
80
matematická logika
80
programování
58
počítače
54
softwarové inženýrství
více ...
51
programovací jazyky
38
robotika
38
umělá inteligence
24
algoritmizace
22
operační systémy
6
agenti
6
počítačová bezpečnost
4
vyhledávání v datech
3
algebra
3
počítačová simulace
2
XML
2
architektura výpočetních systémů
2
logické programování
2
programovací jazyk JavaScript
2
sémantický web
2
testování
2
vestavěné systémy
1
SQL
1
bioinformatika
1
databázové systémy
1
hardware
1
informační systémy
1
internet
1
kombinatorika
Zobrazit vše ...
méně ...
×
Načítá se...