Zhenjiang (103 Ergebnisse)

Zustand: New.

Zustand: New. pp. x + 358 Illus.

Hardcover. Zustand: Fine.

Zustand: New. pp. x + 358.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Zustand: New.

Zustand: New.

Hardback. Zustand: New.

Zustand: New.

Hardback. Zustand: New.

Zustand: New.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 2012 edition. 295 pages. 9.00x6.00x0.75 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 1st edition. 358 pages. 9.00x6.00x0.50 inches. In Stock.

Hardcover. Zustand: Brand New. 300 pages. 9.25x6.25x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms.- Program Transformation and Analysis.- On the Correctness of the Factoring Transformation.- Lambda-Lifting in Quadratic Time.- Semantics.- The Well-Founded Semantics in Normal Logic Programs with Uncertainty.- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.- Coinductive Interpreters for Process Calculi.- Rewriting.- Descendants and Head Normalization of Higher-Order Rewrite Systems.- Narrowing Failure in Functional Logic Programming.- Compilation Techniques.- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.- Dynamic-Cut with Definitional Trees.- Programming Methodology.- The Head Condition and Polymorphic Recursion.- Structural Abstraction and Application in Logic Programming.- VM : A Functional Calculus for Scientific Discovery.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes a comprehensive framework of novel simulation approaches, conventional urban models, and related data mining techniques that will help develop planning support systems in Beijing as well as other mega-metropolitan areas. It investigates the relationships between human behaviors and spatial patterns in order to simulate activities in an urban space, visualize planning alternatives, and support decision making.The book first explains urban space using geometric patterns, such as points, networks, and polygons, that help identify patterns of household and individual human behavior. Next, it details how novel simulation methodologies, such as cellular automaton and multi-agent systems, and conventional urban modeling, such as spatial interaction models, can be used to identify an optimal or a simulated solution for a better urban form. The book develops a comprehensive land use and transportation integrated model used to explore the spatial patterns ofmutual interaction between human mobility and urban space. This model can help forecast the distribution of different types of households, rent prices, and land prices, as well as the distribution of routes and traffic volume based on an appraisal of labor demand and supply.This book shows how geospatial analysis can be a useful tool for planners and decision makers to help in ascertaining patterns of activities and support urban planning. Offering both novel and conventional approaches to urban modeling, it will appeal to researchers, students, and policy makers looking for the optimal way to plan the development of a mega-metropolitan area.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes a comprehensive framework of novel simulation approaches, conventional urban models, and related data mining techniques that will help develop planning support systems in Beijing as well as other mega-metropolitan areas. It investigates the relationships between human behaviors and spatial patterns in order to simulate activities in an urban space, visualize planning alternatives, and support decision making.The book first explains urban space using geometric patterns, such as points, networks, and polygons, that help identify patterns of household and individual human behavior. Next, it details how novel simulation methodologies, such as cellular automaton and multi-agent systems, and conventional urban modeling, such as spatial interaction models, can be used to identify an optimal or a simulated solution for a better urban form. The book develops a comprehensive land use and transportation integrated model used to explore the spatial patterns ofmutual interaction between human mobility and urban space. This model can help forecast the distribution of different types of households, rent prices, and land prices, as well as the distribution of routes and traffic volume based on an appraisal of labor demand and supply.This book shows how geospatial analysis can be a useful tool for planners and decision makers to help in ascertaining patterns of activities and support urban planning. Offering both novel and conventional approaches to urban modeling, it will appeal to researchers, students, and policy makers looking for the optimal way to plan the development of a mega-metropolitan area.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.…

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed .

Taschenbuch. Zustand: Neu. Programming Languages and Systems | 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings | Zhenjiang Hu | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642106712 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Hardback. Zustand: New.

Hardcover. Zustand: Brand New. 233 pages. 9.25x6.10x0.71 inches. In Stock.