Zobrazuji výsledky
1 - 20
z
413
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
Autor:
NOT
Hlavsa, Václav, 1905-1986
NOT
Rocha, Ana Maria A. C
Žánr:
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
matematická logika
Zrušit filtry
Zobrazit filtry (7)
Autor:
NOT
Hlavsa, Václav, 1905-1986
NOT
Rocha, Ana Maria A. C
Žánr:
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
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
394
programovací jazyky
246
programování
200
umělá inteligence
165
počítače
146
více ...
formální jazyky
112
algoritmizace
75
robotika
54
operační systémy
31
počítačová simulace
17
vyhledávání v datech
16
algebra
15
podnikové informační systémy
14
počítačová bezpečnost
11
diskrétní matematika
10
informační systémy
9
internet
8
sémantický web
6
počítačová architektura
5
systémy řízení báze dat
5
vestavěné systémy
5
algoritmy
4
bioinformatika
4
databázové systémy
4
matematická statistika
4
počítačová věda
4
programovací jazyk Java
4
rozpoznávání obrazců
4
méně ...
Zobrazuji výsledky
1 - 20
z
413
pro vyhledávání '
'
, doba hledání: 0,13 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proc...
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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:
Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA USA, August 20-23, 2002 : proceedings
Vydáno:
2002
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:
Formal methods in computer science
Autor
Wang, Jiacun, 1963-
Vydáno:
2020
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:
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
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:
Formal concept analysis : foundations and applications
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Rukopis
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:
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:
1
2
3
4
5
6
7
8
9
10
11
Další »
[21]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
413
NTK
Médium
394
E-kniha
18
Kniha
1
Rukopis
Signatura
19
Q - Věda
Autor
394
SpringerLink (online služba)
5
Meseguer, José
5
Potapov, Igor
5
Voronkov, Andrei
5
Voronkov, Andrei, 1959-
4
Plasmeijer, Rinus
více ...
4
Vardanega, Tullio
3
Beckert, Bernhard
3
Bjørner, Nikolaj
3
Cavalcanti, Ana
3
Giannakopoulou, Dimitra
3
Horimoto, Katsuhisa
3
Horváth, Zoltán
3
Kahl, Wolfram
3
Kobayashi, Naoki, 1968-
3
Kroening, Daniel
3
Legay, Axel
3
Liu, Shaoying
3
Liu, Zhiming, 1972-
3
Martí-Oliet, Narciso
3
Ong, Luke
3
Rahonis, George
3
Rozenberg, Grzegorz
3
Schürr, Andy
3
Seidl, Helmut
3
Veith, Helmut
3
Vidal, Germán
3
Woodcock, Jim, 1956-
3
Zsók, Viktória
3
Ölveczky, Peter Csaba
Zobrazit vše ...
méně ...
Jazyk
413
angličtina
Žánr
395
elektronicke knihy
158
sborníky konferencí
4
eseje
3
sborníky
1
monografie
1
učebnice
více ...
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
413
matematická logika
413
softwarové inženýrství
394
informatika
246
programovací jazyky
200
programování
165
umělá inteligence
více ...
146
počítače
112
formální jazyky
75
algoritmizace
54
robotika
31
operační systémy
17
počítačová simulace
16
vyhledávání v datech
15
algebra
14
podnikové informační systémy
11
počítačová bezpečnost
9
informační systémy
8
internet
6
sémantický web
5
systémy řízení báze dat
4
bioinformatika
4
databázové systémy
4
matematická statistika
4
programovací jazyk Java
4
rozpoznávání obrazců
4
simulace a modelování
4
software
4
sémantika programovacích jazyků
3
Petriho sítě
3
UML
Zobrazit vše ...
méně ...
×
Načítá se...