Hakutulokset - "software development"
Aihe-ehdotuksia
Aihe-ehdotuksia
- Computer programming / software development 91
- Software Engineering 57
- Artificial intelligence 36
- Mathematical theory of computation 30
- Business mathematics & systems 21
- Computer science 20
- Information architecture 17
- Algorithms & data structures 16
- Computer networking & communications 15
- Information technology: general issues 14
- Programming & scripting languages: general 14
- Computer modelling & simulation 10
- Systems analysis & design 10
- Databases 6
- Energy 6
- Computing & information technology 4
- Discrete mathematics 4
- Expert systems / knowledge-based systems 4
- Automotive technology & trades 2
- Business applications 2
- Communications engineering / telecommunications 2
- Computer architecture & logic design 2
- Data mining 2
- Geography 2
- History of engineering & technology 2
- Information retrieval 2
- Literature: history & criticism 2
- Mathematical foundations 2
- Maths for scientists 2
- Network hardware 2
-
101
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
102
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,...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
103
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,...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
104
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,...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
105
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,...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
106
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
107
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations
Julkaistu 2020Aiheet: “…Software Development…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
108
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Julkaistu 2019Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
109
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations
Julkaistu 2020Aiheet: “…Software Development…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
110
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Julkaistu 2023Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
111
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Julkaistu 2023Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
112
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Julkaistu 2023Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
113
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Julkaistu 2022Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
114
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Julkaistu 2022Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
115
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Julkaistu 2023Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
116
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Julkaistu 2021Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
117
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Julkaistu 2021Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
118
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Julkaistu 2021Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
119
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,...
Julkaistu 2022Aiheet: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
120
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Julkaistu 2021Aiheet: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa