Zobrazuji výsledky
1 - 20
z
176
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
Žánr:
NOT
elektronické časopisy
NOT
encyklopedie
Jazyk:
NOT
polština
Doporučená témata:
programování
AND
matematická logika
Zrušit filtry
Zobrazit filtry (5)
Žánr:
NOT
elektronické časopisy
NOT
encyklopedie
Jazyk:
NOT
polština
Doporučená témata:
programování
AND
matematická logika
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
programování
informatika
163
softwarové inženýrství
156
programovací jazyky
124
umělá inteligence
61
počítače
38
více ...
algoritmizace
32
formální jazyky
27
operační systémy
14
software
10
robotika
9
počítačová simulace
8
aplikační programy
5
podnikové informační systémy
5
počítačová architektura
4
algebra
2
architektura výpočetních systémů
2
automatizované řešení problémů
2
diskrétní matematika
2
symbolické výpočty
2
teorie důkazů
2
testování
2
XML
1
agenti
1
filozofie
1
hardware
1
informační systémy
1
internet
1
lineární a multilineární algebra
1
méně ...
Zobrazuji výsledky
1 - 20
z
176
pro vyhledávání '
"software"
'
, doba hledání: 0,14 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Vydáno:
2012
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:
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:
Testing
software
and systems : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings
Vydáno:
2010
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:
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:
Software
engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and
software
engineering : 13th International conference on formal engineering...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic Methodology and
Software
Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 14th International Conference on Formal Engineering...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 16th International Conference on Formal Engineering...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic Methodology and
Software
Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Vydáno:
2008
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:
Software
Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and
Software
Engineering : 17th International Conference on Formal Engineering...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Empirical
software
engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing Techniques in
Software
Engineering : Second Pernambuco Summer School on
Software
...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
Další »
[9]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
176
NTK
Médium
167
E-kniha
9
Kniha
Signatura
9
Q - Věda
Autor
167
SpringerLink (online služba)
5
Voronkov, Andrei
3
Horváth, Zoltán
3
Meseguer, José
3
Plasmeijer, Rinus
3
Veith, Helmut
více ...
3
Zsók, Viktória
2
Armando, Alessandro
2
Baral, Chitta
2
Beckert, Bernhard
2
Berardi, Stefano
2
Butler, Michael
2
Cavalcanti, Ana
2
Damiani, Ferruccio
2
Dershowitz, Nachum
2
Giannakopoulou, Dimitra
2
Hage, Jurriaan
2
Johnson, Michael
2
Konev, Boris
2
Kroening, Daniel
2
Lämmel, Ralf
2
Martí-Oliet, Narciso
2
Merz, Stephan
2
Morazán, Marco T
2
Nordio, Martin
2
Qadeer, Shaz
2
Ringeissen, Christophe
2
Rybalchenko, Andrey
2
Sagiv, Mooly
2
Salaün, Gwen
Zobrazit vše ...
méně ...
Jazyk
176
angličtina
Žánr
167
elektronicke knihy
42
sborníky konferencí
2
eseje
1
sborníky
1
učebnice
Rok vydání
Od:
do:
PSH
176
matematická logika
176
programování
163
informatika
156
softwarové inženýrství
124
programovací jazyky
61
umělá inteligence
více ...
38
počítače
32
algoritmizace
27
formální jazyky
14
operační systémy
10
software
9
robotika
8
počítačová simulace
5
aplikační programy
5
podnikové informační systémy
2
algebra
2
architektura výpočetních systémů
2
automatizované řešení problémů
2
symbolické výpočty
2
teorie důkazů
2
testování
1
XML
1
agenti
1
filozofie
1
hardware
1
informační systémy
1
internet
1
lineární a multilineární algebra
1
logika
1
matematika
Zobrazit vše ...
méně ...
×
Načítá se...