"Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunications and work-flow management systems." — From the back cover

"This timely and synoptic text contains the essentials of queueing networks, from the classical product-form theory to the more recent developments such as diffusion and fluid limits, stochastic comparisons, stability, dynamic scheduling, and optimization." — From the back cover

"Introducing Monte Carlo Methods with R covers the main tools used in statistical simulation from a programmer's point of view, explaining the R implementation of each simulation technique and providing the output for better understanding and comparison." — From the back cover

"With the exception of Chapter 4, this book is based entirely on research papers on telephone systems written by the author at Bell Telephone Laboratories during the 10 years prior to 1964. ... All the papers represented in the book appeared in the Bell System Technical Journal." — From the Preface (page ix)

"This book will be a great value to anyone interested in image compression...It is certainly the best description of fractal compression to date, and should be the reference in this field for several years to come." — John H. Hubbard, Professor of Mathematics, Cornell University

This book "is a reference text for advanced undergraduate and graduate level courses in telecommunications engineering and networking. It will also serve as a useful work for systems engineers involved in network dimensioning." — From the back cover

"This volume is a printed version of a work that appears in the Synthesis Digital Library of Engineering and Computer Science. Synthesis Lectures provide concise, original presentations of important research and development topics..." — From the back cover

"The volume investigates the structure of eigenvectors and looks at the number of their sign graphs ('nodal domains'), Perron components, graphs with extremal properties with respect to eigenvectors. The Rayleigh quotient and rearrangement of graphs form the main methodology." — From the back cover

"Vector Quantization and Signal Compression is devoted to the theory and practice of signal compression: i.e., data compression applied to signals such as speech, audio, images and video signals." — From the back cover

"With the increasing deployment of fiber in networks, the risk of losing large volumes of traffic data due to a fiber span cut or node failure has escalated. Because of fierce competition among service providers and customers' intolerance of disruption of service, survivability of a network has become an issue of paramount importance." — From Back Cover

Publisher

Privacy Policy

It is our policy that both consignor and customer names and contact information are kept private and are used only for private communication with Another Turn Used Books. However, non-profit consignors have the option to reveal their names in their dedicated pages of the catalog.