Refine your search
Availability
-
Authors
- Antonino Daviu, Jose Alfonso
- Awrejcewicz, Jan
- Baier, Christel
- Barnet, Sylvan
- Bedau, Hugo Adam
- Bertogna, Marko
- Beyer, Dirk
- Braga, Adriana
- Cho, Kyoungrok
- Cochez, Michael
- Croitoru, Madalina
- Dal Lago, Ugo
- De Pietro, Giuseppe
- Dei, Michele
- Dutt, Nikil
- Dziurzanski, Piotr
- Esposito, Massimo
- Huisman, Marieke
- Kim, DaeEun
- Pota, Marco
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Embedded Systems
- Lecture Notes in Computer Science
- Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI
- Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
- Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
- Synthesis Lectures on Computer Architecture
- Theoretical Computer Science and General Issues
- Show more
- Show less
-
Topics
- 3D-SLAM
- ATEX
- Computer architecture & logic design
- Computer science
- Geometric Algebra
- Mathematical theory of computation
- Natural Language Processing (NLP)
- Natural language & machine translation
- PID algorithm
- PSO
- artificial intelligence
- formal logic
- formal methods
- parallel processing systems
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Программирование
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages