1
Pubblicazione 2008
Sommario: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Testo
Elettronico eBook
3
Pubblicazione 2008
Sommario: ... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...
Testo
Elettronico eBook