Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 36
- Programming & scripting languages: general 31
- Software Engineering 26
- Artificial intelligence 21
- Algorithms & data structures 20
- Computer networking & communications 20
- Computer programming / software development 18
- Computer modelling & simulation 8
- Network hardware 8
- Systems analysis & design 8
- Information technology: general issues 6
- Mathematical theory of computation 6
- Computer architecture & logic design 5
- Computer hardware 4
- Computer security 4
- Computing & information technology 4
- Discrete mathematics 4
- Expert systems / knowledge-based systems 4
- Mathematical foundations 4
- Maths for scientists 4
- Operating systems 4
- Climate change 3
- Games development & programming 3
- Humanities 3
- Mobile & handheld device programming / Apps programming 3
- Social research & statistics 3
- Advertising & society 2
- Animal ecology 2
- Architectural structure & design 2
- Art techniques & principles 2
-
61
-
62
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 -
63
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
64
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
65
-
66
Development of Sustainable Energy Generation Technologies and Concepts
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
67
Introduction to Scientific Programming with Python
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
68
Introduction to Scientific Programming with Python
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
69
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
70
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
71
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
72
-
73
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
74
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
75
Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
76
Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
77
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
78
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
79
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 -
80
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter