Zobrazuji výsledky
1 - 20
z
145
pro vyhledávání '
"software"
'
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
Jazyk:
NOT
čeština
PSH:
NOT
programování
Doporučená témata:
softwarové inženýrství
AND
matematická logika
NOT
vyhledávání v datech
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
Doporučená témata:
softwarové inženýrství
AND
matematická logika
NOT
vyhledávání v datech
Hlavní strana
Vyhledávání: "software"
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
144
programovací jazyky
77
umělá inteligence
67
počítače
61
formální jazyky
22
více ...
algoritmizace
20
robotika
10
podnikové informační systémy
8
počítačová simulace
7
algebra
3
počítačová bezpečnost
3
rozpoznávání obrazců
3
software
3
systémy řízení báze dat
3
bioinformatika
2
hardware
2
operační systémy
2
počítačová grafika
2
programovací jazyk Java
2
UML
1
aplikační programy
1
aplikovaná matematika
1
diskrétní matematika
1
distribuované informační systémy
1
geometrie
1
informační systémy
1
komplexní systémy
1
komponentní technologie
1
méně ...
Zobrazuji výsledky
1 - 20
z
145
pro vyhledávání '
"software"
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
composition : 12th international conference, SC 2013, Budapest, Hungary, June 19, 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:
Specification, algebra, and
software
: essays dedicated to Kokichi Futatsugi
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model Checking
Software
: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependable
software
engineering : theories, tools, and applications : first international symposium...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 18th international conference, FASE 2015, held...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 17th international conference, FASE 2014, held...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 8th International Haifa verification conference...
Vydáno:
2013
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:
Hardware and
Software
: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
Software
: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computation structures : 18th international conference, FOSSACS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods in
Software
and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
Software
Science and Computational Structures : 10th International Conference...
Vydáno:
2007
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
145
NTK
Médium
144
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
144
SpringerLink (online služba)
3
Rozenberg, Grzegorz
2
Bernardo, Marco
2
Biere, Armin, 1967-
2
Bjørner, Nikolaj
2
Boer, Frank S. de
více ...
2
Cerone, Antonio
2
Dix, Jürgen
2
Fisher, Michael
2
Ganter, Bernhard
2
Goertzel, Ben
2
Governatori, Guido
2
Jamroga, Wojtek
2
Kahl, Wolfram
2
Legay, Axel
2
Leite, João
2
Liu, Zhiming
2
Meseguer, José
2
Naumann, David
2
Palamidessi, Catuscia
2
Pfenning, Frank
2
Pihlajasaari, Pekka
2
Potapov, Igor
2
Rahonis, George
2
Schürr, Andy
2
Seidl, Helmut
2
Torre, Leon van der
2
Vardanega, Tullio
2
Winter, Michael
2
Ábrahám, Erika
Zobrazit vše ...
méně ...
Jazyk
145
angličtina
Žánr
144
elektronicke knihy
30
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
145
matematická logika
145
softwarové inženýrství
144
informatika
77
programovací jazyky
67
umělá inteligence
61
počítače
více ...
22
formální jazyky
20
algoritmizace
10
robotika
8
podnikové informační systémy
7
počítačová simulace
3
algebra
3
počítačová bezpečnost
3
rozpoznávání obrazců
3
software
3
systémy řízení báze dat
2
bioinformatika
2
hardware
2
operační systémy
2
počítačová grafika
2
programovací jazyk Java
1
UML
1
aplikační programy
1
aplikovaná matematika
1
geometrie
1
informační systémy
1
kryptografie
1
matematická analýza
1
matematická statistika
1
mikroprocesory
Zobrazit vše ...
méně ...
×
Načítá se...