 |  |  Computation Engineering: Applied Automata Theory and LogicThe 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... |  |  Mobile Radio Networks: Networking and ProtocolsThe continuing growth of the Global System for Mobile Communications (GSM) based mobile telephones has brought with it increasingly rapid growth in interest in mobile communications interconnect problems and standards. For the rapid proliferation of mobile communications to be sustained without overloading the system, harmonization of the networks... |