Zobrazuji výsledky
1 - 20
z
28
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
PSH:
softwarové inženýrství
AND
programovací jazyk Java
Médium:
NOT
Kniha
Zrušit filtry
Zobrazit filtry (4)
Jazyk:
angličtina
PSH:
softwarové inženýrství
AND
programovací jazyk Java
Médium:
NOT
Kniha
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í:
programovací jazyk Java
28
softwarové inženýrství
28
informatika
27
počítače
23
programovací jazyky
20
programování
18
operační systémy
14
více ...
algoritmizace
5
UML
4
distribuované informační systémy
4
matematická logika
4
vestavěné systémy
4
XML
3
formální jazyky
3
informační systémy
3
internet
3
podnikové informační systémy
3
software
3
počítačová simulace
2
robotika
2
umělá inteligence
2
vyhledávání informací
2
CAE
1
Petriho sítě
1
aplikační programy
1
architektura výpočetních systémů
1
biometrie
1
návrhové vzory
1
objektově orientované jazyky
1
objektově orientované programování
1
méně ...
Zobrazuji výsledky
1 - 20
z
28
pro vyhledávání '
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
Vydáno:
2010
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, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scientific engineering of distributed Java applications : 4th international workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers
Vydáno:
2005
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:
Systems aspects in organic and pervasive computing - ARCS 2005 : 18th International conference on architecture of computing systems, Innsbruck, Austria, March 14-17, 2005 : proceed...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, Ma...
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 : 11th international conference, TACAS 2005, held as part of the joint European conferences on theory and practice...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Head First design patterns
Autor
Freeman, Eric, 1965-
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in grid and pervasive computing : second international conference, GPC 2007, Paris, France, May 2-4, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modular programming languages : 7th Joint modular languages conference, JMLC 2006, Oxford, UK, September 13-15, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
B 2007: formal specification and development in B : 7th International conference of B users, Besançon, France, January 17-19, 2007 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The common component modeling example : comparing software component models
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software, verification and testing : first International Haifa verification conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reflections on the teaching of programming : methods and implementations
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 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
28
NTK
Médium
28
E-kniha
Autor
27
SpringerLink (online služba)
1
Barthe, Gilles, 1967-
1
Bates, Bert
1
Beigl, Michael
1
Bennedsen, Jens
1
Bin, Eyal
více ...
1
Black, Andrew P., 1956-
1
Caspersen, Michael E.
1
Cérin, Christophe
1
Dwyer, Matthew, 1963-
1
D’Hondt, Theo
1
Freeman, Eric, 1965-
1
González Harbour, Michael, 1960-
1
Grégoire, Benjamin
1
Guelfi, Nicolas, 1965-
1
Halbwachs, Nicolas
1
Hanus, Michael, 1959-
1
Hendren, Laurie
1
Huisman, Marieke
1
Julliand, Jacques
1
Kermarrec, Yvon
1
Kordon, Fabrice
1
Kouchnarenko, Olga
1
Kowalewski, Stefan
1
Kölling, Michael
1
Lanet, Jean-Louis
1
Leue, Stefan, 1962-
1
Li, Kuan-Ching
1
Lightfoot, David E.
1
Lopes, Antónia
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
28
elektronicke knihy
26
sborníky konferencí
1
příručky
Rok vydání
Od:
do:
PSH
programovací jazyk Java
softwarové inženýrství
27
informatika
23
počítače
20
programovací jazyky
18
programování
více ...
14
operační systémy
5
algoritmizace
4
UML
4
matematická logika
4
vestavěné systémy
3
XML
3
formální jazyky
3
informační systémy
3
internet
3
podnikové informační systémy
3
software
2
počítačová simulace
2
robotika
2
umělá inteligence
2
vyhledávání informací
1
CAE
1
Petriho sítě
1
aplikační programy
1
architektura výpočetních systémů
1
biometrie
1
návrhové vzory
1
objektově orientované programování
1
počítačové sítě
1
programovací jazyk Ada
Zobrazit vše ...
méně ...
×
Načítá se...