Zobrazuji výsledky
1 - 20
z
91
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
Jazyk:
NOT
čeština
PSH:
NOT
programování
NOT
počítače
Doporučená témata:
softwarové inženýrství
AND
matematická logika
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
NOT
počítače
Doporučená témata:
softwarové inženýrství
AND
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
softwarové inženýrství
informatika
89
umělá inteligence
55
programovací jazyky
40
algoritmizace
10
algebra
7
více ...
vyhledávání v datech
7
formální jazyky
6
počítačová simulace
5
podnikové informační systémy
4
robotika
3
rozpoznávání obrazců
3
počítačová bezpečnost
2
počítačová grafika
2
systémy řízení báze dat
2
aplikovaná matematika
1
bioinformatika
1
diskrétní matematika
1
geometrie
1
hardware
1
informační systémy
1
komplexní systémy
1
komponentní technologie
1
matematická analýza
1
matematická statistika
1
matematický software
1
matematika
1
mikroprocesory
1
numerická analýza
1
méně ...
Zobrazuji výsledky
1 - 20
z
91
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:
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
: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Vydáno:
2011
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:
Software
Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Vydáno:
2013
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:
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:
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:
Hardware and
Software
: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
Software
: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Vydáno:
2014
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:
Reliable
Software
Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verification of Object-Oriented
Software
. The KeY Approach : Foreword by K. Rustan M. Leino
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal Concept Analysis : Foundations and Applications
Vydáno:
2005
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
91
NTK
Médium
90
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
90
SpringerLink (online služba)
2
Bernardo, Marco
2
Dix, Jürgen
2
Fisher, Michael
2
Ganter, Bernhard
2
Goertzel, Ben
více ...
2
Governatori, Guido
2
Jamroga, Wojtek
2
Kahl, Wolfram
2
Leite, João
2
Rudolph, Sebastian
2
Schürr, Andy
2
Torre, Leon van der
1
Alferes, Jóse Júlio
1
Anai, Hirokazu
1
Arbab, F. (Farhad)
1
Artikis, Alexander
1
Bailey, James
1
Baixeries, Jaume
1
Bansal, Nikhil
1
Barais, Olivier
1
Barbosa, Luís Soares
1
Barceló, Pablo
1
Beckert, Bernhard
1
Berghammer, Rudolf
1
Bertacco, Valeria
1
Bertossi, Leopoldo
1
Bieger, Jordi
1
Biere, Armin, 1967-
1
Binder, Walter
Zobrazit vše ...
méně ...
Jazyk
91
angličtina
Žánr
90
elektronicke knihy
13
sborníky konferencí
Rok vydání
Od:
do:
PSH
91
matematická logika
91
softwarové inženýrství
89
informatika
55
umělá inteligence
40
programovací jazyky
10
algoritmizace
více ...
7
algebra
7
vyhledávání v datech
6
formální jazyky
5
počítačová simulace
4
podnikové informační systémy
3
robotika
3
rozpoznávání obrazců
2
počítačová bezpečnost
2
počítačová grafika
2
systémy řízení báze dat
1
aplikovaná matematika
1
bioinformatika
1
geometrie
1
hardware
1
informační systémy
1
matematická analýza
1
matematická statistika
1
matematika
1
mikroprocesory
1
numerická analýza
1
operační systémy
1
protilátky
1
znalostní management
1
znalostní systémy
Zobrazit vše ...
méně ...
×
Načítá se...