Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             10 results found
no title author magazine year volume issue page(s) type
1 Abstract machines for Open Call-by-Value Accattoli, Beniamino
 2019
 184 C p.
 article
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.
 article
3 BSP abstract state machines capture bulk synchronous parallel computations Ferrarotti, Flavio
 2019
 184 C p.
 article
4 Coordination in Socio-technical Systems: Where are we now? Where do we go next? Mariani, Stefano
 2019
 184 C p.
 article
5 Dependency safety for Java – Implementing and testing failboxes Zhang, Dan
 2019
 184 C p.
 article
6 Editorial Board 2019
 184 C p.
 article
7 Modelling concurrent objects running on the TSO and ARMv8 memory models Winter, Kirsten
 2019
 184 C p.
 article
8 RRPlib: A spark library for representing HDFS blocks as a set of random sample data blocks Emara, Tamer Z.
 2019
 184 C p.
 article
9 Test-data generation directed by program path coverage through imperialist competitive algorithm Saadatjoo, Mohammad Ali
 2019
 184 C p.
 article
10 Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic Beierle, Christoph
 2019
 184 C p.
 article
                             10 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands