1
Publicat 2006
Taula de continguts: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... Principle and Concurrency in Coalgebra -- Systems of Equations Satisfied in All Commutative Finite...
Obtenir text complet
Electrònic eBook