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
588
mathematical logic
588
artificial intelligence
508
informatics
186
computers
168
robotics
168
software engineering
158
formal languages
135
programming
133
algorithmization
119
programming languages
101
data search
80
database management systems
49
pattern recognition
42
computer linguistics
40
information retrieval
34
information systems
32
image processing
28
internet
23
text processing
22
applications programs
21
computer simulation
19
numerical analysis
18
computer graphics
16
auto-learning systems
15
semantic web
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
mathematics
7
simulation and modelling
6
fuzzy logic
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
fuzzy set
4
logic
4
operations research
4
lattices
4
engineering
4
knowledge systems
3
UML
3
the philosophy of science
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
theory of sets
2
cognition theory
2
art
2
visualization
2
consciousness
2
data processing
1
CAD
1
CAE
1
algebraic logic
1
algebraic topology
1
analytical real functions
1
applied mathematics
1
approximation
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
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...