Zobrazuji výsledky
1 - 20
z
168
pro vyhledávání '
'
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í
Médium:
NOT
Časopis
Doporučená témata:
NOT
konstrukce
NOT
internet
AND
algoritmizace
PSH:
NOT
zpracování dat
AND
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Médium:
NOT
Časopis
Doporučená témata:
NOT
konstrukce
NOT
internet
AND
algoritmizace
PSH:
NOT
zpracování dat
AND
softwarové inženýrství
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algoritmizace
softwarové inženýrství
168
informatika
151
počítače
89
programování
78
operační systémy
59
programovací jazyky
44
více ...
matematická logika
34
umělá inteligence
31
robotika
25
formální jazyky
23
numerická analýza
21
počítačová simulace
18
diskrétní matematika
17
vyhledávání v datech
11
distribuované informační systémy
10
počítačová architektura
10
počítačová grafika
10
rozpoznávání obrazců
10
cloud computing
9
mikroprocesory
9
podnikové informační systémy
9
architektura výpočetních systémů
8
software
8
genetické algoritmy
6
hardware
6
informační systémy
6
systémy řízení báze dat
6
vestavěné systémy
6
UML
5
méně ...
Zobrazuji výsledky
1 - 20
z
168
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Genetic and evolutionary computation : GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings.
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Genetic and evolutionary computation : GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings.
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
DNA computing : 12th International Meeting on DNA Computing, DNA 12, Seoul, Korea, June 5-9, 2006 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Genetic and evolutionary computation : GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings.
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of genetic algorithms : 9th international workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Engineering self-organising systems : 4th international workshop, ESOA 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 8th international conferences, FOSSACS 2005 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Scenarios : models, transformations and tools : international workshop, Dagstuhl castle, Germany, september 7-12, 2003 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algorithms and architectures for parallel processing : 14th international conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
Další »
[9]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
168
NTK
Médium
151
E-kniha
17
Kniha
Signatura
17
Q - Věda
Autor
151
SpringerLink (online služba)
6
Gavrilova, Marina L., 1971-
6
Gervasi, Osvaldo, 1957-
4
Apduhan, Bernady O.
4
Chapman, Barbara, 1954-
4
Dongarra, Jack, 1950-
více ...
4
Misra, Sanjay
4
Murgante, Beniamino
4
Rocha, Ana Maria Alves Coutinho
4
Taniar, David
4
Torre, Carmelo
3
Badrinath, Ramamurthy
3
Bubak, Marian
3
Malyškin, Viktor Èmmanuilovič
3
Parashar, Manish, 1967-
3
Prasanna Kumar, V. K., 1955-
3
Rozenberg, Grzegorz, 1942-
3
Sloot, Peter M. A., 1956-
2
Abdulla, Parosh Aziz
2
Aceto, Luca, 1961-
2
Albada, Geert Dick van
2
Alexander, Michael, 1972-
2
Bin, Eyal
2
Bouajjani, Ahmed
2
Cannataro, Mario, 1964-
2
Cantú-Paz, Erick
2
Deb, Kalyanmoy, 1963-
2
Ebner, Marc, 1969-
2
Ehrig, Hartmut, 1944-
2
Ekárt, Anikó
Zobrazit vše ...
méně ...
Jazyk
168
angličtina
Žánr
sborníky konferencí
151
elektronicke knihy
Rok vydání
Od:
do:
PSH
168
algoritmizace
softwarové inženýrství
151
informatika
89
počítače
78
programování
59
operační systémy
více ...
44
programovací jazyky
34
matematická logika
31
umělá inteligence
25
robotika
23
formální jazyky
21
numerická analýza
18
počítačová simulace
11
vyhledávání v datech
10
počítačová grafika
10
rozpoznávání obrazců
9
cloud computing
9
mikroprocesory
9
podnikové informační systémy
8
architektura výpočetních systémů
8
software
6
genetické algoritmy
6
hardware
6
informační systémy
6
systémy řízení báze dat
6
vestavěné systémy
5
UML
5
algebra
5
evoluční algoritmy
5
počítačová bezpečnost
Zobrazit vše ...
méně ...
×
Načítá se...