Описание: 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.
Автор: Jean Krivine; Jean-Bernard Stefani Название: Reversible Computation ISBN: 3319208594 ISBN-13(EAN): 9783319208596 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
Автор: Bosch Название: Speed, Data, and Ecosystems ISBN: 1138198188 ISBN-13(EAN): 9781138198180 Издательство: Taylor&Francis Рейтинг: Цена: 7195.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As software R&D investment increases, the benefits from short feedback cycles using technologies such as continuous deployment, experimentation-based development, and multidisciplinary teams require a fundamentally different strategy and process. This book will cover the three overall challenges that companies are grappling with: speed, data and ecosystems. Speed deals with shortening the cycle time in R&D. Data deals with increasing the use of and benefit from the massive amounts of data that companies collect. Ecosystems address the transition of companies from being internally focused to being ecosystem oriented by analyzing what the company is uniquely good at and where it adds value.
Автор: Capers Jones Название: Software Methodologies ISBN: 1138033081 ISBN-13(EAN): 9781138033085 Издательство: Taylor&Francis Рейтинг: Цена: 17609.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied to an application of 1000 function points using the Java language. Each methodology produces a characteristic set of results for development schedules, productivity, costs, and quality. The intent of the book is to show readers the optimum kinds of methodologies for the projects they are concerned with and to warn them about counter indications and possible harm from unsuitable methodologies.
Автор: Jens Volkert Название: Parallel Computation ISBN: 3540573143 ISBN-13(EAN): 9783540573142 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 2nd International Conference of the Austrian Center for Parallel Computation (ACPC), a co-operative organization designed to promote research and education in the field of software development for parallel computer systems.
Автор: Janusz S. Kowalik; Lucio Grandinetti Название: Software for Parallel Computation ISBN: 3642634532 ISBN-13(EAN): 9783642634536 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Workshop on Software for Parallel Computation, held at Cetraro, Cosenza, Italy, June 22-26, 1992
Автор: Vaishnavi Название: Design Science Research Methods and Patterns ISBN: 1498715257 ISBN-13(EAN): 9781498715256 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.
Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT). With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method. This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality. This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.
Автор: Cecilia Di Chio; Anthony Brabazon; Marc Ebner; Mud Название: Applications of Evolutionary Computation ISBN: 3642122418 ISBN-13(EAN): 9783642122415 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 1998, EvoApplications - formerly known as EvoWorkshops - has provided a unique opportunity for EC researchers to meet and discuss application aspects of EC and has been an important link between EC research and its application in a variety of domains.
Автор: Hans Munthe-Kaas; Brynjulf Owren Название: Mathematics and Computation, a Contemporary View ISBN: 3642088414 ISBN-13(EAN): 9783642088414 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2006 Abel symposium focused on contemporary research involving interaction between computer science, computational science and mathematics. This volume presents a snapshot of current state-of-the-art, and raises questions about future research directions.
Описание: 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.
Автор: Ahmed Название: Foundations of Software Engineering ISBN: 1498737595 ISBN-13(EAN): 9781498737593 Издательство: Taylor&Francis Рейтинг: Цена: 12248.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.
Автор: Javier Esparza; Andrzej S. Murawski Название: Foundations of Software Science and Computation Structures ISBN: 3662544571 ISBN-13(EAN): 9783662544570 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Coherence Spaces and Higher-Order Computation.- Coherence Spaces and Uniform Continuity.- The Free Exponential Modality of Probabilistic Coherence Spaces.- From Qualitative to Quantitative Semantics by Change of Base.- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra.- Algebra, coalgebra, and minimization in polynomial differential equations.- Equational Theories of Abnormal Termination Based on Kleene Algebra.- Companions, Codensity and Causality.- Nominal Automata with Name Binding.- Games and Automata.- On the existence of weak subgame perfect equilibria.- Optimal Reachability in Divergent Weighted Timed Games.- Bounding Average-energy Games.- Logics of repeating values on data trees and branching counter systems.- Automata, Logic and Formal Languages.- Degree of sequentiality of weighted automata.- Emptiness under isolation and the value problem for hierarchical probabilistic automata.- Partial Derivatives for Context-Free Languages.- Dynamic Complexity of the Dyck Reachability.- Proof Theory.- Cyclic Arithmetic is Equivalent to Peano Arithmetic.- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs.- Probability.- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.- Computing continuous time Markov chains as transformers of unbounded observation functions.- Pointless Learning.- On Higher-Order Probabilistic Subrecursion. - Concurrency.- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus.- Local Model Checking in a Logic for True Concurrency.- The Paths to Choreography Extraction.- On the Undecidability of Asynchronous Session Subtyping.- Lambda Calculus and Constructive Proof.- A Lambda-Free Higher-Order Recursive Path Order.- Automated Constructivization of Proofs.- Semantics and Category Theory.- A Light Modality for Recursion.- Unifying Guarded and Unguarded Iteration.- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type.- On the Semantics of Intensionality.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
