Zobrazuji výsledky
1 - 20
z
270
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
Autor:
NOT
Horyna, Mojmír, 1945-2011
Doporučená témata:
NOT
zpracování obrazů
AND
softwarové inženýrství
AND
programovací jazyky
PSH:
NOT
historie
Žánr:
NOT
studie
AND
sborníky konferencí
Zrušit filtry
Zobrazit filtry (7)
Autor:
NOT
Horyna, Mojmír, 1945-2011
Doporučená témata:
NOT
zpracování obrazů
AND
softwarové inženýrství
AND
programovací jazyky
PSH:
NOT
historie
Žánr:
NOT
studie
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í:
programovací jazyky
softwarové inženýrství
informatika
239
počítače
174
programování
162
matematická logika
93
operační systémy
85
více ...
formální jazyky
64
algoritmizace
46
umělá inteligence
41
podnikové informační systémy
38
robotika
30
programovací jazyk Java
20
distribuované informační systémy
18
UML
17
software
16
počítačová simulace
15
vestavěné systémy
13
objektově orientované programování
11
počítačová bezpečnost
11
informační systémy
10
počítačová architektura
10
internet
9
Petriho sítě
6
XML
6
architektura výpočetních systémů
6
algoritmy
5
interakce člověk-počítač
5
simulace a modelování
5
vyhledávání informací
5
méně ...
Zobrazuji výsledky
1 - 20
z
270
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
UML 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Static analysis : 3. International Workshop, WSA 1993 Padova, Italy, September 22-24, 1993 : proceedings
Vydáno:
1993
Umístění:
Načítá se...
Kniha
Načítá se...
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...
Kniha
Načítá se...
Uloženo v:
Satellite events at the MoDELS 2005 conference : MoDELS 2005 international workshops, doctoral symposium, educators symposium, Montego Bay, Jamaica, October 2-7, 2005 : revised sel...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Uml modeling languages and applications : UML 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 8th international conferences, FOSSACS 2005 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Soft...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
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
Kniha
Uloženo v:
Advances in conceptual modeling : foundations and applications : ER 2007 workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007 : proceedin...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[14]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
270
NTK
Médium
241
E-kniha
29
Kniha
Signatura
29
Q - Věda
Autor
241
SpringerLink (online služba)
6
Voronkov, Andrei, 1959-
4
Bernardo, Marco, 1970-
4
Gibbons, Jeremy, 1966-
4
Vardanega, Tullio
3
Barthe, Gilles, 1967-
více ...
3
Crnkovic, Ivica
3
Kobayashi, Naoki, 1968-
3
Kordon, Fabrice
3
Liu, Zhiming, 1972-
3
Paige, Richard F.
3
Potapov, Igor
3
Sekerinski, Emil, 1963-
3
Südholt, Mario
3
Woodcock, Jim, 1956-
2
Abdulla, Parosh Aziz
2
Barbosa, Luís Soares
2
Bensalem, Saddek
2
Bin, Eyal
2
Cavalcanti, Ana
2
Chin, Wei-Ngan
2
Clarke, E. M., 1945-
2
Consel, Charles
2
Dang, Hung Van, 1950-
2
De Nicola, Rocco
2
Fages, François
2
France, Robert B.
2
Gorton, Ian, 1962-
2
Hanus, Michael, 1959-
2
Havelund, Klaus, 1955-
Zobrazit vše ...
méně ...
Jazyk
270
angličtina
Žánr
sborníky konferencí
241
elektronicke knihy
Rok vydání
Od:
do:
PSH
270
programovací jazyky
270
softwarové inženýrství
239
informatika
174
počítače
162
programování
93
matematická logika
více ...
85
operační systémy
64
formální jazyky
46
algoritmizace
41
umělá inteligence
38
podnikové informační systémy
30
robotika
20
programovací jazyk Java
17
UML
16
software
15
počítačová simulace
12
vestavěné systémy
11
počítačová bezpečnost
10
informační systémy
10
objektově orientované programování
9
internet
6
Petriho sítě
6
XML
6
architektura výpočetních systémů
5
interakce člověk-počítač
5
simulace a modelování
5
vyhledávání informací
4
algebra
4
cloud computing
4
hardware
Zobrazit vše ...
méně ...
×
Načítá se...