Suggested Topics within your search.
Suggested Topics within your search.
- Computer science
- Information technology industries 24
- Artificial intelligence 12
- Computer networking & communications 12
- Software Engineering 12
- Computer programming / software development 8
- Algorithms & data structures 6
- Computer modelling & simulation 4
- Databases 4
- Electrical engineering 4
- Expert systems / knowledge-based systems 4
- Programming & scripting languages: general 4
- Biophysics 2
- Circuits & components 2
- Coding theory & cryptology 2
- Communications engineering / telecommunications 2
- Electronics engineering 2
- Ethics & moral philosophy 2
- Games development & programming 2
- Graphical & digital media applications 2
- Life sciences: general issues 2
- Mathematical theory of computation 2
- Mathematics 2
- Mathematics & science 2
- Media studies 2
- Mobile phone technology 2
- Society & social sciences 2
- Sociology 2
- Systems analysis & design 2
- Machine learning 1
-
1
Current Techniques and Materials in Dentistry
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Hybrid Advanced Techniques for Forecasting in Energy Sector
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Advanced Sensing and Image Processing Techniques for Healthcare Applications
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
-
5
-
6
-
7
Finite Difference Computing with Exponential Decay Models
Published 2016Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Finite Difference Computing with Exponential Decay Models
Published 2016Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
9
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…specification and verification techniques…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…specification and verification techniques…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…specification and verification techniques…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…specification and verification techniques…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…specification and verification techniques…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…specification and verification techniques…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…specification and verification techniques…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…specification and verification techniques…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
Swarm Robotics
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Security and Privacy for Modern Wireless Communication Systems
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter