Search Results - programming language theory
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 66
- Software Engineering 51
- Artificial intelligence 48
- Computer programming / software development 30
- Software engineering 23
- Programming & scripting languages: general 19
- Computer networking & communications 18
- Artificial Intelligence 16
- Mathematical theory of computation 16
- Computer Science Logic and Foundations of Programming 15
- Formal Languages and Automata Theory 15
- Machine theory 15
- Algorithms & data structures 14
- Theory of Computation 11
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Computer networks 9
- Education 9
- Computer Engineering and Networks 8
- Computer engineering 8
- Systems analysis & design 8
- Computer Modelling 7
- Computer simulation 7
- Computers 7
- Discrete mathematics 7
- Mathematics 7
- Computer modelling & simulation 6
- Computer programming 6
- Electronic digital computers 6
- Evaluation 6
-
121
-
122
Foundation Models for Natural Language Processing Pre-trained Language Models Integrating Media /
Published 2023Link to Metadata
Electronic eBook -
123
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
124
-
125
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
126
Foundation Models for Natural Language Processing Pre-trained Language Models Integrating Media
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
127
-
128
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
129
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
130
-
131
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 -
132
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 -
133
Aligning English Language Testing With Curriculum
Published 2016Connect to this object online.
Book -
134
-
135
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...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
136
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: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
137
-
138
-
139
-
140