Zobrazuji výsledky
1 - 20
z
416
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
Digitalizace:
NOT
Obohaceno
Doporučená témata:
softwarové inženýrství
AND
matematická logika
Zrušit filtry
Zobrazit filtry (3)
Digitalizace:
NOT
Obohaceno
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
397
programovací jazyky
246
programování
200
umělá inteligence
168
počítače
146
více ...
formální jazyky
113
algoritmizace
75
robotika
55
operační systémy
31
počítačová simulace
17
vyhledávání v datech
16
algebra
15
podnikové informační systémy
14
diskrétní matematika
11
počítačová bezpečnost
11
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
416
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
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:
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:
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:
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:
Fundamental approaches to software engineering : 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated deduction in geometry : 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 11th International Haifa verification conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24-26, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models of strategic reasoning : logics, games, and communities
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of software science and computation structures : 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of s...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software Engineering for Collective Autonomic Systems : The ASCENS Approach
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings
Vydáno:
2015
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
416
NTK
Médium
397
E-kniha
18
Kniha
1
Rukopis
Signatura
19
Q - Věda
Autor
397
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
416
angličtina
Žánr
398
elektronicke knihy
160
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
416
matematická logika
416
softwarové inženýrství
397
informatika
246
programovací jazyky
200
programování
168
umělá inteligence
více ...
146
počítače
113
formální jazyky
75
algoritmizace
55
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...