Suggested Topics within your search.
Suggested Topics within your search.
- Computer architecture & logic design
- Circuits & components 10
- Systems analysis & design 10
- Artificial intelligence 8
- Mathematical theory of computation 8
- Network hardware 6
- Operating systems 6
- Software Engineering 6
- Software testing & verification 6
- Electrical engineering 4
- Energy 4
- Algorithms & data structures 2
- Applied mathematics 2
- Computer networking & communications 2
- Computer programming / software development 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- Information retrieval 2
-
1
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Simulation and Gaming
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
-
4
Variant Construction from Theoretical Foundation to Applications
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Dependable Embedded Systems
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
-
7
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
-
9
Particle Swarm Optimization
Published 2009DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Evolutionary Computation
Published 2009DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
New Achievements in Evolutionary Computation
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Web Intelligence and Intelligent Agents
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Game Theory
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Cellular Automata Innovative Modelling for Science and Engineering
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Grid Computing Technology and Applications, Widespread Coverage and New Horizons
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
High Performance Embedded Computing
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter