Zobrazuji výsledky
1 - 20
z
129
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
Doporučená témata:
Filtry: 4
NOT
šifrování dat
NOT
chytré mobilní telefony
AND
počítače
AND
matematická logika
Autor:
NOT
Gavrilova, Marina L
Médium:
E-kniha
Zrušit filtry
Zobrazit filtry (6)
Doporučená témata:
Filtry: 4
NOT
šifrování dat
NOT
chytré mobilní telefony
AND
počítače
AND
matematická logika
Autor:
NOT
Gavrilova, Marina L
Médium:
E-kniha
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
počítače
informatika
127
softwarové inženýrství
94
programovací jazyky
72
formální jazyky
46
umělá inteligence
42
více ...
programování
38
algoritmizace
32
robotika
17
operační systémy
11
aplikační programy
7
počítačová simulace
6
systémy řízení báze dat
6
diskrétní matematika
5
podnikové informační systémy
5
software
5
algebra
4
počítačová architektura
4
programovací jazyk Java
4
bioinformatika
3
UML
2
architektura výpočetních systémů
2
hardware
2
informační systémy
2
internet
2
kryptografie
2
operační analýza
2
počítačová bezpečnost
2
rozhodování
2
méně ...
Zobrazuji výsledky
1 - 20
z
129
pro vyhledávání '
"software"
'
, doba hledání: 0,09 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:
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:
Fundamentals of
Software
Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing
Software
and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Vydáno:
2011
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:
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:
Software
engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings
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...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 11th International Conference on Formal Engineering...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic methodology and
software
technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computational structures : 11th international conference...
Vydáno:
2008
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:
Foundations of
Software
Science and Computation Structures : 16th International Conference, FOSSACS...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
Software
Science and Computational Structures : 12th International Conference...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
Software
: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
Software
Science and Computation Structures : 17th International Conference, FOSSACS...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
Další »
[7]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
129
NTK
Médium
E-kniha
Autor
129
SpringerLink (online služba)
3
Dediu, Adrian-Horia
3
Kutrib, Martin
3
Martín-Vide, Carlos
3
Meseguer, José
3
Queiroz, Ruy J. G. B. de
více ...
2
Bozapalidis, Symeon
2
Cavalcanti, Ana
2
Cerone, Antonio
2
Holzer, Markus
2
Jürgensen, Helmut, 1942-
2
Narukawa, Yasuo
2
Naumann, David
2
Okhotin, Alexander
2
Palamidessi, Catuscia
2
Pihlajasaari, Pekka
2
Potapov, Igor
2
Rahonis, George
2
Reis, Rogério
2
Rozenberg, Grzegorz
2
Schewe, Klaus-Dieter
2
Torra, Vicenç
2
Vardanega, Tullio
2
Wolff, Burkhart
2
Ábrahám, Erika
1
Abrial, Jean-Raymond, 1938-
1
Aceto, Luca
1
Ait Ameur, Yamine
1
Alfaro, Luca de
1
Amadio, Roberto M.
Zobrazit vše ...
méně ...
Jazyk
129
angličtina
Žánr
129
elektronicke knihy
48
sborníky konferencí
3
eseje
Rok vydání
Od:
do:
PSH
129
matematická logika
129
počítače
127
informatika
94
softwarové inženýrství
72
programovací jazyky
46
formální jazyky
více ...
42
umělá inteligence
38
programování
32
algoritmizace
17
robotika
11
operační systémy
7
aplikační programy
6
počítačová simulace
6
systémy řízení báze dat
5
podnikové informační systémy
5
software
4
algebra
4
programovací jazyk Java
3
bioinformatika
2
UML
2
architektura výpočetních systémů
2
hardware
2
informační systémy
2
internet
2
kryptografie
2
operační analýza
2
počítačová bezpečnost
2
rozhodování
2
testování
2
vestavěné systémy
Zobrazit vše ...
méně ...
×
Načítá se...