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
-
1341
-
1342
-
1343
-
1344
-
1345
-
1346
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1347
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1348
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1349
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1350
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 /
Published 2020Subjects: “…Computer software.…”
Link to Metadata
Electronic eBook -
1351
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python /
Published 2016Subjects: “…Computer software.…”
Link to Metadata
Electronic eBook -
1352
Programming for Computations - MATLAB/Octave A Gentle Introduction to Numerical Simulations with MATLAB/Octave /
Published 2016Subjects: “…Computer software.…”
Link to Metadata
Electronic eBook -
1353
Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings
Published 2018Subjects: “…empirical software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1354
Engineering Agile Big-Data Systems
Published 2018Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1355
Bastard Culture! How User Participation Transforms Cultural Production
Published 2011Subjects: “…social software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1356
Engineering Agile Big-Data Systems
Published 2018Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1357
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1358
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1359
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1360
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter