Code Generation — Concepts, Tools, Techniques, Robert Giegerich; S.L. Graham

Автор: Boudewijn R. Haverkort; Henrik C. Bohnenkamp; Conn
Название: Computer Performance Evaluation. Modelling Techniques and Tools
ISBN: 3540672605 ISBN-13(EAN): 9783540672609
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title presented 21 papers organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.

Автор: Khalid Al-Begain; Dieter Fiems; G?bor Horv?th
Название: Analytical and Stochastic Modeling Techniques and Applications
ISBN: 3642022049 ISBN-13(EAN): 9783642022043
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation. queueing & scheduling in telecommunication networks;

Автор: Wolfgang H?rmann; Josef Leydold; Gerhard Derflinge
Название: Automatic Nonuniform Random Variate Generation
ISBN: 3642073727 ISBN-13(EAN): 9783642073724
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The recent concept of universal (also called automatic or black-box) random variate generation can only be found dispersed in the literature. Examples of possible applications of the presented algorithms (including option pricing, VaR and Bayesian statistics) are presented at the end of the book.

Автор: Helmut Simonis
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319070452 ISBN-13(EAN): 9783319070452
Издательство: Springer
Рейтинг:
Цена: 77320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The papers focus on constraint programming and global constraints;

Автор: Denise Demirel; Lucas Schabh?ser; Johannes Buchman
Название: Privately and Publicly Verifiable Computing Techniques
ISBN: 3319537970 ISBN-13(EAN): 9783319537979
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a function on outsourced data to be delegated to a server.

Автор: Anthony Sofo
Название: Computational Techniques for the Summation of Series
ISBN: 1461349044 ISBN-13(EAN): 9781461349044
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "This book collects in one volume the author`s considerable results in the area of the summation of series and their representation in closed form, and details the techniques by which they have been obtained...

Автор: Claude-Guy Quimper
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319339532 ISBN-13(EAN): 9783319339535
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On CNF Encodings for Decision Diagrams.- Time-Series Constraints: Improvements and Application in CP and MIP Contexts.- Finding a Collection of MUSes Incrementally.-Decompositions Based on Decision Diagrams.- Logic-Based Decomposition Methods for the Travelling Purchaser Problem.- Lagrangian Decomposition via Subproblem Search.- Non-linear Optimization of Business Models in the Electricity Market.- Weighted Spanning Tree Constraint with Explanations.- Forward-Checking ltering for Nested Cardinality Constraints: Application to an Energy Cost Aware Production Planning Problem for Tissue Manufacturing.- Cyclic Routing of Unmanned Aerial Vehicles.- Parallelizing Constraint Programming with Learning.- Parallel Composition of Scheduling Solvers.- Rail Capacity Planning With Constraint Programming.- Scheduling Home Hospice Care with Logic-Based Benders Decomposition.- A Global Constraint for Mining Sequential Patterns with GAP Constraint.- A Reservoir Balancing Constraint with Applications to Bike-Sharing.- Optimization Models for a Real-World Snow Plow Routing Problem.- The TASKINTERSECTION Constraint.- A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems.- Constructions and In-place Operations for MDDs Based Constraints.- Balancing Nursing Workload by Constraint Programming.- Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing.- Constraint Programming Approach for Spatial Packaging Problem.- Detecting Semantic Groups in MIP Models.- Revisiting Two-Sided Stability Constraints.- Optimal Flood Mitigation over Flood Propagation Approximations.- A Bit-Vector Solver with Word Level Propagation.- A New Solver for the Minimum Weighted Vertex Cover Problem.- Optimal Upgrading Schemes for Eective Shortest Paths in Networks.

Автор: Narciso Mart?-Oliet; Miguel Palomino
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3642376347 ISBN-13(EAN): 9783642376344
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351290 ISBN-13(EAN): 9780792351290
Издательство: Springer
Рейтинг:
Цена: 266470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.

Автор: Andrea Lodi; Michela Milano; Paolo Toth
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ISBN: 3642135196 ISBN-13(EAN): 9783642135194
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010.

Автор: Thomas Herault; Yves Robert
Название: Fault-Tolerance Techniques for High-Performance Computing
ISBN: 3319355600 ISBN-13(EAN): 9783319355603
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC).

Автор: Willem-Jan van Hoeve; Elvin Coban
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ISBN: 3642019285 ISBN-13(EAN): 9783642019289
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.