Zobrazuji výsledky
1 - 20
z
142
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:
Filtry: 4
NOT
simulace a modelování
NOT
konstrukce
AND
programovací jazyky
AND
matematická logika
Oblast:
NOT
Slovensko
PSH:
počítače
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
biografie
Doporučená témata:
Filtry: 4
NOT
simulace a modelování
NOT
konstrukce
AND
programovací jazyky
AND
matematická logika
Oblast:
NOT
Slovensko
PSH:
počítače
AND
programovací 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í:
informatika
142
matematická logika
počítače
142
programovací jazyky
softwarové inženýrství
99
formální jazyky
85
programování
75
více ...
umělá inteligence
46
algoritmizace
37
robotika
34
operační systémy
17
počítačová bezpečnost
6
vyhledávání v datech
6
diskrétní matematika
5
agenti
4
multiagentní systémy
4
podnikové informační systémy
4
počítačová simulace
4
systémy řízení báze dat
4
algebra
3
počítačová architektura
3
programovací jazyk Java
3
software
3
vestavěné systémy
3
Petriho sítě
2
XML
2
aplikační programy
2
distribuované informační systémy
2
ontologie (informatika)
2
počítačová lingvistika
2
méně ...
Zobrazuji výsledky
1 - 20
z
142
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
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
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:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
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:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
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:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
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:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
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:
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
E-kniha
Uloženo v:
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-based safety and assessment : 4th international symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advanced functional programming : 6th international school, AFP 2008, Heijen, The Netherlands, May 2008 : revised lectures
Vydáno:
2009
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
142
NTK
Médium
141
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
141
SpringerLink (online služba)
5
Potapov, Igor
3
Ong, Luke
2
Bensalem, Saddek
2
Cavalcanti, Ana
2
Havelund, Klaus, 1955-
více ...
2
Henzinger, T. A., 1962-
2
Legay, Axel
2
Liu, Zhiming, 1972-
2
Löwe, Benedikt
2
Naumann, David
2
Plasmeijer, Rinus
2
Sarukkai, Sundar
2
Vardanega, Tullio
2
Wolff, Burkhart
1
Abdulla, Parosh Aziz
1
Aceto, Luca
1
Alfaro, Luca de
1
Amadio, Roberto M.
1
Araki, Keijiro
1
Arbab, Farhad
1
Archibald, Margaret
1
Artemov, Sergei
1
Arun-Kumar, S
1
Audebaud, Philippe
1
Bacardit, Jaume
1
Baier, Christel
1
Banâtre, Jean-Pierre
1
Barkaoui, Kamel
1
Berardi, Stefano
Zobrazit vše ...
méně ...
Jazyk
142
angličtina
Žánr
141
elektronicke knihy
87
sborníky konferencí
4
eseje
3
monografie
1
sborníky
Rok vydání
Od:
do:
PSH
142
informatika
142
matematická logika
počítače
programovací jazyky
99
softwarové inženýrství
85
formální jazyky
více ...
75
programování
46
umělá inteligence
37
algoritmizace
34
robotika
17
operační systémy
6
počítačová bezpečnost
6
vyhledávání v datech
4
agenti
4
podnikové informační systémy
4
počítačová simulace
4
systémy řízení báze dat
3
algebra
3
programovací jazyk Java
3
software
3
vestavěné systémy
2
Petriho sítě
2
XML
2
aplikační programy
2
programovací jazyk JavaScript
2
sémantický web
2
sémantika programovacích jazyků
2
vyhledávání informací
1
SQL
1
UML
Zobrazit vše ...
méně ...
×
Načítá se...