Zobrazuji výsledky
1 - 20
z
44
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
italština
Žánr:
NOT
elektronické zdroje
Autor:
NOT
Němec, Luboš
PSH:
algoritmizace
Médium:
NOT
E-kniha
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
italština
Žánr:
NOT
elektronické zdroje
Autor:
NOT
Němec, Luboš
PSH:
algoritmizace
Médium:
NOT
E-kniha
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í:
algoritmizace
44
software
24
programování
9
programovací jazyky
8
softwarové inženýrství
8
verifikace programu
6
algebra
5
více ...
systémy
5
teorie algoritmů
5
matematické programování
4
počítačové sítě
4
robotika
4
algoritmy (programování)
3
analýza
3
informační systémy
3
počítače
3
simulace a modelování
3
umělá inteligence
3
vývoj softwaru
3
zpracování obrazů
3
3d
2
SIMULINK (software)
2
architektura procesoru
2
integrované obvody
2
internet
2
počítačové vidění
2
programovací jazyk Matlab
2
programy
2
sociální sítě
2
systémy pracující v reálném čase
2
méně ...
Zobrazuji výsledky
1 - 20
z
44
pro vyhledávání '
"software"
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Model checking
software
: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Software
rychlý, nebo dobrý? : úvod do optimalizace kódu
Autor
Till, Michal
Umístění:
Načítá se...
Článek
Načítá se...
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 : 5th international conference, FOSSACS...
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
SPIN model checking and
software
verification : 7th international SPIN workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
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:
Foundations of
software
science and computation structures : 6th international conferenceg, FOSSACS...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods in
software
and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of
software
science and computation structures : 8th international conferences, FOSSACS...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Experimental algorithmics : from algorithm design to robust and efficient
software
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
High performance computing : HiPC 2000. 7th international conference, Bangalore, India, December 17-20, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
NETLAB : algorithms for pattern recognition
Autor
Nabney, Ian, 1963-
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and agorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
50 algorithms every programmer should know : tackle computer science challenges with classic to modern algorithms in machine learning,
software
design, data systems, and cryptography
Autor
Ahmad, Imran
Vydáno:
2023
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS'99...
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS '98...
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS...
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 10th international conference TACAS 2004 held as part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2003...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
1
2
3
Další »
[3]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
44
NTK
Médium
34
Kniha
5
Článek
3
Rukopis
1
Časopis
1
Program
Signatura
31
Q - Věda
6
T - Technologie
Autor
3
Prasanna Kumar, V. K., 1955-
2
Corke, Peter I., 1959-
1
Aceto, Luca, 1961-
1
Ahmad, Imran
1
Anna Ingólfsdóttir, 1952-
1
Bertran, Miquel
více ...
1
Biolek, Dalibor, 1959-
1
Blackwell, Alan, 1962-
1
Bošnački, Dragan
1
Branscomb, Mary
1
Cai, Q.
1
Chaudhary, P.
1
Cleaveland, W. R. (Walter Rance), 1961-2024
1
Cocker, Emma
1
Cox, Geoff
1
Dlouhý, Martin
1
Du, J.
1
Engberg, Uffe, 1959-
1
European Coordinating Committee for Artificial Intelligence
1
Evropský polytechnický institut
1
Fleischer, Rudolf, 1964-
1
Garavel, Hubert, 1963-
1
Gordon, Andrew D., 1964-
1
Graf, Susanne
1
Grigoras, Dan
1
Grumberg, Orna, 1952-
1
Gupta, B. B.
1
Halbwachs, Nicolas
1
Hanuliak, Ivan, 1946-
1
Hanuliak, Peter
Zobrazit vše ...
méně ...
Jazyk
41
angličtina
2
čeština
1
slovenština
Žánr
8
sborníky konferencí
5
články
3
příručky
3
učebnice
2
monografie
1
disertace
více ...
1
sborníky
1
učebnice vysokých škol
1
vysokoškolská skripta
1
časopisy
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
algoritmizace
24
software
9
programování
8
programovací jazyky
8
softwarové inženýrství
6
verifikace programu
více ...
5
algebra
5
systémy
5
teorie algoritmů
4
matematické programování
4
počítačové sítě
4
robotika
3
analýza
3
informační systémy
3
počítače
3
simulace a modelování
3
umělá inteligence
3
vývoj softwaru
3
zpracování obrazů
2
3d
2
architektura procesoru
2
integrované obvody
2
internet
2
počítačové vidění
2
programovací jazyk Matlab
2
programy
2
sociální sítě
2
zpracování dat
1
CAD
1
algebraická geometrie
Zobrazit vše ...
méně ...
×
Načítá se...