Zobrazuji výsledky
81 - 100
z
280
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
Doporučená témata:
programování
AND
matematická logika
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
NOT
Koopman, Pieter
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
učebnice
Doporučená témata:
programování
AND
matematická logika
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
NOT
Koopman, Pieter
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í:
matematická logika
programování
informatika
251
softwarové inženýrství
184
programovací jazyky
179
umělá inteligence
129
počítače
97
více ...
formální jazyky
80
algoritmizace
62
robotika
40
operační systémy
29
software
10
vyhledávání v datech
10
počítačová simulace
9
diskrétní matematika
8
agenti
6
multiagentní systémy
6
počítačová bezpečnost
6
aplikační programy
5
počítačová architektura
5
algebra
3
strojová lingvistika
3
systémy řízení báze dat
3
XML
2
architektura výpočetních systémů
2
automatizované řešení problémů
2
bioinformatika
2
kombinatorika
2
logické programování
2
ontologie (informatika)
2
méně ...
Zobrazuji výsledky
81 - 100
z
280
pro vyhledávání '
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The N...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
25 Years of Model Checking : History, Achievements, Perspectives
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software Engineering for Collective Autonomic Systems : The ASCENS Approach
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational Issues in Fluid Construction Grammar : A New Formalism for the Representation of Lexicons and Grammars
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Swede...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[14]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
280
NTK
Médium
256
E-kniha
22
Kniha
2
Rukopis
Signatura
23
Q - Věda
1
T - Technologie
Autor
256
SpringerLink (online služba)
11
Voronkov, Andrei, 1959-
3
Kobayashi, Naoki, 1968-
3
Konev, Boris
3
Meseguer, José
3
Paulin-Mohring, Christine, 1962-
více ...
3
Vidal, Germán
2
Armando, Alessandro
2
Baral, Chitta
2
Berardi, Stefano
2
Calude, Cristian, 1952-
2
Cavalcanti, Ana
2
Damiani, Ferruccio
2
Erdem, Esra
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Filliâtre, Jean-Christophe
2
Giannakopoulou, Dimitra
2
Gupta, Gopal, 1963-
2
Hage, Jurriaan
2
Hagiya, Masami, 1957-
2
Hoek, Wiebe van der
2
Jhala, Ranjit
2
Johnson, Michael
2
Joshi, Rajeev
2
Julliand, Jacques
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Lämmel, Ralf
2
Löwe, Benedikt
Zobrazit vše ...
méně ...
Jazyk
280
angličtina
Žánr
256
elektronicke knihy
116
sborníky konferencí
4
sborníky
3
eseje
1
monografie
Rok vydání
Od:
do:
PSH
280
matematická logika
280
programování
251
informatika
184
softwarové inženýrství
179
programovací jazyky
129
umělá inteligence
více ...
97
počítače
80
formální jazyky
62
algoritmizace
40
robotika
29
operační systémy
10
software
10
vyhledávání v datech
9
počítačová simulace
6
agenti
6
počítačová bezpečnost
5
aplikační programy
3
algebra
3
strojová lingvistika
3
systémy řízení báze dat
2
XML
2
architektura výpočetních systémů
2
automatizované řešení problémů
2
bioinformatika
2
kombinatorika
2
logické programování
2
programovací jazyk Java
2
programovací jazyk JavaScript
2
symbolické výpočty
2
sémantický web
Zobrazit vše ...
méně ...
×
Načítá se...