Zobrazuji výsledky
201 - 220
z
298
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
Signatura:
NOT
A - Obecná díla
Žánr:
NOT
články
NOT
firemní katalogy
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
AND
matematická logika
Zrušit filtry
Zobrazit filtry (6)
Signatura:
NOT
A - Obecná díla
Žánr:
NOT
články
NOT
firemní katalogy
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
AND
matematická logika
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
268
softwarové inženýrství
200
programovací jazyky
189
umělá inteligence
135
počítače
101
více ...
formální jazyky
83
algoritmizace
64
robotika
40
operační systémy
29
počítačová simulace
10
software
10
vyhledávání v datech
10
diskrétní matematika
8
agenti
6
multiagentní systémy
6
podnikové informační 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
méně ...
Zobrazuji výsledky
201 - 220
z
298
pro vyhledávání '
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
Transactions on Rough Sets XII
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
Vydáno:
2009
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:
Automated reasoning : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic
Autor
Clavel, Manuel
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unconventional computation : 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
ECOOP 2014 - object-oriented programming : 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
5
6
7
8
9
10
11
12
13
14
15
Další »
[15]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
298
NTK
Médium
273
E-kniha
23
Kniha
2
Rukopis
Signatura
24
Q - Věda
1
T - Technologie
Autor
273
SpringerLink (online služba)
11
Voronkov, Andrei, 1959-
6
Voronkov, Andrei
4
Plasmeijer, Rinus
3
Horváth, Zoltán
3
Kobayashi, Naoki, 1968-
více ...
3
Konev, Boris
3
Meseguer, José
3
Paulin-Mohring, Christine, 1962-
3
Veith, Helmut
3
Vidal, Germán
3
Zsók, Viktória
2
Armando, Alessandro
2
Baral, Chitta
2
Beckert, Bernhard
2
Berardi, Stefano
2
Butler, Michael
2
Calude, Cristian, 1952-
2
Cavalcanti, Ana
2
Damiani, Ferruccio
2
Dershowitz, Nachum
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
Zobrazit vše ...
méně ...
Jazyk
298
angličtina
Žánr
273
elektronicke knihy
120
sborníky konferencí
4
sborníky
3
eseje
2
učebnice
1
monografie
Rok vydání
Od:
do:
PSH
298
matematická logika
298
programování
268
informatika
200
softwarové inženýrství
189
programovací jazyky
135
umělá inteligence
více ...
101
počítače
83
formální jazyky
64
algoritmizace
40
robotika
29
operační systémy
10
počítačová simulace
10
software
10
vyhledávání v datech
6
agenti
6
podnikové informační systémy
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
matematika
2
počítačová grafika
2
programovací jazyk Java
Zobrazit vše ...
méně ...
×
Načítá se...