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
11
agents
9
algebra
1
algebraic logic
1
algebraic topology
133
algorithmization
1
analytical real functions
22
applications programs
1
applied mathematics
1
approximation
2
architecture of computational systems
2
automated problem solution
1
big data
10
bioinformatics
1
CAD
1
CAE
5
database systems
2
relational database systems
1
differential and difference algebra
1
digital watermarking
2
discrete geometry
1
query languages
1
elementary particles
2
expert systems
2
philosophy
3
the philosophy of science
7
formal grammars
158
formal languages
6
fuzzy logic
4
fuzzy set
1
fuzzy programming
1
fuzzy control
2
physics
3
genetic algorithms
2
geometry
2
Goedel theory
2
hardware
2
rough sets
1
inductive methods
34
information systems
504
informatics
5
interakce člověk-počítač
28
internet
1
intuitionistic logics
2
linguistics
2
cognitive processes
2
cognitive psychology
1
combinatorics
2
convex geometry
2
cryptography
1
quantum theory of field
1
linear and multilinear algebra
14
logic programming
4
logic
1
mathematical analysis
3
mathematical linguistics
584
mathematical logic
10
mathematical statistics
5
mathematical models
7
mathematics
2
microprocessors
3
grammar
5
neural networks
19
numerical analysis
1
ontology
4
operations research
12
operating systems
186
computers
6
computer security
18
computer graphics
21
computer simulation
6
computer vision
1
entrepreneurship
3
management information systems
1
conceptual analysis
1
programming language C
2
programming language Java
118
programming languages
134
programming
1
antibodies
1
compilers
2
relational algebra
6
representation of knowledge
168
robotics
3
decision making
49
pattern recognition
15
semantic web
7
simulation and modelling
1
network applications
1
social networks
10
software
166
software engineering
42
computer linguistics
4
lattices
2
symbolic computations
2
symmetry
79
database management systems
4
engineering
1
theory of algorithms
2
proof theory
2
information theory
2
theory of sets
2
cognition theory
1
probability theory
3
decision making theory
1
systems theory
1
tests and benchmarks
1
Sino-Tibetan languages
16
auto-learning systems
umělá inteligence
2
art
3
UML
1
level of order
2
consciousness
2
visualization
40
information retrieval
101
data search
1
computational complexity
5
computer technology
1
distance in graphs
1
education
5
XML
1
mark-up languages
4
knowledge systems
2
data processing
32
image processing
10
natural languages processing
23
text processing
close
×
Loading...