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
1,225
mathematical logic
898
informatics
583
artificial intelligence
433
computers
416
software engineering
330
programming languages
298
programming
278
algorithmization
273
formal languages
168
robotics
107
data search
88
database management systems
51
pattern recognition
46
computer linguistics
45
information retrieval
41
computer simulation
40
information systems
38
operating systems
37
mathematics
37
numerical analysis
36
algebra
33
internet
32
image processing
30
bioinformatics
26
applications programs
26
theory of sets
24
logic programming
23
proof theory
23
text processing
22
computer graphics
22
software
19
theory of numbers
18
mathematical statistics
18
semantic web
17
fuzzy logic
17
computer security
17
auto-learning systems
15
combinatorics
15
logic
15
simulation and modelling
14
agents
14
management information systems
13
mathematical linguistics
13
theory of models
13
probability theory
12
fuzzy set
12
cryptography
11
natural languages processing
8
neural networks
8
information theory
8
computer technology
8
data processing
7
XML
7
database systems
7
formal grammars
7
mathematical analysis
7
mathematical programming
7
semantic of programming languages
7
graph theory
6
algebraic logic
6
interakce člověk-počítač
6
mathematical models
6
computer vision
6
representation of knowledge
6
lattices
6
numerical expressibility theory
6
computational complexity
6
data encryption
5
algebraic structures
5
architecture of computational systems
5
philosophy
5
higher order logic
5
programming language Java
5
recursion theory
5
decision making theory
5
topology
4
Boolean algebra
4
Goedel theory
4
applied mathematics
4
automata
4
functional analysis
4
hardware
4
linguistics
4
cybernetics
4
operations research
4
engineering
4
complexity theory
4
vestavěné systémy
4
knowledge systems
4
real-time control
3
Hilbert algebras
3
Hilbert spaces
3
Petri nets
3
UML
3
approximation
3
genetic algorithms
3
geometry
3
history
3
first order logic
3
matrix algebra
3
grammar
3
probability logics
3
recursive functions
3
decision making
3
stochastic processes
3
program theory
3
systems theory
3
tests and benchmarks
3
visualization
3
multi-values logics
3
propositional calculus
2
algebraic topology
2
time series analysis
2
automatic deduction
2
automated problem solution
2
probability theory axioms
2
relational database systems
2
discrete geometry
2
the philosophy of science
2
physics
2
rough sets
2
hybrid computers
2
cognitive psychology
2
combinatorial logics
2
complementary lattices
2
convex geometry
2
quantum physics
2
quantum mechanics
2
linear and multilinear algebra
2
microprocessors
2
non-standard analysis
2
programming language JavaScript
2
relational algebra
2
symbolic computations
2
theory of algorithms
2
group theory
2
ordered sets
2
program verification
2
computational geometry
2
encoding
1
Banach spaces
1
CAD
1
CAE
1
K-theory
1
S-matrices
1
SQL
1
algebraic geometry
1
algebraic curves
1
analytical real functions
1
big data
1
integers
1
diagrams
1
differential and difference algebra
1
differential operators
1
differential equations
1
partial differential equations
1
stochastic differential equations
1
digital watermarking
1
distributive lattices
1
query languages
1
dynamic systems
1
economic development
1
economic growth
1
equivalence of sets
1
elementary particles
1
expert systems
1
functions
1
functional programming
1
fuzzy programming
1
fuzzy control
1
Hamiltonian graphs
1
hierarchy of recursions
1
inductive methods
1
information
1
innovation
1
integral
1
intuition
1
intuitionistic logics
1
classical logic
1
classical theory of sets
1
cognitive processes
1
complex numbers
1
communication net
1
congruence
1
qualitative analysis
1
quantum theory of field
1
data coding
1
codes
1
linear operators
1
linear programming
1
linear dependence
1
logical functions
1
environmental management
1
set topology
1
measure
1
random graphs
1
ontology
1
real-time operating systems
1
orthogonal functions
1
osobnosti
1
classic set theory paradoxes
1
parallel processing
1
entrepreneurship
1
conceptual analysis
1
sequences and series
1
probability of distribution
1
predicate calculus
1
programming language C
1
programming language Python
1
space interval
1
antibodies
1
industrial robots and manipulators
1
compilers
1
hybrid natural languages
1
mathematical physics equations
1
simulation
1
social networks
1
steganography
1
strategy
1
symmetry
1
systems
1
network applications
1
tensor algebra
1
game theory
1
theory of categories
1
cognition theory
1
theory of types
1
Sino-Tibetan languages
1
topological spaces
1
art
1
level of order
1
ordered lattices
1
vector spaces
1
distance in graphs
1
education
1
consciousness
1
web services
1
knowledge management
1
mark-up languages
1
time
1
number systems
1
problem solving
1
change management
close
×
Loading...