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