Zobrazuji výsledky
1 - 20
z
26
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í
Autor:
NOT
Oquendo, Flavio, 1958-
Doporučená témata:
hardware
Zrušit filtry
Zobrazit filtry (4)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Autor:
NOT
Oquendo, Flavio, 1958-
Doporučená témata:
hardware
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í:
hardware
informatika
17
software
16
počítače
13
softwarové inženýrství
10
algoritmizace
7
umělá inteligence
7
více ...
robotika
6
formální jazyky
5
operační systémy
5
matematická logika
4
mikroprocesory
4
programování
4
testy
4
aplikační programy
3
architektura výpočetních systémů
3
interakce člověk-počítač
3
internet
3
numerická analýza
3
programovací jazyky
3
testování
3
verifikace programu
3
agenti
2
informační systémy
2
multiagentní systémy
2
počítačová architektura
2
počítačová bezpečnost
2
počítačová grafika
2
počítačová simulace
2
vyhledávání v datech
2
méně ...
Zobrazuji výsledky
1 - 20
z
26
pro vyhledávání '
"software"
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Embedded
software
and systems : third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Embedded
software
and systems : second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Embedded
software
and systems : first international conference, ICESS 2004, Hangzhou, China, December 9-10, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Embedded
software
and systems : third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007 : proceedings
Vydáno:
2007
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
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
Kniha
Uloženo v:
Hardware and
software
: verification and testing : 5th International Haifa verification conference...
Vydáno:
2011
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:
Hardware and
software
: verification and testing : 7th International Haifa verification conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Model-based testing of reactive systems : advanced lectures
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Entwicklung von Mission Critical Systemen für industrielle Anwendungen : Engineeringmethoden & Technologien : Tagung Langen, 4. und 5. November 2003
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advanced multimedia content processing : first international conference, AMCP'98, Osaka, Japan, November 9-11, 1998 : proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Pairing-based cryptography - Pairing 2013 : 6th international conference, Beijing, China, November 22-24, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Knowledge-based intelligent information and engineering systems : 12th international conference, KES 2008, Zagreb, Croatia, September 3-5, 2008 : proceedings.
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Neural information processing : 13th international conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006 : proceedings.
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Knowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005 : proceedings.
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Vydáno:
2005
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
26
NTK
Médium
17
E-kniha
9
Kniha
Signatura
5
Q - Věda
4
T - Technologie
Autor
17
SpringerLink (online služba)
2
Albada, Geert Dick van
2
Bin, Eyal
2
Bubak, Marian
2
Dongarra, Jack, 1950-
2
Howlett, Robert J., 1954-
více ...
2
Jain, L. C., 1946-
2
Lee, Yann-Hang, 1952-
2
Sloot, Peter M. A., 1956-
2
Ur, Shmuel
2
Yang, Laurence Tianruo
2
Ziv, Avi
1
Bernardo, Marco, 1970-
1
Bertels, Koen
1
Biere, Armin, 1967-
1
Broy, Manfred, 1949-
1
Cao, Jiannong
1
Cao, Zhenfu
1
Cardoso, Joao M. P.
1
Chan, Lai-Wan
1
Cimatti, Alessandro
1
Dou, Yong
1
Eder, Kerstin
1
Etessami, Kousha
1
Gruber, Ralf, 1943-
1
Hirsch, Edward A.
1
Joller, Josef M.
1
Khosla, Rajiv, 1959-
1
Kim, Heung-Nam
1
Kim, Jong
Zobrazit vše ...
méně ...
Jazyk
26
angličtina
1
němčina
Žánr
sborníky konferencí
17
elektronicke knihy
Rok vydání
Od:
do:
PSH
26
hardware
17
informatika
16
software
13
počítače
10
softwarové inženýrství
7
algoritmizace
více ...
7
umělá inteligence
6
robotika
5
formální jazyky
5
operační systémy
4
matematická logika
4
mikroprocesory
4
programování
4
testy
3
aplikační programy
3
architektura výpočetních systémů
3
interakce člověk-počítač
3
internet
3
numerická analýza
3
programovací jazyky
3
testování
3
verifikace programu
2
agenti
2
informační systémy
2
počítačová bezpečnost
2
počítačová grafika
2
počítačová simulace
2
vyhledávání v datech
2
zpracování dat
1
UML
Zobrazit vše ...
méně ...
×
Načítá se...