Zobrazuji výsledky
101 - 120
z
147
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
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
PSH:
NOT
překladače
AND
algoritmizace
Autor:
NOT
Butler, Michael
Zrušit filtry
Zobrazit filtry (5)
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
PSH:
NOT
překladače
AND
algoritmizace
Autor:
NOT
Butler, Michael
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
147
programovací jazyky
informatika
119
softwarové inženýrství
86
programování
80
počítače
72
matematická logika
64
více ...
formální jazyky
26
operační systémy
24
umělá inteligence
24
robotika
12
algebra
10
počítačová architektura
8
software
8
numerická analýza
7
rozpoznávání obrazců
6
architektura výpočetních systémů
5
diskrétní matematika
5
distribuované informační systémy
5
mikroprocesory
5
objektově orientované programování
5
systémy řízení báze dat
5
vestavěné systémy
4
vyhledávání v datech
4
Petriho sítě
3
hardware
3
multiagentní systémy
3
programovací jazyk Java
3
sémantický web
3
UML
2
méně ...
Zobrazuji výsledky
101 - 120
z
147
pro vyhledávání '
'
, doba hledání: 0,19 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
OpenMP in a Heterogeneous World : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, R...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25,...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Autor
Rust, Heinrich
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Relations and kleene algebra in computer science : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applic...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2005: foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Perspectives of systems informatics : 8th International Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Parallel and distributed processing and applications : 4th international symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational probability : algorithms and applications in the mathematical sciences
Autor
Drew, John H. (John Henry)
Vydáno:
2017
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive logic programming : 19th international conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and software engineering : 12th International conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 4th international conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Developments in Language Theory : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
147
NTK
Médium
122
E-kniha
22
Kniha
2
Rukopis
1
Časopis
Signatura
21
Q - Věda
1
T - Technologie
Autor
122
SpringerLink (online služba)
5
Fages, François
3
Cejtlin, G. Je
3
Gluškov, Viktor Michajlovič, 1923-1982
3
Juščenko, Kataryna Logvìnovna, 1919-2001
3
Potapov, Igor
více ...
3
Rossi, Francesca
2
Abdulla, Parosh Aziz
2
Baier, Christel
2
Bin, Eyal
2
Chapman, Barbara, 1954-
2
Eekelen, Marko van
2
Hnich, Brahim
2
Hynek, Josef, 1965-
2
Löwe, Benedikt
2
Müller, Matthias S.
2
Peña, Ricardo, 1950-
2
Rossi, Francesca, 1962-
2
Sarukkai, Sundar
2
Schildt, Herbert, 1951-
2
Shamis, Pavel
2
Shkaravska, Olha
2
Univerzita Karlova (Praha). Matematicko-fyzikální fakulta. Katedra teoretické informatiky
2
Ur, Shmuel
2
Štěpánek, Petr
1
Abadi, Martín
1
Aceto, Luca, 1961-
1
Amaral, José Nelson
1
Anna Ingólfsdóttir, 1952-
1
Aoki, Toshiaki
Zobrazit vše ...
méně ...
Jazyk
140
angličtina
4
čeština
2
ruština
1
němčina
Žánr
123
elektronicke knihy
68
sborníky konferencí
6
monografie
5
příručky
2
disertace
2
vysokoškolská skripta
více ...
1
eseje
1
sborníky
1
časopisy
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
algoritmizace
147
programovací jazyky
119
informatika
86
softwarové inženýrství
80
programování
72
počítače
více ...
64
matematická logika
26
formální jazyky
24
operační systémy
24
umělá inteligence
12
robotika
10
algebra
8
software
7
numerická analýza
6
rozpoznávání obrazců
5
architektura výpočetních systémů
5
mikroprocesory
5
objektově orientované programování
5
systémy řízení báze dat
4
vestavěné systémy
4
vyhledávání v datech
3
Petriho sítě
3
hardware
3
programovací jazyk Java
3
sémantický web
2
UML
2
XML
2
agenti
2
cloud computing
2
informační systémy
Zobrazit vše ...
méně ...
×
Načítá se...