Zobrazuji výsledky
1 - 20
z
665
pro vyhledávání '
'
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
Autor:
NOT
Hlavsa, Václav, 1905-1986
NOT
Abrahamsson, Pekka
AND
SpringerLink (online služba)
Žánr:
NOT
monografie
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
programování
Zrušit filtry
Zobrazit filtry (9)
Autor:
NOT
Hlavsa, Václav, 1905-1986
NOT
Abrahamsson, Pekka
AND
SpringerLink (online služba)
Žánr:
NOT
monografie
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
programování
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
programování
softwarové inženýrství
informatika
656
programovací jazyky
353
počítače
269
operační systémy
218
matematická logika
198
více ...
algoritmizace
188
umělá inteligence
153
podnikové informační systémy
61
formální jazyky
59
robotika
59
počítačová simulace
58
internet
50
informační systémy
45
distribuované informační systémy
30
počítačová bezpečnost
29
počítačová architektura
25
aplikační programy
18
programovací jazyk Java
18
vyhledávání v datech
18
UML
17
numerická analýza
17
vestavěné systémy
16
software
15
vyhledávání informací
15
systémy řízení báze dat
14
architektura výpočetních systémů
12
multiagentní systémy
12
agenti
10
méně ...
Zobrazuji výsledky
1 - 20
z
665
pro vyhledávání '
'
, doba hledání: 0,10 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Web reasoning and rule systems : second International conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Practical aspects of declarative languages : 16th international symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed computing and internet technology : third international conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 : proceedings
Vydáno:
2006
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:
Algorithms and architectures for parallel processing : ICA3PP international workshops and symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Architectures for adaptive software systems : 5th International conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 : procee...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Solving software challenges for exascale : International conference on exascale applications and software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Beyond loop level parallelism in OpenMP: accelerators, tasking and more : 6th Internationan workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[34]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
665
NTK
Médium
665
E-kniha
Signatura
3
Q - Věda
Autor
SpringerLink (online služba)
7
Voronkov, Andrei
6
Reussner, Ralf
5
Alexander, Michael, 1972-
5
Horváth, Zoltán
5
Karczewski, Konrad
více ...
5
Kordon, Fabrice
5
Lämmel, Ralf
5
Plasmeijer, Rinus
5
Sirjani, Marjan
5
Voronkov, Andrei, 1959-
5
Zsók, Viktória
4
Barthe, Gilles
4
Beckert, Bernhard
4
Boer, Frank S. de
4
Butler, Michael
4
Cavalcanti, Ana
4
Chapman, Barbara, 1954-
4
Crnkovic, Ivica
4
Dongarra, Jack
4
Giese, Holger
4
Malyškin, Viktor Èmmanuilovič
4
Matson, Eric
4
Parashar, Manish, 1967-
4
Pfahl, Dietmar, 1963-
4
Romanovsky, Alexander, 1954-
4
Rumpe, Bernhard
4
Saraiva, João
4
Szyperski, Clemens
4
Vardanega, Tullio
Zobrazit vše ...
méně ...
Jazyk
665
angličtina
Žánr
665
elektronicke knihy
311
sborníky konferencí
8
sborníky
4
příručky
2
přednášky
1
eseje
více ...
1
normy
1
učebnice
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
665
programování
665
softwarové inženýrství
656
informatika
353
programovací jazyky
269
počítače
218
operační systémy
více ...
198
matematická logika
188
algoritmizace
153
umělá inteligence
61
podnikové informační systémy
59
formální jazyky
59
robotika
58
počítačová simulace
50
internet
45
informační systémy
29
počítačová bezpečnost
18
aplikační programy
18
programovací jazyk Java
18
vyhledávání v datech
17
UML
17
numerická analýza
15
software
15
vestavěné systémy
15
vyhledávání informací
14
systémy řízení báze dat
12
architektura výpočetních systémů
10
agenti
10
cloud computing
10
interakce člověk-počítač
9
mikroprocesory
Zobrazit vše ...
méně ...
×
Načítá se...