1
Argitaratua 2010
Aurkibidea: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... Analysis and Finite Mixture Models -- Visualizing Contingency Tables -- Mosaic Plots and Their Variants...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2014
Aurkibidea: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Testu osoa
Baliabide elektronikoa eBook