Zobrazuji výsledky
1 - 20
z
23
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
Žánr:
NOT
učebnice středních škol
Jazyk:
NOT
slovenština
NOT
arabština
PSH:
programovací jazyky
AND
informatika
AND
programovací jazyk Java
Zrušit filtry
Zobrazit filtry (6)
Žánr:
NOT
učebnice středních škol
Jazyk:
NOT
slovenština
NOT
arabština
PSH:
programovací jazyky
AND
informatika
AND
programovací jazyk Java
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í:
informatika
23
programovací jazyk Java
23
programovací jazyky
23
počítače
21
softwarové inženýrství
20
programování
16
operační systémy
12
více ...
UML
4
distribuované informační systémy
4
matematická logika
4
podnikové informační systémy
4
algoritmizace
3
formální jazyky
3
vestavěné systémy
3
XML
2
architektura výpočetních systémů
2
robotika
2
software
2
umělá inteligence
2
CAE
1
Petriho sítě
1
hardware
1
kryptografie
1
numerická analýza
1
objektově orientované jazyky
1
počítačová architektura
1
počítačová bezpečnost
1
počítačové sítě
1
programovací jazyk Ada
1
programovací jazyk C++
1
méně ...
Zobrazuji výsledky
1 - 20
z
23
pro vyhledávání '
'
, doba hledání: 0,07 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:
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:
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:
Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
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:
Languages and compilers for high performance computing : 17th international workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent advances in parallel virtual machine and message passing interface : 12th European PVM/MPI users’ group meeting, Sorrento, Italy, September 18-21, 2005 : proceedings
Vydáno:
2005
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:
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:
Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European conferences, on theory and practice of software, ETAPS...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
ECOOP 2005 - object-oriented programming : 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings
Vydáno:
2007
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:
ECOOP 2011 - object-oriented programming : 25th european conference, Lancaster, Uk, July 25-29, 2011 : proceedings
Vydáno:
2011
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
23
NTK
Médium
23
E-kniha
Autor
23
SpringerLink (online služba)
1
Aldini, Alessandro
1
Barthe, Gilles, 1967-
1
Bin, Eyal
1
Black, Andrew P., 1956-
1
Di Martino, Beniamino
více ...
1
Dongarra, Jack, 1950-
1
Dwyer, Matthew, 1963-
1
D’Hondt, Theo
1
Eigenmann, Rudolf, 1955-
1
González Harbour, Michael, 1960-
1
Gorrieri, Roberto, 1962-
1
Grégoire, Benjamin
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
Kranzlmüller, Dieter, 1969-
1
Lanet, Jean-Louis
1
Leue, Stefan, 1962-
1
Li, Zhiyuan, 1954-
1
Lightfoot, David E.
1
Lopes, Antónia
1
Merino, Pedro
1
Mezini, Mira, 1966-
1
Midkiff, Samuel P. (Samuel Pratt), 1954-
Zobrazit vše ...
méně ...
Jazyk
23
angličtina
Žánr
23
elektronicke knihy
23
sborníky konferencí
Rok vydání
Od:
do:
PSH
informatika
programovací jazyk Java
programovací jazyky
21
počítače
20
softwarové inženýrství
16
programování
více ...
12
operační systémy
4
UML
4
matematická logika
4
podnikové informační systémy
3
algoritmizace
3
formální jazyky
3
vestavěné systémy
2
XML
2
architektura výpočetních systémů
2
robotika
2
software
2
umělá inteligence
1
CAE
1
Petriho sítě
1
hardware
1
kryptografie
1
numerická analýza
1
počítačová bezpečnost
1
počítačové sítě
1
programovací jazyk Ada
1
programovací jazyk C++
1
programovací jazyk JavaScript
1
vizualizace
1
vývoj softwaru
Zobrazit vše ...
méně ...
×
Načítá se...