Zobrazuji výsledky
1 - 20
z
88
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: 5
informatika
AND
počítače
AND
softwarové inženýrství
AND
matematická logika
NOT
systémy řízení báze dat
PSH:
NOT
počítačová simulace
Zrušit filtry
Zobrazit filtry (6)
Doporučená témata:
Filtry: 5
informatika
AND
počítače
AND
softwarové inženýrství
AND
matematická logika
NOT
systémy řízení báze dat
PSH:
NOT
počítačová simulace
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í:
informatika
matematická logika
počítače
softwarové inženýrství
programovací jazyky
60
formální jazyky
30
programování
30
více ...
umělá inteligence
25
algoritmizace
16
robotika
11
operační systémy
9
podnikové informační systémy
4
počítačová architektura
4
algebra
3
programovací jazyk Java
3
software
3
architektura výpočetních systémů
2
počítačová bezpečnost
2
vestavěné systémy
2
UML
1
XML
1
aplikační programy
1
hardware
1
informační systémy
1
internet
1
ontologie (informatika)
1
počítačová algebra
1
softwarové technologie
1
sémantika programovacích jazyků
1
vizualizace
1
méně ...
Zobrazuji výsledky
1 - 20
z
88
pro vyhledávání '
"software"
'
, doba hledání: 0,10 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:
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:
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:
Foundations of
software
science and computational structures : 8th international conference...
Vydáno:
2005
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
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
88
NTK
Médium
88
E-kniha
Autor
88
SpringerLink (online služba)
2
Bozapalidis, Symeon
2
Cavalcanti, Ana
2
Cerone, Antonio
2
Meseguer, José
2
Naumann, David
více ...
2
Palamidessi, Catuscia
2
Pihlajasaari, Pekka
2
Potapov, Igor
2
Rahonis, George
2
Vardanega, Tullio
2
Wolff, Burkhart
2
Ábrahám, Erika
1
Aceto, Luca
1
Alfaro, Luca de
1
Amadio, Roberto M.
1
Araki, Keijiro
1
Arbab, Farhad
1
Baier, Christel
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Barkaoui, Kamel
1
Bensalem, Saddek
1
Berdine, Josh
1
Beringer, Lennart
1
Bernardo, Marco, 1970-
1
Beyer, Dirk
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Bjørner, Nikolaj
1
Boer, Frank S. de
Zobrazit vše ...
méně ...
Jazyk
88
angličtina
Žánr
88
elektronicke knihy
33
sborníky konferencí
2
eseje
Rok vydání
Od:
do:
PSH
88
informatika
88
matematická logika
88
počítače
88
softwarové inženýrství
60
programovací jazyky
30
formální jazyky
více ...
30
programování
25
umělá inteligence
16
algoritmizace
11
robotika
9
operační systémy
4
podnikové informační systémy
3
algebra
3
programovací jazyk Java
3
software
2
architektura výpočetních systémů
2
počítačová bezpečnost
2
vestavěné systémy
1
UML
1
XML
1
aplikační programy
1
hardware
1
informační systémy
1
internet
1
sémantika programovacích jazyků
1
vizualizace
Zobrazit vše ...
méně ...
×
Načítá se...