Search Results - "programming languages"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 47
- Computer Science 35
- Software Engineering 32
- Programming & scripting languages: general 31
- Programming Languages 26
- Artificial intelligence 24
- Algorithms & data structures 20
- Computer networking & communications 20
- Computer programming / software development 18
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Computer modelling & simulation 8
- Network hardware 8
- Systems analysis & design 8
- Information technology: general issues 6
- Mathematical theory of computation 6
- Mathematics 6
- Software engineering 6
- Theory of Computation 6
- Computer architecture & logic design 5
- Computer networks 5
- Computer programming 5
- Discrete mathematics 5
- Programming Language 5
- Programming Techniques 5
- Programming languages (Electronic computers) 5
- Computer Engineering and Networks 4
- Computer engineering 4
- Computer hardware 4
- Computer security 4
-
101
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Subjects: “…Programming languages (Electronic computers)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
102
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Programming languages (Electronic computers)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
104
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Programming languages (Electronic computers)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
105
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
106
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
107
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
108
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
109
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
110
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
111
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...
Published 2019Subjects: “…Programming languages (Electronic computers)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
112
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...
Published 2019Subjects: “…Programming languages (Electronic computers)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
113
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
114
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…programming language…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
115
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…programming language…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
116
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…programming language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
117
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
118
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
119
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
120
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter