Search Results - "software"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 281
- Artificial intelligence 130
- Computer science 113
- Software engineering 96
- Computer programming / software development 91
- Computer networking & communications 77
- Application software 75
- Computer and Information Systems Applications 75
- Computer networks 52
- Algorithms & data structures 47
- Information technology: general issues 45
- Mathematical theory of computation 44
- Systems analysis & design 44
- History of engineering & technology 43
- Artificial Intelligence 40
- Business mathematics & systems 39
- Electronics engineering 36
- Management 36
- Technology: general issues 36
- Research & information: general 32
- Computer Communication Networks 31
- Expert systems / knowledge-based systems 28
- Mathematical & statistical software 27
- Network hardware 26
- Information architecture 25
- Computer Engineering and Networks 24
- Computer engineering 24
- Computer modelling & simulation 24
- Electronic data processing 22
- IT Operations 22
-
241
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes
Published 2013Subjects: “…Software ArchitectureOptimizationQuality AttributesPerformanceModel-based Prediction…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
242
Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
Published 2017Subjects: “…open source software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
243
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis
Published 2012Subjects: “…Component-Based Software Architecture…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
244
Zur Soziologie der Software Die Rolle digitaler Technik bei der Kontrolle von Unsicherheiten
Published 2022Subjects: “…Software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
245
Solving PDEs in Python: The FEniCS Tutorial I
Published 2017Subjects: “…software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
246
Market Relations and the Competitive Process
Published 2003Subjects: “…Software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
247
Zur Soziologie der Software Die Rolle digitaler Technik bei der Kontrolle von Unsicherheiten
Published 2022Subjects: “…Software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
248
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
249
Recent Advances in Industrial and Applied Mathematics
Published 2022Subjects: “…Computer software.…”
Link to Metadata
Electronic eBook -
250
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /
Published 2022Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
251
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
252
Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /
Published 2022Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
253
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
254
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,...
Published 2019Subjects: “…Software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
255
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
256
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,...
Published 2019Subjects: “…Software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
257
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Subjects: “…software design…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
258
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Subjects: “…software design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
259
Introduction to Scientific Programming with Python
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
260
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook