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
-
181
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published 2022Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
182
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published 2023Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
183
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published 2023Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
184
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published 2023Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
185
Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems
Published 2017Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
186
Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems
Published 2017Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
187
Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model /
Published 2013Subjects: “…Application software.…”
Link to Metadata
Electronic eBook -
188
Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R A Workbook /
Published 2021Subjects: “…Statistical Software.…”
Link to Metadata
Electronic eBook -
189
GUI Design for Android Apps
Published 2014Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
190
Model Transformation Languages with Modular Information Hiding
Published 2015Subjects: “…software maintenance…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
191
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
192
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
193
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
194
Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /
Published 2024Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
195
Managed Software Evolution
Published 2019Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
196
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6
Published 2020Subjects: “…Computer software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
197
Managed Software Evolution
Published 2019Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
198
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6
Published 2020Subjects: “…Computer software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
199
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
200
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter