Type Systems for Distributed Programs: Components and Sessions

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Logic, Computers, General Computing
Big bigCover of Type Systems for Distributed Programs: Components and Sessions

More books from Atlantis Press

bigCover of the book Mathematical Models for Poroelastic Flows by
bigCover of the book Nanoscience and Cultural Heritage by
bigCover of the book Mean Field Theories and Dual Variation - Mathematical Structures of the Mesoscopic Model by
bigCover of the book State-Dependent Impulses by
bigCover of the book Human Aspects in Ambient Intelligence by
bigCover of the book The Glaciers of Iceland by
bigCover of the book Navier-Stokes Flow Around a Rotating Obstacle by
bigCover of the book Superphenix by
bigCover of the book The Shaping of Ambient Intelligence and the Internet of Things by
bigCover of the book Applied Mathematics by
bigCover of the book The Inverse Problem of the Calculus of Variations by
bigCover of the book Nanotechnology in a Nutshell by
bigCover of the book Constraints Meet Concurrency by
bigCover of the book Gas Dynamics by
bigCover of the book Fuzzy Modeling and Control: Theory and Applications by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy