Zobrazuji výsledky
1 - 20
z
43
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:
Filtry: 4
NOT
elektronické obvody
NOT
internet
NOT
programovací jazyky
AND
formální jazyky
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta technologie ochrany prostředí
Doporučená témata:
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
encyklopedie
NOT
učebnice vysokých škol
NOT
kongresy
PSH:
Filtry: 4
NOT
elektronické obvody
NOT
internet
NOT
programovací jazyky
AND
formální jazyky
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta technologie ochrany prostředí
Doporučená témata:
softwarové inženýrství
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
43
softwarové inženýrství
informatika
42
matematická logika
40
umělá inteligence
27
robotika
26
programování
19
více ...
algoritmizace
13
diskrétní matematika
10
počítače
10
operační systémy
8
algebra
5
počítačová architektura
3
počítačová simulace
3
sémantický web
3
vyhledávání v datech
3
UML
2
agenti
2
databázové systémy
2
hardware
2
logické programování
2
multiagentní systémy
2
numerická analýza
2
počítačová bezpečnost
2
algebraická topologie
1
architektura výpočetních systémů
1
automaty
1
bioinformatika
1
diferenciální a diferenční algebra
1
diferenciální algebra
1
méně ...
Zobrazuji výsledky
1 - 20
z
43
pro vyhledávání '
'
, doba hledání: 0,10 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic
Autor
Parkes, Alan P., 1955-
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for components and objects : 11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
Vydáno:
2013
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:
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
SDL 2005: model driven : 12th international SDL gorum, Grimstad, Norway, June 20-23, 2005 : proceedings
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:
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:
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 10th international conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated reasoning : 6th international joint conference, IJCAR 2012, Manchester, UK, June 26-29, 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:
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:
Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings
Vydáno:
2013
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
43
NTK
Médium
42
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
42
SpringerLink (online služba)
2
Fiadeiro, José Luiz, 1961-
1
Beckert, Bernhard
1
Blazy, Sandrine
1
Boer, Frank S. de
1
Bonsangue, Marcello M. (Marcello Maria)
více ...
1
Bouajjani, Ahmed
1
Calimeri, Francesco
1
Cerone, Antonio
1
Delgrande, James P.
1
Domenach, Florent
1
Dovier, Agostino, 1965-
1
Edelkamp, Stefan, 1969-
1
Ehrig, Hartmut, 1944-
1
Engels, Gregor
1
Etessami, Kousha
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fleuriot, Jacques, 1972-
1
Furbach, Ulrich, 1948-
1
Giachino, Elena
1
Giese, Holger, 1970-
1
Giese, Martin
1
Godo, Lluís
1
Gramlich, Bernhard, -2014
1
Gupta, Aarti
1
Gupta, Gopal, 1963-
1
Haveraaen, Magne
1
Horimoto, Katsuhisa
1
Hurd, Joe, 1975-
Zobrazit vše ...
méně ...
Jazyk
43
angličtina
Žánr
42
elektronicke knihy
39
sborníky konferencí
1
eseje
1
monografie
1
sborníky
1
učebnice
Rok vydání
Od:
do:
PSH
formální jazyky
43
softwarové inženýrství
42
informatika
40
matematická logika
27
umělá inteligence
26
robotika
více ...
19
programování
13
algoritmizace
10
počítače
8
operační systémy
5
algebra
3
počítačová simulace
3
sémantický web
3
vyhledávání v datech
2
UML
2
agenti
2
databázové systémy
2
hardware
2
logické programování
2
numerická analýza
2
počítačová bezpečnost
1
algebraická topologie
1
architektura výpočetních systémů
1
automaty
1
bioinformatika
1
diferenciální a diferenční algebra
1
formální logika
1
geometrie
1
kategorie abstraktních strojů
1
kombinatorika
Zobrazit vše ...
méně ...
×
Načítá se...