Zobrazuji výsledky
1 - 20
z
76
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
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
Oblast:
NOT
Čína
Autor:
NOT
Drechsler, Rolf
PSH:
operační systémy
AND
programovací jazyky
Žánr:
NOT
učebnice
AND
sborníky konferencí
Zrušit filtry
Zobrazit filtry (9)
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
Oblast:
NOT
Čína
Autor:
NOT
Drechsler, Rolf
PSH:
operační systémy
AND
programovací jazyky
Žánr:
NOT
učebnice
AND
sborníky konferencí
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
76
programovací jazyky
76
programování
softwarové inženýrství
75
informatika
74
počítače
56
matematická logika
21
více ...
formální jazyky
14
algoritmizace
12
distribuované informační systémy
10
programovací jazyk Java
9
UML
8
počítačová architektura
6
počítačová simulace
6
vestavěné systémy
6
podnikové informační systémy
5
umělá inteligence
5
informační systémy
4
počítačová bezpečnost
4
robotika
4
internet
3
XML
2
architektura výpočetních systémů
2
numerická analýza
2
objektově orientované programování
2
software
2
systémy řízení báze dat
2
testování
2
vyhledávání v datech
2
vývoj softwaru
2
méně ...
Zobrazuji výsledky
1 - 20
z
76
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
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...
Kniha
Načítá se...
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:
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:
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:
Multicore software engineering, performance, and tools : international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal,...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software composition : 5th international symposium, SC 2006, Vienna, Austria, March 25-26, 2006 : revised papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Refinement techniques in software engineering : first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
76
NTK
Médium
75
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
75
SpringerLink (online služba)
3
Kordon, Fabrice
2
Crnkovic, Ivica
2
Gibbons, Jeremy, 1966-
2
Gorton, Ian, 1962-
2
Heineman, George T.
více ...
2
Issarny, Valérie
2
Kobayashi, Naoki, 1968-
2
Lopes, Antónia
2
Schmidt, Heinz Wilhelm, 1952-
2
Stafford, Judith A.
2
Szyperski, Clemens
2
Vitek, Jan, 1966-
1
Alonso, Gustavo, 1965-
1
Alpuente, María
1
Audebaud, Philippe
1
Backhouse, Roland C., 1948-
1
Banach, Richard
1
Barthe, Gilles, 1967-
1
Becker, Steffen
1
Bensalem, Saddek
1
Bernardo, Marco, 1970-
1
Boissier, Olivier, 1963-
1
Bordini, Rafael H.
1
Bouajjani, Ahmed
1
Bošnački, Dragan, 1963-
1
Campbell, Roy Harold
1
Carro, Manuel
1
Cassez, Franck
1
Cavalcanti, Ana
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
sborníky konferencí
75
elektronicke knihy
Rok vydání
Od:
do:
PSH
operační systémy
programovací jazyky
76
programování
75
softwarové inženýrství
74
informatika
56
počítače
více ...
21
matematická logika
14
formální jazyky
12
algoritmizace
9
programovací jazyk Java
8
UML
6
počítačová simulace
6
vestavěné systémy
5
podnikové informační systémy
5
umělá inteligence
4
informační systémy
4
počítačová bezpečnost
4
robotika
3
internet
2
XML
2
architektura výpočetních systémů
2
numerická analýza
2
software
2
systémy řízení báze dat
2
testování
2
vyhledávání v datech
2
vývoj softwaru
1
Petriho sítě
1
agenti
1
algebra
Zobrazit vše ...
méně ...
×
Načítá se...