B`98: Recent Advances in the Development and Use of the B Method, Bert Didier

Автор: Carlos Cotta; Jano van Hemert
Название: Recent Advances in Evolutionary Computation for Combinatorial Optimization
ISBN: 3540708065 ISBN-13(EAN): 9783540708063
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Combinatorial optimisation is a ubiquitous discipline whose usefulness spans vast applications domains. This title presents advances in the area of metaheuristic combinatorial optimisation, with a focus on evolutionary computation methods. It addresses local search methods and hybrid approaches.

Автор: Francesco Parisi-Presicce
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3540642994 ISBN-13(EAN): 9783540642992
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT `98, held in Italy, in June 1997. This book presents the state-of-the-art in the area of algebraic software development.

Автор: Mihai Codescu; R?zvan Diaconescu; Ionu? ?u?u
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3319281135 ISBN-13(EAN): 9783319281131
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

On Logic Embeddings and Gцdel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An Empirical Study.- A Full Operational Semantics for Asynchronous Relational Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.

Автор: William E. Hart; Natalio Krasnogor; J.E. Smith
Название: Recent Advances in Memetic Algorithms
ISBN: 3642061761 ISBN-13(EAN): 9783642061769
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Memetic algorithms are evolutionary algorithms that apply a local search process to refine solutions to hard problems.

Автор: Carlos Cotta; Jano van Hemert
Название: Recent Advances in Evolutionary Computation for Combinatorial Optimization
ISBN: 3642089739 ISBN-13(EAN): 9783642089732
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This cutting-edge volume presents recent advances in the area of metaheuristic combinatorial optimisation, with a special focus on evolutionary computation methods. Moreover, it addresses local search methods and hybrid approaches.

Автор: Angelo Oddi; Fran?ois Fages; Francesca Rossi
Название: Recent Advances in Constraints
ISBN: 3642032508 ISBN-13(EAN): 9783642032509
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.