Suggested Topics within your search.
Suggested Topics within your search.
- Computer science
- Artificial intelligence 33
- Software Engineering 26
- Computer networking & communications 22
- Algorithms & data structures 18
- Systems analysis & design 14
- Information technology industries 13
- Computer programming / software development 12
- Computer modelling & simulation 10
- Programming & scripting languages: general 10
- Information technology: general issues 9
- Energy industries & utilities 7
- Expert systems / knowledge-based systems 7
- Natural language & machine translation 7
- Coins, banknotes, medals, seals (numismatics) 6
- Mathematical theory of computation 6
- Mathematics 6
- Network hardware 6
- Biochemical engineering 4
- Business applications 4
- Business mathematics & systems 4
- Computer hardware 4
- Computing & information technology 4
- Databases 4
- Information architecture 4
- Life sciences: general issues 4
- Mathematics & science 4
- Pharmaceutical industries 4
- Privacy & data protection 4
- Research & development management 4
-
1
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Differential Equations for Studies in Computational Electrophysiology
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
The Future of Work Challenges and Prospects for Organisations, Jobs and Workers
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Human Factors in Privacy Research
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Solving Ordinary Differential Equations in Python
Published 2024“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Energy Efficient Servers Blueprints for Data Center Optimization
Published 2015“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Programming for Computations - MATLAB/Octave
Published 2016“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Scaling a Software Business: The Digitalization Journey
Published 2017“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
Published 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Intel Trusted Execution Technology for Server Platforms A Guide to More Secure Datacenters
Published 2013“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Rethinking the Internet of Things A Scalable Approach to Connecting Everything
Published 2013“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
A Practical Guide to TPM 2.0 Using the New Trusted Platform Module in the New Age of Security
Published 2015“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
Published 2017“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
New Horizons for a Data-Driven Economy A Roadmap for Usage and Exploitation of Big Data in Europe
Published 2016“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter