Zobrazuji výsledky
121 - 140
z
152
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
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
AND
operační systémy
PSH:
NOT
překladače
NOT
algoritmizace
NOT
UNIX
Zrušit filtry
Zobrazit filtry (6)
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
AND
operační systémy
PSH:
NOT
překladače
NOT
algoritmizace
NOT
UNIX
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í:
operační systémy
programovací jazyky
informatika
112
programování
111
softwarové inženýrství
109
počítače
72
matematická logika
17
více ...
software
15
distribuované informační systémy
12
formální jazyky
11
podnikové informační systémy
11
programovací jazyk Java
11
počítačová simulace
10
umělá inteligence
10
UML
8
počítačová bezpečnost
8
internet
7
vestavěné systémy
7
Apple iOS (operační systém)
6
informační systémy
6
objektově orientované programování
6
aplikační programy
5
numerická analýza
5
chytré mobilní telefony
4
robotika
4
aplikační software
3
databázové systémy
3
mobilní aplikace
3
počítačová architektura
3
počítačová grafika
3
méně ...
Zobrazuji výsledky
121 - 140
z
152
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Research in Attacks, Intrusions, and Defenses : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated technology for verification and analysis : 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Architecting Systems with Trustworthy Components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and software engineering : 7th International conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Middleware 2007 : ACM/IFIP/USENIX 8th International middleware conference, Newport Beach, CA, USA, November 26-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in conceptual modeling - applications and challenges : ER 2010 workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010 : proce...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
ECOOP 2010 - object-oriented programming : 24th European conference, Maribor, Slovenia, June 21-25, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe international conference on reliable software technologies, Venice, Italy, June 16-20, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Objects, models, components, patterns : 48th international conference, TOOLS 2010, Málaga, Spain, June 28-July 2, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advanced Topics in Exception Handling Techniques
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 1...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octob...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Android for absolute beginners : getting started with mobile apps development using the Android Java SDK
Autor
Allen, Grant
Vydáno:
2021
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
151
NTK
1
VŠCHT
Médium
118
E-kniha
32
Kniha
2
Rukopis
Signatura
32
Q - Věda
4
T - Technologie
Autor
118
SpringerLink (online služba)
9
Boer, Frank S. de
7
Bonsangue, Marcello M
4
Graf, Susanne
3
Kordon, Fabrice
3
Neuburg, Matt, 1954-
více ...
3
Roever, Willem-Paul de
2
Barthe, Gilles
2
Crnkovic, Ivica
2
Gibbons, Jeremy, 1966-
2
Gorrieri, Roberto, 1962-
2
Heineman, George T.
2
Huisman, Marieke
2
Jeannot, Emmanuel
2
Johnson, Ralph
2
Jones, C. B. (Cliff B.), 1944-
2
Joshi, Rajeev
2
Kobayashi, Naoki, 1968-
2
Lanet, Jean-Louis
2
Lemos, Rogério de, 1961-
2
Lopes, Antónia
2
Margaria, Tiziana
2
Namyst, Raymond
2
Noble, James
2
Roman, Jean
2
Romanovsky, Alexander
2
Schmidt, Heinz Wilhelm, 1952-
2
Stafford, Judith A.
2
Steffen, Bernhard
2
Szyperski, Clemens
Zobrazit vše ...
méně ...
Jazyk
138
angličtina
14
čeština
Žánr
119
elektronicke knihy
72
sborníky konferencí
21
příručky
7
monografie
3
vysokoškolská skripta
1
disertace
více ...
1
eseje
1
příručky, manuály, atd.
1
normy
1
sborníky
1
textbooks
1
učebnice
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
151
operační systémy
151
programovací jazyky
112
informatika
109
programování
109
softwarové inženýrství
72
počítače
více ...
17
matematická logika
15
software
11
formální jazyky
11
podnikové informační systémy
11
programovací jazyk Java
10
počítačová simulace
10
umělá inteligence
8
UML
8
počítačová bezpečnost
7
internet
7
vestavěné systémy
6
informační systémy
5
aplikační programy
5
numerická analýza
5
objektově orientované programování
4
chytré mobilní telefony
4
robotika
3
databázové systémy
3
mobilní aplikace
3
počítačová grafika
3
počítačové sítě
3
vývoj softwaru
2
MacOS
2
architektura výpočetních systémů
Zobrazit vše ...
méně ...
Digitalizace
1
Digitalizováno
VŠCHT ústavy
1
Ústav matematiky, informatiky a kybernetiky - budova A
×
Načítá se...