Zobrazuji výsledky
1 - 20
z
65
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
NOT
chytré mobilní telefony
AND
formální jazyky
Autor:
NOT
Gavrilova, Marina L
Jazyk:
NOT
slovanské jazyky, ostatní
Médium:
E-kniha
Zrušit filtry
Zobrazit filtry (6)
Doporučená témata:
NOT
šifrování dat
NOT
chytré mobilní telefony
AND
formální jazyky
Autor:
NOT
Gavrilova, Marina L
Jazyk:
NOT
slovanské jazyky, ostatní
Médium:
E-kniha
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í:
formální jazyky
informatika
65
matematická logika
62
softwarové inženýrství
49
počítače
48
programovací jazyky
37
programování
29
více ...
umělá inteligence
28
robotika
27
algoritmizace
19
operační systémy
14
diskrétní matematika
8
software
7
hardware
5
počítačová architektura
5
počítačová simulace
5
informační systémy
4
programovací jazyk Java
4
UML
3
algebra
3
aplikační programy
3
internet
3
podnikové informační systémy
3
systémy řízení báze dat
3
sémantický web
3
testování
3
architektura výpočetních systémů
2
bioinformatika
2
informační paměť
2
kryptografie
2
méně ...
Zobrazuji výsledky
1 - 20
z
65
pro vyhledávání '
"software"
'
, doba hledání: 0,18 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Specification, algebra, and
software
: essays dedicated to Kokichi Futatsugi
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependable
software
engineering : theories, tools, and applications : first international symposium...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools for practical
software
verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 17th international conference, FASE 2014, held...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 8th International Haifa verification conference...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic methodology and
software
technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computational structures : 11th international conference...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computation structures : 18th international conference, FOSSACS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computational structures : 8th international conference...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
software
: theories, tools, experiments : 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agent-oriented
software
engineering VI : 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rigorous methods for
software
construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computational structures : 15th international conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for eternal networked
software
systems : 11th International school on formal methods...
Vydáno:
2011
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
65
NTK
Médium
E-kniha
Autor
65
SpringerLink (online služba)
2
Jürgensen, Helmut, 1942-
2
Kutrib, Martin
2
Liu, Zhiming, 1972-
2
Okhotin, Alexander
2
Reis, Rogério
více ...
2
Vardanega, Tullio
1
Abrial, Jean-Raymond, 1938-
1
Amadio, Roberto M.
1
Arbab, F. (Farhad)
1
Baier, Christel
1
Barbosa, Luís Soares
1
Beckert, Bernhard
1
Bekki, Daisuke
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Boca, Paul
1
Boer, Frank S. de
1
Bonsangue, Marcello M. (Marcello Maria)
1
Borger, Egon
1
Bouajjani, Ahmed
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Bravetti, Mario, 1971-
1
Butler, Michael, 1967-
1
Cerone, Antonio
1
Ciobanu, Gabriel
1
Cohen, Ernie
Zobrazit vše ...
méně ...
Jazyk
65
angličtina
Žánr
65
elektronicke knihy
60
sborníky konferencí
3
eseje
1
učebnice
Rok vydání
Od:
do:
PSH
65
formální jazyky
65
informatika
62
matematická logika
49
softwarové inženýrství
48
počítače
37
programovací jazyky
více ...
29
programování
28
umělá inteligence
27
robotika
19
algoritmizace
14
operační systémy
7
software
5
hardware
5
počítačová simulace
4
informační systémy
4
programovací jazyk Java
3
UML
3
algebra
3
aplikační programy
3
internet
3
podnikové informační systémy
3
systémy řízení báze dat
3
sémantický web
3
testování
2
architektura výpočetních systémů
2
bioinformatika
2
kryptografie
2
vestavěné systémy
2
vyhledávání informací
2
vyhledávání v datech
Zobrazit vše ...
méně ...
×
Načítá se...