Zobrazuji výsledky
1 - 20
z
33
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:
Filtry: 5
NOT
baroko
NOT
počítačová bezpečnost
NOT
programování
AND
počítače
AND
umělá inteligence
Jazyk:
NOT
slovinština
NOT
ukrajinština
Doporučená témata:
programovací jazyky
Zrušit filtry
Zobrazit filtry (8)
PSH:
Filtry: 5
NOT
baroko
NOT
počítačová bezpečnost
NOT
programování
AND
počítače
AND
umělá inteligence
Jazyk:
NOT
slovinština
NOT
ukrajinština
Doporučená témata:
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í:
počítače
33
programovací jazyky
umělá inteligence
33
informatika
31
matematická logika
23
softwarové inženýrství
21
robotika
20
více ...
formální jazyky
18
operační systémy
5
algoritmizace
4
agenti
2
hardware
2
multiagentní systémy
2
počítačová lingvistika
2
programovací jazyk Java
2
software
2
vyhledávání informací
2
UML
1
computer science
1
databázové systémy
1
internet
1
matematická lingvistika
1
paměťová média
1
podnikové informační systémy
1
počítačová simulace
1
počítačová věda
1
strojová lingvistika
1
strojový překlad
1
systémy řízení báze dat
1
sémantický web
1
méně ...
Zobrazuji výsledky
1 - 20
z
33
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
Modeling and using context : Second international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9-11, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science : an overview
Autor
Brookshear, J. Glenn
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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:
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:
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:
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:
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:
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Vydáno:
2005
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:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, Ma...
Vydáno:
2008
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:
Logic, language, and computation : 7th International Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected pape...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
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...
Plný text
E-kniha
Uloženo v:
Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 16th International conference, CC 2007, held as art of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
33
NTK
Médium
31
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
31
SpringerLink (online služba)
3
Margaria, Tiziana
3
Steffen, Bernhard
2
Leite, João, 1970-
2
Sardina, Sebastian
2
Torroni, Paolo
více ...
2
Vasconcelos, Wamberto
2
Winikoff, Michael
1
Aalst, Wil van der, 1966-
1
Ajmone Marsan, Marco, 1951-
1
Baldoni, Matteo
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Boella, Guido
1
Bosch, Peter
1
Bouquet, Paolo
1
Brookshear, J. Glenn
1
Brylow, Dennis
1
Czarnecki, Krzysztof, 1970-
1
Duchier, Denys
1
Duparc, Jacques, 1962-
1
Düsterhöft, Antje
1
Eder, Kerstin
1
Franceschinis, Giuliana
1
Gabelaia, David
1
Giesl, Jürgen
1
Gonthier, Georges
1
Greco, Sergio, 1955-
1
Hawblitzel, Chris
1
Hedin, Görel
Zobrazit vše ...
méně ...
Jazyk
33
angličtina
Žánr
31
elektronicke knihy
20
sborníky konferencí
1
textbooks
1
učebnice
Rok vydání
Od:
do:
PSH
počítače
33
programovací jazyky
umělá inteligence
31
informatika
23
matematická logika
21
softwarové inženýrství
více ...
20
robotika
18
formální jazyky
5
operační systémy
4
algoritmizace
2
agenti
2
hardware
2
programovací jazyk Java
2
software
2
vyhledávání informací
1
UML
1
databázové systémy
1
internet
1
matematická lingvistika
1
podnikové informační systémy
1
počítačová simulace
1
strojová lingvistika
1
strojový překlad
1
systémy řízení báze dat
1
sémantický web
1
vizualizace
1
výpočetní technika
Zobrazit vše ...
méně ...
×
Načítá se...