Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Editorial Board 2018
 155 C p. ii
 artikel
2 Effect-dependent transformations for concurrent programs Benton, Nick
 2018
 155 C p. 27-51
 artikel
3 Exploration of language specifications by compilation to first-order logic Grewe, Sylvia
 2018
 155 C p. 146-172
 artikel
4 Higher-order logic programming: An expressive language for representing qualitative preferences Charalambidis, Angelos
 2018
 155 C p. 173-197
 artikel
5 Language-integrated provenance Fehrenbach, Stefan
 2018
 155 C p. 103-145
 artikel
6 Preface for SCP special issue on Principles and Practice of Declarative Programming Vidal, Germán
 2018
 155 C p. 1-2
 artikel
7 Rewriting induction for constrained inequalities Nagao, Takahiro
 2018
 155 C p. 76-102
 artikel
8 Some trade-offs in reducing the overhead of assertion run-time checks via static analysis Stulova, Nataliia
 2018
 155 C p. 3-26
 artikel
9 Typechecking protocols with Mungo and StMungo: A session type toolchain for Java Kouzapas, Dimitrios
 2018
 155 C p. 52-75
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland