Zobrazuji výsledky
1 - 20
z
107
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
biografie
Doporučená témata:
NOT
internet
NOT
agenti
AND
softwarové inženýrství
Jazyk:
NOT
slovenština
Autor:
NOT
Němec, Luboš
PSH:
NOT
strojní součásti a spoje
AND
formální jazyky
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
biografie
Doporučená témata:
NOT
internet
NOT
agenti
AND
softwarové inženýrství
Jazyk:
NOT
slovenština
Autor:
NOT
Němec, Luboš
PSH:
NOT
strojní součásti a spoje
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í:
formální jazyky
107
softwarové inženýrství
informatika
106
matematická logika
102
počítače
71
programovací jazyky
66
programování
56
více ...
umělá inteligence
46
robotika
45
algoritmizace
25
operační systémy
22
diskrétní matematika
12
počítačová bezpečnost
8
algebra
7
počítačová architektura
6
počítačová simulace
6
podnikové informační systémy
5
software
4
UML
3
hardware
3
programovací jazyk Java
3
sémantický web
3
vestavěné systémy
3
vyhledávání v datech
3
Petriho sítě
2
architektura výpočetních systémů
2
distribuované informační systémy
2
logické programování
2
matematická statistika
2
numerická analýza
2
méně ...
Zobrazuji výsledky
1 - 20
z
107
pro vyhledávání '
'
, doba hledání: 0,06 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:
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
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:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
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:
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings
Vydáno:
2009
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:
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:
Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
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:
Programming languages and systems : 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
107
NTK
Médium
106
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
106
SpringerLink (online služba)
3
Liu, Zhiming, 1972-
2
Fiadeiro, José Luiz, 1961-
2
Gupta, Gopal, 1963-
2
Miller, Dale (Dale A.), 1956-
2
Paulin-Mohring, Christine, 1962-
více ...
2
Potapov, Igor
2
Vardanega, Tullio
2
Vidal, Germán
2
Voronkov, Andrei, 1959-
2
Ölveczky, Peter Csaba
1
Abdulla, Parosh Aziz
1
Amadio, Roberto M.
1
Arbab, F. (Farhad)
1
Audebaud, Philippe
1
Baier, Christel
1
Baldan, Paolo
1
Barbosa, Luís Soares
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blazy, Sandrine
1
Blume, Matthias
1
Boca, Paul
1
Boer, Frank S. de
1
Bonsangue, Marcello M. (Marcello Maria)
1
Borger, Egon
1
Bouajjani, Ahmed
1
Bowen, J. P. (Jonathan Peter), 1956-
Zobrazit vše ...
méně ...
Jazyk
107
angličtina
Žánr
106
elektronicke knihy
100
sborníky konferencí
3
eseje
2
monografie
1
učebnice
Rok vydání
Od:
do:
PSH
formální jazyky
107
softwarové inženýrství
106
informatika
102
matematická logika
71
počítače
66
programovací jazyky
více ...
56
programování
46
umělá inteligence
45
robotika
25
algoritmizace
22
operační systémy
8
počítačová bezpečnost
7
algebra
6
počítačová simulace
5
podnikové informační systémy
4
software
3
UML
3
hardware
3
programovací jazyk Java
3
sémantický web
3
vestavěné systémy
3
vyhledávání v datech
2
Petriho sítě
2
architektura výpočetních systémů
2
logické programování
2
matematická statistika
2
numerická analýza
2
programovací jazyk JavaScript
2
testování
2
vyhledávání informací
Zobrazit vše ...
méně ...
×
Načítá se...