Zobrazuji výsledky
121 - 140
z
194
pro vyhledávání '
"software"
'
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
Doporučená témata:
NOT
šifrování dat
AND
počítače
AND
programovací jazyky
Autor:
NOT
Gavrilova, Marina L
Zrušit filtry
Zobrazit filtry (4)
Doporučená témata:
NOT
šifrování dat
AND
počítače
AND
programovací jazyky
Autor:
NOT
Gavrilova, Marina L
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
počítače
programovací jazyky
informatika
192
softwarové inženýrství
177
programování
101
matematická logika
72
operační systémy
48
více ...
formální jazyky
35
umělá inteligence
31
algoritmizace
28
podnikové informační systémy
26
robotika
22
software
17
UML
12
počítačová simulace
12
programovací jazyk Java
12
distribuované informační systémy
11
vestavěné systémy
11
počítačová architektura
8
počítačová bezpečnost
6
aplikační programy
4
internet
4
rozpoznávání obrazců
4
Petriho sítě
3
XML
3
algebra
3
architektura výpočetních systémů
3
cloud computing
3
hardware
3
interakce člověk-počítač
3
méně ...
Zobrazuji výsledky
121 - 140
z
194
pro vyhledávání '
"software"
'
, doba hledání: 0,14 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Unifying Theories of Programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, 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 : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on pattern languages of programming II : special issue on applying patterns
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rigorous development of complex fault-tolerant systems
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical aspects of computing - ICTAC 2014 : 11th international colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
Vydáno:
2005
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:
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
From Programs to Systems. The Systems perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
Další »
[10]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
194
NTK
Médium
191
E-kniha
2
Časopis
1
Kniha
Signatura
3
Q - Věda
Autor
191
SpringerLink (online služba)
4
Vardanega, Tullio
3
Bernardo, Marco, 1970-
3
Cavalcanti, Ana
3
Johnson, Ralph
3
Jones, C. B. (Cliff B.), 1944-
více ...
3
Katz, Shmuel
3
Margaria, Tiziana
3
Peña, Ricardo, 1950-
3
Steffen, Bernhard
3
Tanter, Éric
2
Bensalem, Saddek
2
Butler, Michael, 1967-
2
Cerioli, Maura, 1964-
2
Chiba, Shigeru
2
Damiani, Ferruccio
2
Hanus, Michael, 1959-
2
Issarny, Valérie
2
Kordon, Fabrice
2
Liu, Zhiming, 1972-
2
Merayo, Mercedes G.
2
Meyer, Bertrand, 1950-
2
Mezini, Mira, 1966-
2
Naumann, David
2
Noble, James
2
Nordio, Martin
2
Ossher, Harold
2
Ouaknine, Joël
2
Potapov, Igor
2
Sardina, Sebastian
Zobrazit vše ...
méně ...
Jazyk
194
angličtina
Žánr
191
elektronicke knihy
102
sborníky konferencí
5
monografie
3
eseje
2
časopisy
1
přednášky
více ...
1
sborníky
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
194
počítače
194
programovací jazyky
192
informatika
177
softwarové inženýrství
101
programování
72
matematická logika
více ...
48
operační systémy
35
formální jazyky
31
umělá inteligence
28
algoritmizace
26
podnikové informační systémy
22
robotika
17
software
12
UML
12
počítačová simulace
12
programovací jazyk Java
10
vestavěné systémy
6
počítačová bezpečnost
4
aplikační programy
4
internet
4
rozpoznávání obrazců
3
Petriho sítě
3
XML
3
algebra
3
architektura výpočetních systémů
3
cloud computing
3
hardware
3
interakce člověk-počítač
3
programovací jazyk C++
3
vývoj softwaru
Zobrazit vše ...
méně ...
×
Načítá se...