Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
PSH
Sort
Result Count
Alphabetical
584
mathematical logic
umělá inteligence
505
informatics
184
computers
168
software engineering
167
robotics
157
formal languages
135
programming
133
algorithmization
119
programming languages
100
data search
78
database management systems
49
pattern recognition
42
computer linguistics
40
information retrieval
34
information systems
31
image processing
28
internet
23
text processing
22
applications programs
20
computer simulation
19
numerical analysis
18
computer graphics
15
semantic web
15
auto-learning systems
14
logic programming
12
operating systems
11
agents
10
bioinformatics
10
mathematical statistics
10
software
10
natural languages processing
9
algebra
7
formal grammars
7
simulation and modelling
6
fuzzy logic
6
mathematics
6
computer security
6
computer vision
6
representation of knowledge
5
XML
5
database systems
5
interakce člověk-počítač
5
mathematical models
5
neural networks
5
computer technology
4
logic
4
operations research
4
lattices
4
engineering
4
knowledge systems
3
UML
3
the philosophy of science
3
fuzzy set
3
genetic algorithms
3
mathematical linguistics
3
grammar
3
management information systems
3
decision making
3
decision making theory
2
Goedel theory
2
architecture of computational systems
2
automated problem solution
2
relational database systems
2
discrete geometry
2
expert systems
2
philosophy
2
physics
2
geometry
2
hardware
2
rough sets
2
linguistics
2
cognitive processes
2
cognitive psychology
2
convex geometry
2
cryptography
2
microprocessors
2
programming language Java
2
relational algebra
2
symbolic computations
2
symmetry
2
proof theory
2
information theory
2
cognition theory
2
art
2
visualization
2
consciousness
2
data processing
1
CAD
1
CAE
1
algebraic logic
1
algebraic topology
1
applied mathematics
1
big data
1
differential and difference algebra
1
digital watermarking
1
query languages
1
elementary particles
1
fuzzy programming
1
fuzzy control
1
inductive methods
1
intuitionistic logics
1
combinatorics
1
quantum theory of field
1
linear and multilinear algebra
1
mathematical analysis
1
ontology
1
entrepreneurship
1
conceptual analysis
1
programming language C
1
antibodies
1
compilers
1
social networks
1
network applications
1
theory of algorithms
1
theory of sets
1
probability theory
1
systems theory
1
tests and benchmarks
1
Sino-Tibetan languages
1
level of order
1
distance in graphs
1
education
1
computational complexity
1
mark-up languages
close
×
Loading...