Zobrazuji výsledky
1 - 20
z
30
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
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
AND
programování
AND
algoritmizace
AND
formální jazyky
Oblast:
NOT
Čína
Autor:
NOT
Giese, Holger
NOT
Malyshkin, Victor
Zrušit filtry
Zobrazit filtry (8)
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
AND
programování
AND
algoritmizace
AND
formální jazyky
Oblast:
NOT
Čína
Autor:
NOT
Giese, Holger
NOT
Malyshkin, Victor
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
programování
informatika
28
matematická logika
25
počítače
20
programovací jazyky
16
více ...
softwarové inženýrství
11
umělá inteligence
11
robotika
10
operační systémy
6
diskrétní matematika
4
počítačová architektura
4
multiagentní systémy
3
počítačová bezpečnost
3
vyhledávání v datech
3
agenti
2
algebra
2
bioinformatika
2
počítačová věda
2
XML
1
architektura výpočetních systémů
1
formální verifikace
1
hardware
1
humanitní vědy
1
kombinatorika
1
logické programování
1
numerická analýza
1
ontologie (informatika)
1
počítačová simulace
1
méně ...
Zobrazuji výsledky
1 - 20
z
30
pro vyhledávání '
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
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:
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:
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:
Conceptual structures: knowledge visualization and reasoning : 16th International conference on conceptual structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
MICAI 2008: advances in artificial intelligence : 7th Mexican international conference on artificial intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 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:
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:
Implementation and application of automata : 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination models and languages : 17th IFIP WG 6.1 international conference, COORDINATION 2015, held as part of the 10th International federated conference on distributed computi...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Combinatorial algorithms : 24th international workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Artificial intelligence an international perspective : an international perspective
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in computer science - ASIAN 2009 : information security and privacy : 13th Asian computing science conference, Seoul, Korea, December 14-16, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Relations and kleene algebra in computer science : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applic...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unconventional computation : 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings
Vydáno:
2010
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
30
NTK
Médium
28
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
28
SpringerLink (online služba)
1
Abrial, Jean-Raymond, 1938-
1
Baier, Christel
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Blundo, Carlo, 1968-
více ...
1
Bouajjani, Ahmed
1
Bramer, M. A. (Max A.), 1948-
1
Calude, Cristian, 1952-
1
Coppo, Mario, 1947-
1
Datta, Anupam
1
Dawar, Anuj, 1966-
1
Drossopoulou, Sophia
1
Ebert, Christian
1
Eklund, Peter W., 1962-
1
Frühwirth, Thom, 1962-
1
Gelbukh, Alexander, 1962-
1
Glässer, Uwe, 1959-
1
Gupta, Aarti
1
Haemmerlé, Ollivier
1
Hagiya, Masami, 1957-
1
Hanus, Michael, 1959-
1
Hermanns, Holger, 1967-
1
Hirsch, Edward A.
1
Holvoet, Tom
1
Honsell, Furio
1
Jaoua, Ali Mohamed
1
Jäger, Gerhard
1
Kleine Büning, Hans
1
Laneve, Cosimo, 1962-
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
28
elektronicke knihy
26
sborníky konferencí
1
eseje
1
monografie
1
učebnice
Rok vydání
Od:
do:
PSH
30
algoritmizace
30
formální jazyky
30
programování
28
informatika
25
matematická logika
20
počítače
více ...
16
programovací jazyky
11
softwarové inženýrství
11
umělá inteligence
10
robotika
6
operační systémy
3
počítačová bezpečnost
3
vyhledávání v datech
2
agenti
2
algebra
2
bioinformatika
1
XML
1
architektura výpočetních systémů
1
hardware
1
kombinatorika
1
logické programování
1
numerická analýza
1
počítačová simulace
1
systémy řízení báze dat
1
sémantický web
1
vestavěné systémy
1
webové služby
1
zpracování obrazů
1
šifrování
1
šifrování dat
Zobrazit vše ...
méně ...
×
Načítá se...