As businesses and consumers become more dependent on complex multinational information systems, the need to understand and devise sound information security systems has never been greater. This title takes a practical approach to information security by focusing on real-world examples. While not...
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.
The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency...
Classical statistical techniques fail to cope well with deviations from a standard distribution. Robust statistical methods take into account these deviations while estimating the parameters of parametric models, thus increasing the accuracy of the inference. Research into robust methods is flourishing, with new methods being developed and...
This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The proceedings of the World Computer Congress are a product of the gathering of 2,000 delegates from more than 70 countries to discuss a myriad of topics in the ICT domain. Of particular note, this marks the first time that a World Computer Congress has...
Fluid mechanics is a field that spreads widely and to all fields of engineering, science and medicine. The book takes this into account and provides a sound basis.
This is a modern book on fluid mechanics that is written in a way needed these days to teach the subject to students in engineering and science at higher educational institutes. The...
The book issued by two professors at MIT is intended to initiate a new approach in presenting and developing analog and digital electronics. Traditionally, analog and digital elements and circuits are given in separate courses. Here, the authors want to show that in presenting both topics (analog and digital), a deeper insight of the real...
Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of fundamental computer science topics and techniques. It also illustrates how the topics and techniques come together to deliver efficient solutions to important practical problems.
Mechanical Engineering being core subject of engineering and Technology, is taught to almost all branches of engineering, throughout the world. The subject covers various topics as evident from the course content, needs a compact and lucid book covering all the topics in one volume. Keeping this in view the authors have written this book,...
This book presents traditional introductory topics in database theory in an accessible and thorough manner. The author conveys a clearer introduction than competing books through his organization of the material and lucid explanations of the concepts. Its presentation and style differ from existing works, most notably in the emphasis on...
This book provides insight and enhanced appreciation of analysis, modeling and control of dynamic systems. The reader is assumed to be familiar with calculus, physics and some programming skills. It might develop the reader’s ability to interpret physical significance of mathematical results in system analysis. The book also prepares...
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing...