Zobrazuji výsledky
1 - 20
z
49
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
encyklopedie
NOT
učebnice vysokých škol
NOT
kongresy
PSH:
NOT
elektronické obvody
NOT
internet
AND
algoritmizace
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta technologie ochrany prostředí
Doporučená témata:
NOT
umělá inteligence
AND
počítače
AND
formální jazyky
Zrušit filtry
Zobrazit filtry (10)
Žánr:
NOT
encyklopedie
NOT
učebnice vysokých škol
NOT
kongresy
PSH:
NOT
elektronické obvody
NOT
internet
AND
algoritmizace
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta technologie ochrany prostředí
Doporučená témata:
NOT
umělá inteligence
AND
počítače
AND
formální jazyky
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í:
algoritmizace
49
formální jazyky
informatika
49
počítače
matematická logika
46
diskrétní matematika
17
programovací jazyky
17
více ...
programování
13
softwarové inženýrství
12
kryptografie
5
operační systémy
5
bioinformatika
4
algebra
3
distribuované informační systémy
3
numerická analýza
3
počítačová architektura
3
počítačová grafika
3
Petriho sítě
2
multiagentní systémy
2
počítačová biologie
2
teorie informace
2
vyhledávání informací
2
XML
1
agenti
1
architektura výpočetních systémů
1
formální verifikace
1
informační paměť
1
kombinatorika
1
kvantové výpočty
1
matematika
1
méně ...
Zobrazuji výsledky
1 - 20
z
49
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
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:
Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
STACS 2006 : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
STACS 2007 : 24th Annual symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007 : proceedings
Vydáno:
2007
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:
Developments in language theory : 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on computational systems biology VII
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and practice of constraint programming : 18th international conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and applications of models of computation : 10th international conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and applications of models of computation : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Developments in language theory : 17th international conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Developments in language theory : 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of information and knowledge systems : 6th international symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
Další »
[3]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
49
NTK
Médium
49
E-kniha
Autor
49
SpringerLink (online služba)
3
Queiroz, Ruy J. G. B. de
2
Baier, Christel
2
Beklemishev, Lev D.
2
Cooper, S. B. (S. Barry), 1943-2015
2
Durand, Bruno
více ...
2
Jürgensen, Helmut, 1942-
2
Karhumäki, Juhani, 1949-
2
Okhotin, Alexander
2
Priami, Corrado
2
Reis, Rogério
2
Thomas, Wolfgang, 1947-
1
Abdulla, Parosh Aziz
1
Abrial, Jean-Raymond, 1938-
1
Agrawal, Manindra, 1966-
1
Anna Ingólfsdóttir, 1952-
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Boer, Frank S. de
1
Bouajjani, Ahmed
1
Béal, Marie-Pierre
1
Carton, Olivier
1
Cerone, Antonio
1
Chan, T-H. Hubert
1
Chen, Jianer
1
Csuhaj-Varjú, E., 1954-
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
Zobrazit vše ...
méně ...
Jazyk
49
angličtina
Žánr
49
elektronicke knihy
44
sborníky konferencí
3
monografie
1
eseje
Rok vydání
Od:
do:
PSH
algoritmizace
49
formální jazyky
49
informatika
49
počítače
46
matematická logika
17
programovací jazyky
více ...
13
programování
12
softwarové inženýrství
5
kryptografie
5
operační systémy
4
bioinformatika
3
algebra
3
numerická analýza
3
počítačová grafika
2
Petriho sítě
2
teorie informace
2
vyhledávání informací
1
XML
1
agenti
1
architektura výpočetních systémů
1
kombinatorika
1
matematika
1
počítačová bezpečnost
1
programovací jazyk Java
1
steganografie
1
systémy řízení báze dat
1
sémantický web
1
teorie složitosti
1
vestavěné systémy
1
vyhledávání v datech
Zobrazit vše ...
méně ...
×
Načítá se...