Learn IT - Books tags heuristics

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...

Experimental Research in Evolutionary Computation: The New Experimentalism (Natural Computing Series)

Springer, 2006

Experimentation is necessary - a purely theoretical approach is not reasonable. The new experimentalism, a development in the modern philosophy of science, considers that an experiment can have a life of its own. It provides a statistical methodology to learn from experiments, where the experimenter should distinguish between statistical...

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...

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...

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...

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...

Scheduling Algorithms

Springer, 2007

From the reviews of the fourth edition:

"This is a book about scheduling algorithms. … The book contains eleven chapters. … Most of the chapters contain the summarized complexity results. In this edition the complexity columns have been updated. The book is completed by the bibliography which also has been updated and...

Model Checking Software

Springer, 2004

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are...

Result Page: 4 3 2 1