Zobrazuji výsledky
1 - 20
z
30
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
encyklopedie
PSH:
programovací jazyky
AND
robotika
NOT
počítačová grafika
Autor:
NOT
Dastani, Mehdi
NOT
Peña, Ricardo
Doporučená témata:
softwarové inženýrství
NOT
vyhledávání v datech
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
encyklopedie
PSH:
programovací jazyky
AND
robotika
NOT
počítačová grafika
Autor:
NOT
Dastani, Mehdi
NOT
Peña, Ricardo
Doporučená témata:
softwarové inženýrství
NOT
vyhledávání v datech
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
30
programovací jazyky
30
robotika
30
softwarové inženýrství
umělá inteligence
30
počítače
28
matematická logika
22
více ...
formální jazyky
21
programování
18
operační systémy
6
algoritmizace
4
software
3
hardware
2
podnikové informační systémy
2
počítačová architektura
2
počítačová simulace
2
programovací jazyk Java
2
Petriho sítě
1
UML
1
agenti
1
architektura výpočetních systémů
1
distribuované informační systémy
1
multiagentní systémy
1
numerická analýza
1
objektově orientované programování
1
počítačová algebra
1
počítačová bezpečnost
1
vizualizace
1
vyhledávání informací
1
méně ...
Zobrazuji výsledky
1 - 20
z
30
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
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:
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:
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:
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:
Software engineering for self-adaptive systems
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
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:
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings
Vydáno:
2010
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:
Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revise...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 : revised selected papers
Vydáno:
2008
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:
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:
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:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
30
NTK
Médium
30
E-kniha
Autor
30
SpringerLink (online služba)
3
Voronkov, Andrei, 1959-
2
Leite, João, 1970-
2
Torroni, Paolo
1
Abdulla, Parosh Aziz
1
Barthe, Gilles, 1967-
více ...
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blume, Matthias
1
Boella, Guido
1
Cheng, Betty H. C.
1
Clarke, E. M., 1945-
1
Cohen, Ernie
1
Czarnecki, Krzysztof, 1970-
1
Davis, Martin, 1928-2023
1
De Nicola, Rocco
1
Duchier, Denys
1
Eder, Kerstin
1
Fages, François
1
Fehnker, Ansgar
1
Fermüller, Christian G., 1963-
1
Flanagan, Cormac
1
Gabbrielli, Maurizio
1
Giese, Holger, 1970-
1
Gupta, Gopal, 1963-
1
Hawblitzel, Chris
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Honsell, Furio
Zobrazit vše ...
méně ...
Jazyk
30
angličtina
Žánr
30
elektronicke knihy
28
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
30
informatika
programovací jazyky
robotika
30
softwarové inženýrství
30
umělá inteligence
28
počítače
více ...
22
matematická logika
21
formální jazyky
18
programování
6
operační systémy
4
algoritmizace
3
software
2
hardware
2
podnikové informační systémy
2
počítačová simulace
2
programovací jazyk Java
1
Petriho sítě
1
UML
1
agenti
1
architektura výpočetních systémů
1
numerická analýza
1
objektově orientované programování
1
počítačová bezpečnost
1
vizualizace
1
vyhledávání informací
Zobrazit vše ...
méně ...
×
Načítá se...