Zobrazuji výsledky
1 - 20
z
88
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
Žánr:
NOT
učebnice
AND
sborníky konferencí
Autor:
NOT
Oquendo, Flavio, 1958-
PSH:
matematická logika
Zrušit filtry
Zobrazit filtry (4)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Autor:
NOT
Oquendo, Flavio, 1958-
PSH:
matematická logika
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í:
matematická logika
88
informatika
77
softwarové inženýrství
65
formální jazyky
57
počítače
48
programovací jazyky
48
programování
42
více ...
umělá inteligence
35
robotika
27
algoritmizace
21
operační systémy
17
software
15
diskrétní matematika
7
podnikové informační systémy
6
počítačová simulace
5
algebra
4
aplikační programy
4
hardware
4
informační systémy
4
internet
4
programovací jazyk Java
4
vyhledávání v datech
4
kryptografie
3
počítačová architektura
3
systémy řízení báze dat
3
sémantický web
3
testování
3
vyhledávání informací
3
UML
2
automatizované řešení problémů
2
méně ...
Zobrazuji výsledky
1 - 20
z
88
pro vyhledávání '
"software"
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
composition : 12th international conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
software
encryption : 12th international workshop, FSE 2005, Paris, France, February 21-23, 2005 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
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:
Software
language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : proceedings
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:
Testing
software
and systems : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings
Vydáno:
2010
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:
Fundamental approaches to
software
engineering : 18th international conference, FASE 2015, held...
Vydáno:
2015
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:
Hardware and
software
: verification and testing : 11th International Haifa verification conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and
software
engineering : 13th International conference on formal engineering...
Vydáno:
2011
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:
Verified
software
: theories, tools and experiments : 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal verification of object-oriented
software
: international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
88
NTK
Médium
79
E-kniha
9
Kniha
Signatura
9
Q - Věda
Autor
79
SpringerLink (online služba)
2
Beckert, Bernhard
2
Bekki, Daisuke
2
Berardi, Stefano
2
Biere, Armin, 1967-
2
Boer, Frank S. de
více ...
2
Damiani, Ferruccio
2
Jürgensen, Helmut, 1942-
2
Kroening, Daniel
2
Kutrib, Martin
2
Liu, Zhiming, 1972-
2
Okhotin, Alexander
2
Reis, Rogério
2
Vardanega, Tullio
1
Altenkirch, Thorsten, 1962-
1
Amadio, Roberto M.
1
Armando, Alessandro
1
Baier, Christel
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Barais, Olivier
1
Barbosa, Luís Soares
1
Bartocci, Ezio
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Binder, Walter
1
Birkedal, Lars
1
Bjørner, Nikolaj
1
Bloem, Roderick
1
Boca, Paul
1
Bodden, Eric
Zobrazit vše ...
méně ...
Jazyk
88
angličtina
Žánr
sborníky konferencí
79
elektronicke knihy
Rok vydání
Od:
do:
PSH
matematická logika
77
informatika
65
softwarové inženýrství
57
formální jazyky
48
počítače
48
programovací jazyky
více ...
42
programování
35
umělá inteligence
27
robotika
21
algoritmizace
17
operační systémy
15
software
6
podnikové informační systémy
5
počítačová simulace
4
algebra
4
aplikační programy
4
hardware
4
informační systémy
4
internet
4
programovací jazyk Java
4
vyhledávání v datech
3
kryptografie
3
systémy řízení báze dat
3
sémantický web
3
testování
3
vyhledávání informací
2
UML
2
automatizované řešení problémů
2
symbolické výpočty
2
teorie důkazů
Zobrazit vše ...
méně ...
×
Načítá se...