The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity...

"The mechatronic servo system is the major theme studied in this book. … The book contains an index, a glossary of terms, a collection of symbols and a description of experimental devices used in experiments. The book will be useful not only in the research or teaching the mechatronic...

If you're a programmer who learns best when you see how something is done, this book will have you up and running with ActionScipt in no time. Step-by-step, two-page lessons show you the core programming foundations you must master to...

Written by the architects of the Enterprise JavaBean (EJB) specification, Applying Enterprise JavaBeans(TM), Second Edition is an advanced programming guide and reference source which has been updated and expanded to reflect updates in the EJB 2.1 specification. This book is an invaluable...

Developed by the authors in collaboration with other researchers at the Centre of Material and Process Synthesis, column profile maps (CPMs) enable chemical engineers to design almost any distillation structure using novel...