Add to ORKGProceedings. Conference held as part of the joint European conferences on Theory and practice of software, ETAPS 200
Proceedings of a conference of the series "Kultur und Informatik" held in Berlin, 201
Parallel computers are powerful too Is for scientific and industrial research. To allow easier and p...
artificial intelligence; computer software; selection and evaluation; formal logic; graph theory...
Proceedings of the conference on Design, automation and test in Europe - DATE 200
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, whic...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
11th International Conference on Architectural Support for Programming Languages and Operating Syste...
ETAPS è una confederazione di 6 conferenze (FOSSACS, ESOP, TACAS, FASE, CC e POST) e di una ventina ...
In this issue, we present a selection of papers from several workshops held in September 2001 in Bar...
Conference talk on software citation via web archives held at the Jahrestagung der Deutschen Mathema...
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESO...
Edited proceedings of the 2nd International Conference on the Practical Application of Prolog, held ...
This book has emerged from my lecture notes for an introductory course in compiler design at ETH Zür...
Abstract. Compiler technology course is a very important compulsory basic course in professional com...
The influence of embedded systems is constantly growing. Increasingly powerful and versatile devices...
Proceedings of a conference of the series "Kultur und Informatik" held in Berlin, 201
Parallel computers are powerful too Is for scientific and industrial research. To allow easier and p...
artificial intelligence; computer software; selection and evaluation; formal logic; graph theory...
Proceedings of the conference on Design, automation and test in Europe - DATE 200
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, whic...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
11th International Conference on Architectural Support for Programming Languages and Operating Syste...
ETAPS è una confederazione di 6 conferenze (FOSSACS, ESOP, TACAS, FASE, CC e POST) e di una ventina ...
In this issue, we present a selection of papers from several workshops held in September 2001 in Bar...
Conference talk on software citation via web archives held at the Jahrestagung der Deutschen Mathema...
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESO...
Edited proceedings of the 2nd International Conference on the Practical Application of Prolog, held ...
This book has emerged from my lecture notes for an introductory course in compiler design at ETH Zür...
Abstract. Compiler technology course is a very important compulsory basic course in professional com...
The influence of embedded systems is constantly growing. Increasingly powerful and versatile devices...
Proceedings of a conference of the series "Kultur und Informatik" held in Berlin, 201
Parallel computers are powerful too Is for scientific and industrial research. To allow easier and p...
artificial intelligence; computer software; selection and evaluation; formal logic; graph theory...