Zobrazuji výsledky
1 - 20
z
57
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
AND
sborníky konferencí
Médium:
NOT
Časopis
Doporučená témata:
NOT
konstrukce
AND
algoritmizace
Autor:
NOT
Feitelson, Dror G., 1960-
PSH:
NOT
umělá inteligence
AND
formální jazyky
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Médium:
NOT
Časopis
Doporučená témata:
NOT
konstrukce
AND
algoritmizace
Autor:
NOT
Feitelson, Dror G., 1960-
PSH:
NOT
umělá inteligence
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
formální jazyky
57
informatika
54
matematická logika
51
počítače
44
diskrétní matematika
22
programování
17
více ...
programovací jazyky
16
softwarové inženýrství
15
kryptografie
5
numerická analýza
4
operační systémy
4
počítačová bezpečnost
4
algebra
3
bioinformatika
3
distribuované informační systémy
3
kombinatorika
3
počítačová architektura
3
počítačová biologie
3
počítačová grafika
3
počítačová věda
3
vyhledávání informací
3
systémy řízení báze dat
2
teorie informace
2
výpočetní geometrie
2
Petriho sítě
1
XML
1
algoritmy
1
architektura výpočetních systémů
1
formální verifikace
1
méně ...
Zobrazuji výsledky
1 - 20
z
57
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:
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:
Combinatorial algorithms : 25th international workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers
Vydáno:
2015
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:
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:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models of strategic reasoning : logics, games, and communities
Vydáno:
2015
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:
Theory and practice of algorithms in (Computer) systems : first International ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings
Vydáno:
2011
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
57
NTK
Médium
54
E-kniha
3
Kniha
Signatura
3
Q - Věda
Autor
54
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
Reis, Rogério
2
Restivo, Antonio, 1945-
2
Thomas, Wolfgang, 1947-
1
Abdulla, Parosh Aziz
1
Agrawal, Manindra, 1966-
1
Arumugam, S., 1943-
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Blundo, Carlo, 1968-
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
Coppo, Mario, 1947-
1
Csuhaj-Varjú, E., 1954-
1
Datta, Anupam
Zobrazit vše ...
méně ...
Jazyk
57
angličtina
Žánr
sborníky konferencí
54
elektronicke knihy
Rok vydání
Od:
do:
PSH
57
algoritmizace
formální jazyky
54
informatika
51
matematická logika
44
počítače
17
programování
více ...
16
programovací jazyky
15
softwarové inženýrství
5
kryptografie
4
numerická analýza
4
operační systémy
4
počítačová bezpečnost
3
algebra
3
bioinformatika
3
kombinatorika
3
počítačová grafika
3
vyhledávání informací
2
systémy řízení báze dat
2
teorie informace
2
výpočetní geometrie
1
Petriho sítě
1
XML
1
architektura výpočetních systémů
1
informační systémy
1
internet
1
komunikační síť
1
logické programování
1
management životního prostředí
1
počítačová simulace
1
programovací jazyk Java
Zobrazit vše ...
méně ...
×
Načítá se...