Zobrazuji výsledky
1 - 20
z
21
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í
Doporučená témata:
programovací jazyky
AND
software
Zrušit filtry
Zobrazit filtry (4)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Doporučená témata:
programovací jazyky
AND
software
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í:
programovací jazyky
software
softwarové inženýrství
16
informatika
14
počítače
12
programování
8
zpracování dat
5
více ...
algoritmizace
4
formální jazyky
3
matematická logika
3
podnikové informační systémy
3
robotika
3
umělá inteligence
3
Petriho sítě
2
algebra
2
hardware
2
operační systémy
2
programovací jazyk Java
2
vestavěné systémy
2
UML
1
aplikační programy
1
architektura výpočetních systémů
1
databázové systémy
1
distribuované informační systémy
1
matematické programování
1
počítačová věda
1
programovací jazyk C
1
softwarové technologie
1
vývoj softwaru
1
méně ...
Zobrazuji výsledky
1 - 20
z
21
pro vyhledávání '
"software"
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
architecture : 9th European conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 16th international conference, FASE 2013, held...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 5th International Haifa verification conference...
Vydáno:
2011
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:
Foundations of
software
science and computation structures : 7th international conferences, FOSSACS...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of
software
science and computation structures : 9th international conference, FOSSACS...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Reliable
software
technologies - Ada-Europe 2009 : 14th Ada-Europe international conference, Brest, France, June 8-12, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable
software
technologies - Ada-Europe 2015 : 20th Ada-Europe International conference...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
OpenSHMEM and related technologies : experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected paper...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 19th international conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination models and languages : 6th international conference, Coordination 2004, Pisa Italy, February 24-27, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Coordination models and languages : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Coordination models and languages : 9th international conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Practical aspects of declarative languages : 12th international symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Multiset processing : mathematical, computer science, and molecular computing points of view
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
21
NTK
Médium
14
E-kniha
7
Kniha
Signatura
7
Q - Věda
Autor
14
SpringerLink (online služba)
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Biere, Armin, 1967-
1
Brennan, Rob
1
Calude, Cristian, 1952-
více ...
1
Carro, Manuel
1
Ciancarini, Paolo, 1959-
1
Cortellessa, Vittorio
1
Crnkovic, Ivica
1
De Nicola, Rocco
1
Devillers, Raymond
1
Ferrari, Gianluigi
1
Flammini, Francesco
1
Fleck, Joel
1
Gorentla Venkata, Manjunath
1
Hawblitzel, Chris
1
Imam, Neena
1
Jacquet, Jean-Marie
1
Kermarrec, Yvon
1
Kordon, Fabrice
1
Kowalewski, Stefan
1
Lang, Frédéric
1
Lopez, M. Graham
1
Meer, Sven van der
1
Meredith, Greg
1
Meyer, Bertrand, 1950-
1
Miller, Dale (Dale A.), 1956-
1
Mirandola, Raffaela
1
Murphy, Amy L., 1973-
Zobrazit vše ...
méně ...
Jazyk
21
angličtina
Žánr
sborníky konferencí
14
elektronicke knihy
Rok vydání
Od:
do:
PSH
21
programovací jazyky
21
software
16
softwarové inženýrství
14
informatika
12
počítače
8
programování
více ...
5
zpracování dat
4
algoritmizace
3
formální jazyky
3
matematická logika
3
podnikové informační systémy
3
robotika
3
umělá inteligence
2
Petriho sítě
2
algebra
2
hardware
2
operační systémy
2
programovací jazyk Java
2
vestavěné systémy
1
UML
1
aplikační programy
1
architektura výpočetních systémů
1
databázové systémy
1
matematické programování
1
programovací jazyk C
1
vývoj softwaru
Zobrazit vše ...
méně ...
×
Načítá se...