Search Results - "Computer software"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 12
- Computer software 6
- Mathematical Software 6
- Mathematics 6
- Numerical analysis 6
- Data processing 5
- Computational Science and Engineering 4
- Numerical Analysis 4
- Software Engineering 3
- Software engineering 3
- Astronautics 2
- Chemistry 2
- Humanities 2
- Mathematical & statistical software 2
- Mathematical theory of computation 2
- Maths for scientists 2
- Poetry by individual poets 2
- Research & information: general 2
- Algorithms 1
- Applications of Mathematics 1
- Architecture 1
- Arts 1
- Biochemistry 1
- Biology, life sciences 1
- Communication 1
- Computational Mathematics and Numerical Analysis 1
- Computer Communication Networks 1
- Computer Science 1
- Computer System Implementation 1
- Computer networks 1
-
21
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…computer software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
22
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 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
23
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 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
24
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…computer software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
25
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 2018Subjects: “…computer software selection and evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
26
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…computer software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
27
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 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
28
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 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
29
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
30
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
31
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 2018Subjects: “…computer software selection and evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
32
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
33
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
34
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…computer software selection and evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
35
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…computer software selection and evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
36
Plant Natural Products for Human Health
Published 2019Subjects: “…computational softwares…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
-
38
-
39
-
40