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