Zobrazuji výsledky
161 - 180
z
940
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í
Autor:
SpringerLink (online služba)
Zrušit filtry
Zobrazit filtry (4)
Jazyk:
NOT
čeština
PSH:
NOT
programování
Doporučená témata:
softwarové inženýrství
Autor:
SpringerLink (online služba)
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í:
softwarové inženýrství
informatika
912
počítače
293
umělá inteligence
257
programovací jazyky
223
algoritmizace
211
podnikové informační systémy
166
více ...
matematická logika
152
počítačová simulace
144
systémy řízení báze dat
82
operační systémy
80
vyhledávání v datech
72
aplikační programy
66
počítačová bezpečnost
48
numerická analýza
47
počítačová grafika
38
výpočetní technika
37
robotika
31
šifrování dat
30
software
29
elektrotechnika
27
informační systémy
27
internet
27
formální jazyky
24
interakce člověk-počítač
19
rozpoznávání obrazců
16
uživatelská rozhraní
15
mikroprocesory
13
bioinformatika
12
zpracování obrazů
11
méně ...
Zobrazuji výsledky
161 - 180
z
940
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
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of
Software
, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering interactive systems : second conference on Human-centered
software
engineering, HCSE...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and
software
systems, SFM 2010, Bertinoro, Italy...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Applications of evolutionary computation : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings.
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Applied computer science for GGOS observatories : communication, coordination and automation of future geodetic infrastructures
Autor
Neidhardt, Alexander N. J.
Vydáno:
2017
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebra and coalgebra in computer acience : 5th international conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Performance testing : an ISTQB certified tester foundation level specialist certification review
Autor
Yorkston, Keith
Vydáno:
2021
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
OpenSHMEM and related technologies : experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected paper...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
4
5
6
7
8
9
10
11
12
13
14
Další »
[47]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
940
NTK
Médium
940
E-kniha
Signatura
3
Q - Věda
Autor
SpringerLink (online služba)
34
Gervasi, Osvaldo
33
Taniar, David
26
Murgante, Beniamino
23
Apduhan, Bernady O
14
Albada, Geert Dick van
více ...
14
Gavrilova, Marina L
14
Misra, Sanjay
12
Dongarra, Jack
12
Sloot, Peter M. A
11
Laganà, Antonio, 1944-
11
Mun, Youngsong
11
Palanque, Philippe
11
Winckler, Marco
8
Rocha, Ana Maria A. C
7
Kumar, Vipin
7
Tan, C. J. Kenneth
6
Alexander, Michael, 1972-
6
Boer, Frank S. de
6
Dongarra, Jack, 1950-
6
Guo, Minyi
6
Koucheryavy, Yevgeni
6
Margaria, Tiziana
6
Rozenberg, Grzegorz
6
Torre, Carmelo
6
Wang, Guojun
6
Winikoff, Michael
6
Yang, Laurence T
6
Yang, Laurence Tianruo
6
Zomaya, Albert
Zobrazit vše ...
méně ...
Jazyk
940
angličtina
Žánr
940
elektronicke knihy
144
sborníky konferencí
7
příručky
5
monografie
4
sborníky
3
eseje
Rok vydání
Od:
do:
PSH
940
softwarové inženýrství
912
informatika
293
počítače
257
umělá inteligence
223
programovací jazyky
211
algoritmizace
více ...
166
podnikové informační systémy
152
matematická logika
144
počítačová simulace
82
systémy řízení báze dat
80
operační systémy
72
vyhledávání v datech
66
aplikační programy
48
počítačová bezpečnost
47
numerická analýza
38
počítačová grafika
37
výpočetní technika
31
robotika
30
šifrování dat
29
software
27
elektrotechnika
27
informační systémy
27
internet
24
formální jazyky
19
interakce člověk-počítač
16
rozpoznávání obrazců
13
mikroprocesory
12
bioinformatika
11
zpracování obrazů
10
UML
Zobrazit vše ...
méně ...
×
Načítá se...