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 A text-based syntax completion method using LR parsing and its evaluation Sasano, Isao
228 C p.
 artikel
2 Computing maximum fixed point solutions over feasible paths in data flow analyses Pathade, Komal
228 C p.
 artikel
3 desync-cc: A research tool for automatically applying disassembly desynchronization during compilation Kargén, Ulf
228 C p.
 artikel
4 Editorial Board
228 C p.
 artikel
5 LEMMA2Jolie: A tool to generate microservice APIs from domain models Image 1 Giallorenzo, Saverio
228 C p.
 artikel
6 Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems Timm, Nils
228 C p.
 artikel
7 QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants Wu, Hao
228 C p.
 artikel
8 The polychronous model of computation and Kahn process networks Gautier, Thierry
228 C p.
 artikel
9 Using word embedding and convolution neural network for bug triaging by considering design flaws Sepahvand, Reza
228 C p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland