Zobrazuji výsledky
1 - 20
z
22
pro vyhledávání '
"Europe"
'
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:
matematická logika
Zrušit filtry
Zobrazit filtry (1)
PSH:
matematická logika
Hlavní strana
Vyhledávání: "Europe"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
22
matematická logika
22
algoritmizace
10
počítače
10
programovací jazyky
10
softwarové inženýrství
10
umělá inteligence
7
více ...
formální jazyky
6
programování
6
robotika
4
agenti
2
diskrétní matematika
2
multiagentní systémy
2
podnikové informační systémy
2
počítačová lingvistika
2
systémy řízení báze dat
2
vestavěné systémy
2
vyhledávání v datech
2
XML
1
algebra
1
bioinformatika
1
informační systémy
1
interakce člověk-počítač
1
internet
1
matematické programování
1
numerická analýza
1
ontologie (informatika)
1
operační systémy
1
rozpoznávání obrazců
1
software
1
méně ...
Alternativní vyhledávání
:
europe »
european
Zobrazuji výsledky
1 - 20
z
22
pro vyhledávání '
"Europe"
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Reliable Software Technologies - Ada-
Europe
2011 : 16th Ada-
Europe
International Conference...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable Software Technologies - Ada-
Europe
2014 : 19th Ada-
Europe
International Conference...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable Software Technologies - Ada-
Europe
2012 : 17th Ada-
Europe
International Conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable software technologiey - Ada-
Europe
2010 : 15th Ada-
Europe
international conference...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable software technologies - Ada-
Europe
2015 : 20th Ada-
Europe
International conference...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logical approaches to computational barriers : second Conference on Computability in
Europe
, CIE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
FM 2005: formal methods : International symposium of formal methods
Europe
, Newcastle, UK, July 18-22, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Evolving Computability : 11th Conference on Computability in
Europe
, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The nature of computation : logic, algorithms, applications : 9th Conference on computability in
Europe
, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
How the world computes : Turing centenary conference and 8th Conference on computability in
Europe
, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models of computation in context : 7th Conference on computability in
Europe
, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24-26, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Objects, Models, Components, Patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 : student sessions : selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
New Directions in Logic, Language and Computation : ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Interfaces: explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Database theory - ICDT 2005 : 10th international conference, Edinburgh, UK, January 5-7, 2005 : proceedings
Vydáno:
2005
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
22
NTK
Médium
21
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
21
SpringerLink (online služba)
4
Vardanega, Tullio
3
Löwe, Benedikt
2
Beckmann, Arnold
1
Beetz, Michael, 1961-
1
Bezhanishvili, Nick
více ...
1
Bjørner, Nikolaj
1
Boer, Frank S. de
1
Bonizzoni, Paola
1
Brattka, Vasco
1
Brorsson, Mats
1
Colinet, Margot
1
Cooper, S. B. (S. Barry), 1943-2015
1
Croitoru, Madalina
1
Dawar, Anuj
1
Eiter, Thomas, 1966-
1
Englert, Roman
1
Ferré, Sébastien
1
Fitzgerald, John, 1965-
1
Furia, Carlo A
1
George, Laurent
1
Giannakopoulou, Dimitra
1
Goranko, Valentin
1
Hayes, Ian, 1956-
1
Hertzberg, Joachim, 1958-
1
Icard, Thomas
1
Katrenko, Sophia
1
Lassiter, Daniel
1
Libkin, Leonid, 1965-
1
Lukose, Dickson
Zobrazit vše ...
méně ...
Jazyk
22
angličtina
Žánr
21
elektronicke knihy
14
sborníky konferencí
Rok vydání
Od:
do:
PSH
22
informatika
matematická logika
10
algoritmizace
10
počítače
10
programovací jazyky
10
softwarové inženýrství
více ...
7
umělá inteligence
6
formální jazyky
6
programování
4
robotika
2
agenti
2
podnikové informační systémy
2
systémy řízení báze dat
2
vestavěné systémy
2
vyhledávání v datech
1
XML
1
algebra
1
bioinformatika
1
informační systémy
1
interakce člověk-počítač
1
internet
1
matematické programování
1
numerická analýza
1
operační systémy
1
rozpoznávání obrazců
1
software
1
strojová lingvistika
1
sémantický web
1
teorie her
1
teorie vyčíslitelnosti
Zobrazit vše ...
méně ...
×
Načítá se...