Learn IT - Books tags heuristics

The Algorithm Design Manual

Springer, 1998

Most of the professional programmers that I've encountered are not well prepared to tackle algorithm
design problems. This is a pity, because the techniques of algorithm design form one of the core practical
technologies of computer science. Designing correct, efficient, and implementable algorithms for realworld
problems is a tricky...

How to Solve It: Modern Heuristics

Springer, 2004

This is not a book about algorithms . Certainly, it is full of algorithms , but that 's not what this book is about . This book is about possibilities . Its purpose is to present you not only with the prerequisite mandatory knowledge of the available problem-solving techniques , but more importantly to expand your ability to frame...

Traffic Grooming in Optical WDM Mesh Networks

Springer, 2005

Traffic Grooming in Optical WDM Mesh Networks captures the state-of-the-art in the design and analysis of network architectures, protocols, and algorithms for implementing efficient traffic grooming in optical WDM mesh networks. Key topics include: - Static traffic grooming - Dynamic traffic grooming - Grooming models and policies - Grooming node...

Software Engineering Foundations: A Software Science Perspective

Auerbach Publications, 2007

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author's 30 years of experience, it examines a wide range of underlying theories from philosophy, cognitive informatics,...

Automatic Design of Decision-Tree Induction Algorithms (SpringerBriefs in Computer Science)

Springer, 2015

Presents a detailed study of the major design components that constitute a top-down decision-tree induction algorithm, including aspects such as split criteria, stopping criteria, pruning and the approaches for dealing with missing values. Whereas the strategy still employed nowadays is to use a 'generic' decision-tree induction...

Multi-Objective Swarm Intelligent Systems: Theory & Experiences (Studies in Computational Intelligence)

Springer, 2009

Recently, a new class of heuristic techniques, the swarm intelligence has emerged. In this context, more recently, biologists and computer scientists in the field of “artificial life” have been turning to insects for ideas that can be used for heuristics. Many aspects of the collective activities of social insects,...

Humanitarian and Relief Logistics: Research Issues, Case Studies and Future Trends

Springer, 2013

This edited volume highlights recent research advances in humanitarian relief logistics. The contributed chapters span the spectrum of key issues and activities from preparedness to mitigation operations (response), planning and execution. The volume also presents state-of-the-art methods and systems through current case studies.

...

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press, 2005

The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses...

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

Prentice Hall, 2008

Even bad code can function. But if code isn’t clean, it can bring a development organization to its knees. Every year, countless hours and significant resources are lost because of poorly written code. But it doesn’t have to be that way.

Noted software expert Robert C. Martin presents a revolutionary paradigm with...

Scheduling: Theory, Algorithms, and Systems

Springer, 2016

This new edition provides an up-to-date coverage of important theoretical models in the scheduling literature as well as significant scheduling problems that occur in the real world. It again includes supplementary material in the form of slide-shows from industry and movies that...

Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)

Springer, 2012

This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It is based on numerous courses on combinatorial optimization and specialized topics, mostly at graduate level. This book reviews the...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Springer, 1982

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

Result Page: 5 4 3 2 1