Tipsa dina vänner om produkten:
Type Systems for Distributed Programs: Components and Sessions - Atlantis Studies in Computing Ornela Dardha 1st ed. 2016 edition
Pris
SEK 1.239
Beställningsvara
Förväntad leverans 13 - 27 aug
Få avisering om nya utgåvor med Ornela Dardha
Lägg till din iMusic-önskelista
eller
Type Systems for Distributed Programs: Components and Sessions - Atlantis Studies in Computing
Ornela Dardha
214 pages, 65 black & white illustrations, 4 colour illustrations, biography
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 9 augusti 2016 |
| ISBN13 | 9789462392038 |
| Utgivare | Atlantis Press (Zeger Karssen) |
| Antal sidor | 192 |
| Mått | 155 × 235 × 14 mm · 480 g |
![Cover for Mohammad Ahsanullah · Characterizations of Univariate Continuous Distributions - Atlantis Studies in Probability and Statistics (Inbunden Bok) [2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/383/9789462391383.jpg?mohammad-ahsanullah-2017-characterizations-of-univariate-continuous-distributions-atlantis-studies-in-probability-and-statistics-inbunden-bok&class=scaled&v=1493494773)
![Cover for Modeling in Mathematics: Proceedings of the Second Tbilisi-Salerno Workshop on Modeling in Mathematics - Atlantis Transactions in Geometry (Inbunden Bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/601/9789462392601.jpg?2017-modeling-in-mathematics-proceedings-of-the-second-tbilisi-salerno-workshop-on-modeling-in-mathematics-atlantis-transactions-in-geometry-inbunden-bok&class=scaled&v=1574005938)
![Cover for Zhiqiang Li · Ergodic Theory of Expanding Thurston Maps - Atlantis Studies in Dynamical Systems (Inbunden Bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/734/9789462391734.jpg?zhiqiang-li-2017-ergodic-theory-of-expanding-thurston-maps-atlantis-studies-in-dynamical-systems-inbunden-bok&class=scaled&v=1472908546)
![Cover for Joel Guidez · Superphenix: Technical and Scientific Achievements (Inbunden Bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/458/9789462392458.jpg?joel-guidez-2017-superphenix-technical-and-scientific-achievements-inbunden-bok&class=scaled&v=1619643400)
![Cover for Proceedings of the IV Advanced Ceramics and Applications Conference (Inbunden Bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/120/9789462392120.jpg?2017-proceedings-of-the-iv-advanced-ceramics-and-applications-conference-inbunden-bok&class=scaled&v=1487192120)
![Cover for Topics in Modern Differential Geometry - Atlantis Transactions in Geometry (Inbunden Bok) [2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/397/9789462392397.jpg?2016-topics-in-modern-differential-geometry-atlantis-transactions-in-geometry-inbunden-bok&class=scaled&v=1514486549)
![Cover for Shulmeister · Landscape and Quaternary Environmental Change in New Zealand - Atlantis Advances in Quaternary Science (Inbunden Bok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/366/9789462392366.jpg?shulmeister-2016-landscape-and-quaternary-environmental-change-in-new-zealand-atlantis-advances-in-quaternary-science-inbunden-bok&class=scaled&v=1599464278)
![Cover for Theo Van Holten · The Atomic World Spooky? It Ain't Necessarily So!: Emergent Quantum Mechanics, How the Classical Laws of Nature Can Conspire to Cause Quantum-Like Behaviour (Inbunden Bok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/335/9789462392335.jpg?theo-van-holten-2016-the-atomic-world-spooky-it-ain-t-necessarily-so-emergent-quantum-mechanics-how-the-classical-laws-of-nature-can-conspire-to-cause-quantum-like-behaviour-inbunden-bok&class=scaled&v=1553622770)
![Cover for Gunter Sigl · Astroparticle Physics: Theory and Phenomenology - Atlantis Studies in Astroparticle Physics and Cosmology (Inbunden Bok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/427/9789462392427.jpg?gunter-sigl-2016-astroparticle-physics-theory-and-phenomenology-atlantis-studies-in-astroparticle-physics-and-cosmology-inbunden-bok&class=scaled&v=1488995620)
![Cover for Muhammad Qaiser Shahbaz · Ordered Random Variables: Theory and Applications - Atlantis Studies in Probability and Statistics (Inbunden Bok) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/243/9789462392243.jpg?muhammad-qaiser-shahbaz-2016-ordered-random-variables-theory-and-applications-atlantis-studies-in-probability-and-statistics-inbunden-bok&class=scaled&v=1583093186)
![Cover for Shou Lin · Generalized Metric Spaces and Mappings - Atlantis Studies in Mathematics (Inbunden Bok) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/151/9789462392151.jpg?shou-lin-2016-generalized-metric-spaces-and-mappings-atlantis-studies-in-mathematics-inbunden-bok&class=scaled&v=1542753835)
![Cover for Nan Cao · Introduction to Text Visualization - Atlantis Briefs in Artificial Intelligence (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/857/9789462391857.jpg?nan-cao-2016-introduction-to-text-visualization-atlantis-briefs-in-artificial-intelligence-inbunden-bok&class=scaled&v=1480195093)
![Cover for Sarka Necasova · Navier-Stokes Flow Around a Rotating Obstacle: Mathematical Analysis of its Asymptotic Behavior - Atlantis Briefs in Differential Equations (Pocketbok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/304/9789462392304.jpg?sarka-necasova-2016-navier-stokes-flow-around-a-rotating-obstacle-mathematical-analysis-of-its-asymptotic-behavior-atlantis-briefs-in-differential-equations-pocketbok&class=scaled&v=1557506065)
![Cover for Helgi Bjoernsson · The Glaciers of Iceland: A Historical, Cultural and Scientific Overview - Atlantis Advances in Quaternary Science (Inbunden Bok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/069/9789462392069.jpg?helgi-bjoernsson-2016-the-glaciers-of-iceland-a-historical-cultural-and-scientific-overview-atlantis-advances-in-quaternary-science-inbunden-bok&class=scaled&v=1478151783)
![Cover for Mohammad Ahsanullah · Extreme Value Distributions - Atlantis Studies in Probability and Statistics (Inbunden Bok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/212/9789462392212.jpg?mohammad-ahsanullah-2016-extreme-value-distributions-atlantis-studies-in-probability-and-statistics-inbunden-bok&class=scaled&v=1482622707)
![Cover for Sander Klous · We are Big Data: The Future of the Information Society (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/826/9789462391826.jpg?sander-klous-2016-we-are-big-data-the-future-of-the-information-society-inbunden-bok&class=scaled&v=1465312727)
![Cover for Abraham Achterberg · Gas Dynamics: An Introduction with Examples from Astrophysics and Geophysics (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/949/9789462391949.jpg?abraham-achterberg-2016-gas-dynamics-an-introduction-with-examples-from-astrophysics-and-geophysics-inbunden-bok&class=scaled&v=1470653279)
![Cover for G.L.M. Groenewegen · Spaces of Continuous Functions - Atlantis Studies in Mathematics (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/007/9789462392007.jpg?g-l-m-groenewegen-2016-spaces-of-continuous-functions-atlantis-studies-in-mathematics-inbunden-bok&class=scaled&v=1472908546)
![Cover for Gianfausto Dell'Antonio · Lectures on the Mathematics of Quantum Mechanics II: Selected Topics - Atlantis Studies in Mathematical Physics: Theory and Applications (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/147/9789462391147.jpg?gianfausto-dell-antonio-2016-lectures-on-the-mathematics-of-quantum-mechanics-ii-selected-topics-atlantis-studies-in-mathematical-physics-theory-and-applications-inbunden-bok&class=scaled&v=1467893975)
![Cover for Nanoscience and Cultural Heritage (Inbunden Bok) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/970/9789462391970.jpg?2016-nanoscience-and-cultural-heritage-inbunden-bok&class=scaled&v=1618408333)
![Cover for Mike Crampin · Cartan Geometries and their Symmetries: A Lie Algebroid Approach - Atlantis Studies in Variational Geometry (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/918/9789462391918.jpg?mike-crampin-2016-cartan-geometries-and-their-symmetries-a-lie-algebroid-approach-atlantis-studies-in-variational-geometry-inbunden-bok&class=scaled&v=1470653279)
![Cover for Thomas J. Buckholtz · Models for Physics of the Very Small and Very Large - Atlantis Studies in Mathematics for Engineering and Science (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/659/9789462391659.jpg?thomas-j-buckholtz-2016-models-for-physics-of-the-very-small-and-very-large-atlantis-studies-in-mathematics-for-engineering-and-science-inbunden-bok&class=scaled&v=1467893975)
![Cover for Pedro Duarte · Lyapunov Exponents of Linear Cocycles: Continuity via Large Deviations - Atlantis Studies in Dynamical Systems (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/239/9789462391239.jpg?pedro-duarte-2016-lyapunov-exponents-of-linear-cocycles-continuity-via-large-deviations-atlantis-studies-in-dynamical-systems-inbunden-bok&class=scaled&v=1462371544)
![Cover for Gennadi Sardanashvily · Noether's Theorems: Applications in Mechanics and Field Theory - Atlantis Studies in Variational Geometry (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/703/9789462391703.jpg?gennadi-sardanashvily-2016-noether-s-theorems-applications-in-mechanics-and-field-theory-atlantis-studies-in-variational-geometry-inbunden-bok&class=scaled&v=1462371543)
![Cover for N. Banagaaya · Index-aware Model Order Reduction Methods: Applications to Differential-Algebraic Equations - Atlantis Studies in Scientific Computing in Electromagnetics (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/888/9789462391888.jpg?n-banagaaya-2016-index-aware-model-order-reduction-methods-applications-to-differential-algebraic-equations-atlantis-studies-in-scientific-computing-in-electromagnetics-inbunden-bok&class=scaled&v=1462371554)
![Cover for Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015: Innovation and Practice in Industrial Engineering and Management (Volume 2) (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/765/9789462391765.jpg?2016-proceedings-of-the-22nd-international-conference-on-industrial-engineering-and-engineering-management-2015-innovation-and-practice-in-industrial-engineering-and-management-volume-2-inbunden-bok&class=scaled&v=1462371544)
![Cover for Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015: Core Theory and Applications of Industrial Engineering (Volume 1) (Inbunden Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/796/9789462391796.jpg?2016-proceedings-of-the-22nd-international-conference-on-industrial-engineering-and-engineering-management-2015-core-theory-and-applications-of-industrial-engineering-volume-1-inbunden-bok&class=scaled&v=1462371555)
![Cover for Alberto Cabada · Differential Equations with Involutions - Atlantis Briefs in Differential Equations (Pocketbok) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/208/9789462391208.jpg?alberto-cabada-2016-differential-equations-with-involutions-atlantis-briefs-in-differential-equations-pocketbok&class=scaled&v=1462371554)
![Cover for Radomir Stankovic · Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations: A Monograph Based on Articles of the Founding Authors, Reproduced in Full - Atlantis Studies in Mathematics for Engineering and Science (Inbunden Bok) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/598/9789462391598.jpg?radomir-stankovic-2016-dyadic-walsh-analysis-from-1924-onwards-walsh-gibbs-butzer-dyadic-differentiation-in-science-volume-1-foundations-a-monograph-based-on-articles-of-the-founding-authors-reproduced-in-full-atlantis-studies-in-mathematics-for-engineerin&class=scaled&v=1462371558)
![Cover for Radomir Stankovic · Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations: A Monograph Based on Articles of the Founding Authors, Reproduced in Full - Atlantis Studies in Mathematics for Engineeri (Inbunden Bok) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/628/9789462391628.jpg?radomir-stankovic-2016-dyadic-walsh-analysis-from-1924-onwards-walsh-gibbs-butzer-dyadic-differentiation-in-science-volume-2-extensions-and-generalizations-a-monograph-based-on-articles-of-the-founding-authors-reproduced-in-full-atlantis-studies-in-mathema&class=scaled&v=1462371554)
![Cover for Takashi Suzuki · Mean Field Theories and Dual Variation - Mathematical Structures of the Mesoscopic Model - Atlantis Studies in Mathematics for Engineering and Science (Inbunden Bok) [2nd ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/536/9789462391536.jpg?takashi-suzuki-2015-mean-field-theories-and-dual-variation-mathematical-structures-of-the-mesoscopic-model-atlantis-studies-in-mathematics-for-engineering-and-science-inbunden-bok&class=scaled&v=1468274024)
![Cover for Scholarpedia of Touch - Scholarpedia (Inbunden Bok) [1st ed. 2016 edition] (2015)](https://imusic.b-cdn.net/images/item/original/321/9789462391321.jpg?2015-scholarpedia-of-touch-scholarpedia-inbunden-bok&class=scaled&v=1462371554)