Search Results - "software"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 281
- Computer science 153
- Artificial intelligence 152
- Software engineering 96
- Computer programming / software development 91
- Computer networking & communications 85
- History of engineering & technology 81
- Technology: general issues 78
- Application software 75
- Computer and Information Systems Applications 75
- Computer networks 68
- Information technology: general issues 52
- Algorithms & data structures 50
- Artificial Intelligence 47
- Mathematical theory of computation 46
- Research & information: general 45
- Systems analysis & design 44
- Business mathematics & systems 43
- Mathematics 42
- Management 41
- Computer Communication Networks 40
- Computer modelling & simulation 39
- Electronics engineering 38
- Media studies 38
- Computer Engineering and Networks 35
- Computer engineering 35
- Network hardware 34
- Expert systems / knowledge-based systems 33
- Computing & information technology 28
- Education 28
-
1701
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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Published 2018Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1702
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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Published 2018Subjects: “…software engineering specifications…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1703
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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Published 2018Subjects: “…computer software selection and evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1704
-
1705
-
1706
-
1707
-
1708
-
1709
-
1710
-
1711
Office 365: Migrating and Managing Your Business in the Cloud
Published 2013Subjects: “…Microsoft software.…”
Link to Metadata
Electronic eBook -
1712
S-BPM in the Production Industry: A Stakeholder Approach
Published 2017Subjects: “…software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1713
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Published 2013Subjects: “…Computer programming / software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1714
Models and Analysis of Vocal Emissions for Biomedical Applications 6th International Workshop, 2009
Published 2009Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1715
S-BPM in the Production Industry: A Stakeholder Approach
Published 2017Subjects: “…software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1716
Models and Analysis of Vocal Emissions for Biomedical Applications 6th International Workshop, 2009
Published 2009Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1717
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Published 2019Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
1718
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
1719
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
1720
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook