Zobrazuji výsledky
1 - 20
z
68
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
AND
algoritmizace
PSH:
programovací jazyky
Autor:
NOT
ETAPS 2004 (Barcelona, Španělsko)
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Médium:
NOT
Časopis
Doporučená témata:
NOT
konstrukce
AND
algoritmizace
PSH:
programovací jazyky
Autor:
NOT
ETAPS 2004 (Barcelona, Španělsko)
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
programovací jazyky
68
informatika
63
počítače
50
softwarové inženýrství
46
programování
39
matematická logika
30
více ...
formální jazyky
22
operační systémy
16
umělá inteligence
14
robotika
10
počítačová architektura
8
algebra
5
diskrétní matematika
5
distribuované informační systémy
5
architektura výpočetních systémů
4
numerická analýza
4
software
4
systémy řízení báze dat
4
vestavěné systémy
4
mikroprocesory
3
multiagentní systémy
3
programovací jazyk Java
3
rozpoznávání obrazců
3
sémantický web
3
vyhledávání v datech
3
Petriho sítě
2
UML
2
XML
2
agenti
2
méně ...
Zobrazuji výsledky
1 - 20
z
68
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
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:
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:
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:
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:
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:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings
Vydáno:
2010
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:
Architectures for adaptive software systems : 5th International conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 : procee...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Search-based software engineering : 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal,...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-based safety and assessment : 4th international symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-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
E-kniha
Uloženo v:
Advanced functional programming : 6th international school, AFP 2008, Heijen, The Netherlands, May 2008 : revised lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised select...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
68
NTK
Médium
64
E-kniha
4
Kniha
Signatura
4
Q - Věda
Autor
64
SpringerLink (online služba)
3
Fages, François
2
Abdulla, Parosh Aziz
2
Baier, Christel
2
Bin, Eyal
2
Chapman, Barbara, 1954-
více ...
2
Hnich, Brahim
2
Müller, Matthias S.
2
Potapov, Igor
2
Rossi, Francesca, 1962-
2
Ur, Shmuel
1
Abadi, Martín
1
Aceto, Luca, 1961-
1
Amaral, José Nelson
1
Anna Ingólfsdóttir, 1952-
1
Bartocci, Ezio
1
Bellahsene, Zohra, 1954-
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Bouajjani, Ahmed
1
Brennan, Rob
1
Bressan, Stéphane, 1965-
1
Carlsson, Mats
1
Ceri, Stefano, 1955-
1
Chen, Yunji, 1983-
1
Chin, Wei-Ngan
1
Clarke, E. M., 1945-
1
Dawar, Anuj, 1966-
1
De Alfaro, Luca, 1966-
1
De Raedt, Luc, 1964-
Zobrazit vše ...
méně ...
Jazyk
68
angličtina
Žánr
sborníky konferencí
64
elektronicke knihy
Rok vydání
Od:
do:
PSH
68
algoritmizace
programovací jazyky
63
informatika
50
počítače
46
softwarové inženýrství
39
programování
více ...
30
matematická logika
22
formální jazyky
16
operační systémy
14
umělá inteligence
10
robotika
5
algebra
4
architektura výpočetních systémů
4
numerická analýza
4
software
4
systémy řízení báze dat
4
vestavěné systémy
3
mikroprocesory
3
programovací jazyk Java
3
rozpoznávání obrazců
3
sémantický web
3
vyhledávání v datech
2
Petriho sítě
2
UML
2
XML
2
agenti
2
cloud computing
2
hardware
2
informační systémy
2
internet
Zobrazit vše ...
méně ...
×
Načítá se...