This book is an introduction to nature-analogous techniques and related formal methods. It covers cellular automata and Boolean networks, evolutionary algorithms, as well as simulated annealing, fuzzy methods, neural networks, and finally hybrid systems, i.e., combinations of various techniques.