Zobrazuji výsledky
1 - 20
z
30
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
elektronicke knihy
AND
sborníky konferencí
Doporučená témata:
programování
Zrušit filtry
Zobrazit filtry (3)
Žánr:
NOT
elektronicke knihy
AND
sborníky konferencí
Doporučená témata:
programování
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í:
programování
software
16
softwarové inženýrství
12
programovací jazyky
8
matematická logika
7
umělá inteligence
7
informatika
5
více ...
zpracování dat
5
agenti
3
extrémní programování
3
automatizované řešení problémů
2
počítače
2
symbolické výpočty
2
teorie důkazů
2
algoritmizace
1
distribuované zpracování
1
globální analýza
1
operační systémy
1
paralelní zpracování
1
podnikové informační systémy
1
počítačová věda
1
simulace a modelování
1
systémy pracující v reálném čase
1
verifikace programu
1
vývoj softwaru
1
méně ...
Zobrazuji výsledky
1 - 20
z
30
pro vyhledávání '
"software"
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
product lines : 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
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...
Kniha
Načítá se...
Uloženo v:
Agent-oriented
software
engineering VII : 7th international workshop, AOSE 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Agent-oriented
software
engineering V : 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Extreme programming and agile processes in
software
engineering : 7th international conference, XP 2006, Oulu, Finland, June 17-22, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Extreme programming and agile processes in
software
engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Agile processes in
software
engineering and extreme programming : 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Content computing : Advanced Workshop on Content Computing, AWCC 2004, Zhenjiang, Jiangsu, China, November 15-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
FSTTCS 2004 : foundations of
software
technology and theoretical computer science : 24th...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
FSTTCS 2006 : foundations of
software
technology and theoretical computer science : 26th...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
FSTTCS 2005 : foundations of
software
technology and theoretical computer science : 25th...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
FSTTCS 2007 : foundations of
software
technology and theoretical computer science : 27th...
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004 held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2004 Barcelona, Spain, March 29...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland September 19-23, 1977
Vydáno:
1977
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2005, Edinburgh, UK, April 4-8...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Programming languages and systems : 15th European symposium on programming, ESOP 2006, held as part of The Joint European Conferences on Theory and Practice of
Software
, ETAPS 2006, Vienna, Austria, March 27-28...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed
Software
, ARTS '97, Palma, Mallorca, Spain, May 21-23, 1997...
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
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
30
NTK
Médium
30
Kniha
Signatura
30
Q - Věda
Autor
2
De Nicola, Rocco
2
Marchesi, Michele, 1952-
2
Müller, Jörg P., 1965-
2
Zambonelli, Franco, 1966-
1
Abrahamsson, Pekka
1
Altenkirch, Thorsten, 1962-
více ...
1
Arbab, F. (Farhad)
1
Armando, Alessandro
1
Arun-Kumar, S.
1
Arvind, V.
1
Baumeister, Hubert
1
Berardi, Stefano
1
Bertran, Miquel
1
Chi, Chi-Hung
1
Ciancarini, Paolo, 1959-
1
Concas, Giulio
1
Coppo, Mario, 1947-
1
Damiani, Ferruccio
1
Ferrari, Gianluigi
1
Filliâtre, Jean-Christophe
1
Garg, Naveen
1
Giorgini, Paolo
1
Gramlich, Bernhard, -2014
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Jacquet, Jean-Marie
1
Karpiński, Marek, 1948-
1
Kirchner, Hélene
1
Konev, Boris
1
Lam, Kwok Yan, 1966-
1
Lodaya, Kamal
Zobrazit vše ...
méně ...
Jazyk
30
angličtina
Žánr
sborníky konferencí
Rok vydání
Od:
do:
PSH
30
programování
16
software
12
softwarové inženýrství
8
programovací jazyky
7
matematická logika
7
umělá inteligence
více ...
5
informatika
5
zpracování dat
3
agenti
3
extrémní programování
2
automatizované řešení problémů
2
počítače
2
symbolické výpočty
2
teorie důkazů
1
algoritmizace
1
distribuované zpracování
1
globální analýza
1
operační systémy
1
paralelní zpracování
1
podnikové informační systémy
1
simulace a modelování
1
verifikace programu
1
vývoj softwaru
Zobrazit vše ...
méně ...
×
Načítá se...