Zobrazuji výsledky
1 - 20
z
55
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
PSH:
softwarové inženýrství
AND
matematická logika
Doporučená témata:
robotika
Zrušit filtry
Zobrazit filtry (3)
PSH:
softwarové inženýrství
AND
matematická logika
Doporučená témata:
robotika
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í:
informatika
55
matematická logika
55
robotika
softwarové inženýrství
55
umělá inteligence
55
formální jazyky
52
počítače
29
více ...
programování
24
programovací jazyky
23
algoritmizace
12
vyhledávání v datech
9
diskrétní matematika
7
informační systémy
6
internet
6
sémantický web
6
operační systémy
5
UML
3
algebra
3
databázové systémy
3
počítačová bezpečnost
3
agenti
2
hardware
2
logické programování
2
multiagentní systémy
2
ontologie (informatika)
2
počítačová architektura
2
počítačová simulace
2
programovací jazyk Java
2
simulace a modelování
2
software
2
méně ...
Zobrazuji výsledky
1 - 20
z
55
pro vyhledávání '
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
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:
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:
Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Combinatorics on words : 10th international conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings
Vydáno:
2015
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:
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:
Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-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:
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:
Formal concept analysis : 11th international conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint solving and language processing : 7th international workshop, CSLP 2012, Orléans, France, September 13-14, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers
Vydáno:
2013
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:
Automated deduction in geometry : 9th international workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers
Vydáno:
2013
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:
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Vydáno:
2012
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
55
NTK
Médium
54
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
54
SpringerLink (online služba)
3
Voronkov, Andrei, 1959-
2
Embley, David W.
2
Gupta, Gopal, 1963-
2
Miller, Dale (Dale A.), 1956-
2
Olivé, Antoni, 1946-
více ...
2
Ram, Sudha, 1959-
2
Vidal, Germán
1
Andres, Frederic
1
Bach, Joscha
1
Beckert, Bernhard
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blazy, Sandrine
1
Blume, Matthias
1
Boella, Guido
1
Calimeri, Francesco
1
Cellier, Peggy
1
Chen, Peter P. S., 1947-
1
Clarke, E. M., 1945-
1
Cohen, Ernie
1
Czarnecki, Krzysztof, 1970-
1
Davis, Martin, 1928-2023
1
De Nicola, Rocco
1
Delcambre, Lois, 1950-
1
Delgrande, James P.
1
Distel, Felix
1
Domenach, Florent
1
Duchier, Denys
1
Edelkamp, Stefan, 1969-
Zobrazit vše ...
méně ...
Jazyk
55
angličtina
Žánr
54
elektronicke knihy
51
sborníky konferencí
2
eseje
Rok vydání
Od:
do:
PSH
55
informatika
matematická logika
55
robotika
softwarové inženýrství
55
umělá inteligence
52
formální jazyky
více ...
29
počítače
24
programování
23
programovací jazyky
12
algoritmizace
9
vyhledávání v datech
6
informační systémy
6
internet
6
sémantický web
5
operační systémy
3
UML
3
algebra
3
databázové systémy
3
počítačová bezpečnost
2
agenti
2
hardware
2
logické programování
2
počítačová simulace
2
programovací jazyk Java
2
simulace a modelování
2
software
2
systémy řízení báze dat
2
vyhledávání informací
1
algebraická topologie
1
architektura výpočetních systémů
Zobrazit vše ...
méně ...
×
Načítá se...