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
informatika
matematická logika
502
artificial intelligence
396
software engineering
394
computers
323
programming languages
267
programming
263
algorithmization
262
formal languages
165
robotics
98
data search
83
database management systems
48
pattern recognition
42
computer linguistics
42
information retrieval
41
computer simulation
37
information systems
36
operating systems
33
internet
32
image processing
31
numerical analysis
29
bioinformatics
25
applications programs
23
text processing
21
computer graphics
18
algebra
18
semantic web
17
mathematical statistics
14
management information systems
14
computer security
13
agents
10
software
9
cryptography
9
mathematics
7
XML
6
database systems
6
interakce člověk-počítač
6
computer vision
6
auto-learning systems
5
combinatorics
5
programming language Java
5
simulation and modelling
5
information theory
5
computer technology
4
automata
4
hardware
4
mathematical models
4
lattices
4
vestavěné systémy
3
UML
3
architecture of computational systems
3
logic programming
3
grammar
3
operations research
3
decision making
3
graph theory
3
tests and benchmarks
3
data processing
3
natural languages processing
2
Petri nets
2
discrete geometry
2
fuzzy logic
2
geometry
2
hybrid computers
2
linguistics
2
convex geometry
2
mathematical linguistics
2
microprocessors
2
programming language JavaScript
2
semantic of programming languages
2
probability theory
2
systems theory
2
theory of numbers
2
visualization
2
computational geometry
2
real-time control
1
CAD
1
CAE
1
SQL
1
algebraic logic
1
algebraic topology
1
big data
1
differential and difference algebra
1
partial differential equations
1
query languages
1
expert systems
1
graphs
1
history
1
rough sets
1
communication net
1
quantum mechanics
1
linear and multilinear algebra
1
logic
1
environmental management
1
mathematical programming
1
neural networks
1
ontology
1
real-time operating systems
1
programming language C
1
antibodies
1
compilers
1
representation of knowledge
1
steganography
1
theory of algorithms
1
game theory
1
numerical expressibility theory
1
Sino-Tibetan languages
1
mark-up languages
close
×
Loading...