Zobrazuji výsledky
1 - 20
z
28
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
učebnice
AND
sborníky konferencí
Doporučená témata:
programovací jazyky
AND
algoritmizace
Zrušit filtry
Zobrazit filtry (4)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Doporučená témata:
programovací jazyky
AND
algoritmizace
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í:
algoritmizace
programovací jazyky
softwarové inženýrství
27
informatika
25
počítače
19
programování
15
matematická logika
11
více ...
operační systémy
10
formální jazyky
7
algebra
5
počítačová architektura
4
software
4
robotika
3
umělá inteligence
3
vestavěné systémy
3
architektura výpočetních systémů
2
distribuované informační systémy
2
počítačová grafika
2
programovací jazyk Java
2
rozpoznávání obrazců
2
Petriho sítě
1
UML
1
XML
1
benchmarking
1
big data
1
cloud computing
1
diskrétní matematika
1
hluboké učení
1
informační systémy
1
internet
1
méně ...
Zobrazuji výsledky
1 - 20
z
28
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
Architectures for adaptive
software
systems : 5th International conference on the quality...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Search-based
software
engineering : 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings
Vydáno:
2014
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:
Hardware and
software
, verification and testing : first International Haifa verification conference...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and
software
engineering : 12th International conference on formal engineering...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
, verification and testing : second International Haifa verification...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computation structures : 7th international conferences, FOSSACS...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of
software
science and computation structures : 9th international conference, FOSSACS...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of
software
science and computation structures : 8th international conferences, FOSSACS...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Reliable
software
technologiey - Ada-Europe 2010 : 15th Ada-Europe international conference...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2005: foundations of
software
technology and theoretical computer science : 25th...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29...
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:
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 : 17th international conference, TACAS 2011, held as part of the Joint European conferences on theory and practice of
software
, ETAPS...
Vydáno:
2011
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:
Modelling autonomic communication environments : 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings
Vydáno:
2010
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:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
28
NTK
Médium
25
E-kniha
3
Kniha
Signatura
3
Q - Věda
Autor
25
SpringerLink (online služba)
2
Bin, Eyal
2
Ur, Shmuel
1
Abdulla, Parosh Aziz
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
více ...
1
Baier, Christel
1
Bartocci, Ezio
1
Berghammer, Rudolf, 1952-
1
Brennan, Rob
1
Chen, Yunji, 1983-
1
Clarke, E. M., 1945-
1
Di Martino, Beniamino
1
Dong, Jin Song
1
Dongarra, Jack, 1950-
1
Drossopoulou, Sophia
1
Fleck, Joel
1
Gorentla Venkata, Manjunath
1
Gorton, Ian, 1962-
1
Guo, Minyi
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Hofmeister, Christine
1
Honsell, Furio
1
Ienne, Paolo
1
Imam, Neena
1
Issarny, Valérie
1
Jaoua, Ali Mohamed
1
Ji, Qing
1
Le Goues, Claire
Zobrazit vše ...
méně ...
Jazyk
28
angličtina
Žánr
sborníky konferencí
25
elektronicke knihy
Rok vydání
Od:
do:
PSH
28
algoritmizace
28
programovací jazyky
27
softwarové inženýrství
25
informatika
19
počítače
15
programování
více ...
11
matematická logika
10
operační systémy
7
formální jazyky
5
algebra
4
software
3
robotika
3
umělá inteligence
3
vestavěné systémy
2
architektura výpočetních systémů
2
počítačová grafika
2
programovací jazyk Java
2
rozpoznávání obrazců
1
Petriho sítě
1
UML
1
XML
1
big data
1
cloud computing
1
hluboké učení
1
informační systémy
1
internet
1
paralelní algoritmy
1
podnikové informační systémy
1
počítačové vidění
1
programovací jazyk C
Zobrazit vše ...
méně ...
×
Načítá se...