Zobrazuji výsledky
1 - 20
z
160
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:
softwarové inženýrství
AND
matematická logika
Zrušit filtry
Zobrazit filtry (5)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Médium:
NOT
Časopis
Doporučená témata:
softwarové inženýrství
AND
matematická logika
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í:
matematická logika
softwarové inženýrství
informatika
148
formální jazyky
104
programovací jazyky
93
počítače
84
programování
76
více ...
umělá inteligence
62
robotika
51
algoritmizace
37
operační systémy
29
diskrétní matematika
11
algebra
8
podnikové informační systémy
7
počítačová bezpečnost
7
vyhledávání v datech
7
informační systémy
6
internet
6
počítačová simulace
6
sémantický web
5
vestavěné systémy
5
algoritmy
4
počítačová architektura
4
počítačová věda
4
programovací jazyk Java
4
simulace a modelování
4
software
4
UML
3
databázové systémy
3
hardware
3
méně ...
Zobrazuji výsledky
1 - 20
z
160
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
Computer science logic : 18th international workshop, CSL 2004 : 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Computer science logic : 19th international workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
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:
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:
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
160
NTK
Médium
146
E-kniha
14
Kniha
Signatura
14
Q - Věda
Autor
146
SpringerLink (online služba)
4
Voronkov, Andrei, 1959-
3
Kobayashi, Naoki, 1968-
3
Liu, Zhiming, 1972-
3
Potapov, Igor
3
Vidal, Germán
více ...
3
Woodcock, Jim, 1956-
2
Beckert, Bernhard
2
Biere, Armin, 1967-
2
Bjørner, Nikolaj
2
Boer, Frank S. de
2
Diekert, Volker, 1955-
2
Durand, Bruno
2
Embley, David W.
2
Fiadeiro, José Luiz, 1961-
2
George, Chris W.
2
Giannakopoulou, Dimitra
2
Gibbons, Jeremy, 1966-
2
Gupta, Gopal, 1963-
2
Habib, M. (Michel), 1951-
2
Havelund, Klaus, 1955-
2
Henzinger, T. A., 1962-
2
Horimoto, Katsuhisa
2
Hurd, Joe, 1975-
2
Kroening, Daniel
2
Liu, Zhiming, 1961-
2
Melham, T. F. (Tom F.), 1960-
2
Miller, Dale (Dale A.), 1956-
2
Olivé, Antoni, 1946-
2
Paulin-Mohring, Christine, 1962-
Zobrazit vše ...
méně ...
Jazyk
160
angličtina
Žánr
sborníky konferencí
147
elektronicke knihy
Rok vydání
Od:
do:
PSH
160
matematická logika
160
softwarové inženýrství
148
informatika
104
formální jazyky
93
programovací jazyky
84
počítače
více ...
76
programování
62
umělá inteligence
51
robotika
37
algoritmizace
29
operační systémy
8
algebra
7
podnikové informační systémy
7
počítačová bezpečnost
7
vyhledávání v datech
6
informační systémy
6
internet
6
počítačová simulace
5
sémantický web
4
programovací jazyk Java
4
simulace a modelování
4
software
3
UML
3
databázové systémy
3
hardware
3
matematická statistika
3
systémy řízení báze dat
3
sémantika programovacích jazyků
3
vestavěné systémy
2
agenti
Zobrazit vše ...
méně ...
×
Načítá se...