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
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstract machines for Open Call-by-Value Accattoli, Beniamino
 2019
 184 C p.
 artikel
2 A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric Chaabane, Mariam
 2019
 184 C p.
 artikel
3 BSP abstract state machines capture bulk synchronous parallel computations Ferrarotti, Flavio
 2019
 184 C p.
 artikel
4 Coordination in Socio-technical Systems: Where are we now? Where do we go next? Mariani, Stefano
 2019
 184 C p.
 artikel
5 Dependency safety for Java – Implementing and testing failboxes Zhang, Dan
 2019
 184 C p.
 artikel
6 Editorial Board 2019
 184 C p.
 artikel
7 Modelling concurrent objects running on the TSO and ARMv8 memory models Winter, Kirsten
 2019
 184 C p.
 artikel
8 RRPlib: A spark library for representing HDFS blocks as a set of random sample data blocks Emara, Tamer Z.
 2019
 184 C p.
 artikel
9 Test-data generation directed by program path coverage through imperialist competitive algorithm Saadatjoo, Mohammad Ali
 2019
 184 C p.
 artikel
10 Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic Beierle, Christoph
 2019
 184 C p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland