Suggested Topics within your search.
Suggested Topics within your search.
- Computer networking & communications
- Artificial intelligence 33
- Software Engineering 15
- Algorithms & data structures 12
- Computer science 9
- Computer programming / software development 5
- Computer vision 5
- Information technology: general issues 5
- Databases 4
- Programming & scripting languages: general 4
- Chemistry 3
- Communications engineering / telecommunications 3
- Computer security 3
- Image processing 3
- Mathematical theory of computation 3
- User interface design & usability 3
- Coding theory & cryptology 2
- Computer hardware 2
- Computer modelling & simulation 2
- Data mining 2
- Expert systems / knowledge-based systems 2
- Information retrieval 2
- Machine learning 2
- Network hardware 2
- Network security 2
- Systems analysis & design 2
- 21st century history: from c 2000 - 1
- Communication studies 1
- Discrete mathematics 1
- Electrical engineering 1
-
1
Künstliche Intelligenz und menschliche Gesellschaft
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Dynamic Spectrum Management From Cognitive Radio to Blockchain and Artificial Intelligence
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
Published 2023Subjects: “…Artificial intelligence bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…Artificial intelligence bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Cyber Security 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
Cyber Security 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter