1
Published 2006
Table of Contents: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Principle and Concurrency in Coalgebra -- Systems of Equations Satisfied in All Commutative Finite...
View full text
Electronic eBook