Free Delivery Over $100
15448 books were found.
Read More >>
Mutation has received the attention of software developers and testers in such diverse areas as network protocols... Read More >>
This book comprises the refereed papers together with the invited keynote papers, presented at the Second International... Read More >>
Provides a unified treatment of deterministic global optimization. This book introduces theoretical and algorithmic... Read More >>
Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent... Read More >>
Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000 Read More >>
Optimization in Computational Chemistry and Molecular Biology: Local and Global Approaches covers recent developments... Read More >>
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. Soft... Read More >>
In contrast to other literature about B2B integration this book neither focuses on mere management or product related... Read More >>
BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of... Read More >>
In recent years global optimization has found applications in many interesting areas of science and technology... Read More >>
With acceptance of agent-based computing, research related to the identification and definition of suitable models,... Read More >>