You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one coveri...
Offers an up-to-date, unified treatment of combinatorial algorithms to solve network flow problems for graduate students and professionals.
This is the second volume of a two-volume graduate text in set theory. The first volume covered the basics of modern set theory and was addressed primarily to beginning graduate students. The second volume is intended as a bridge between introductory set theory courses such as the first volume and advanced monographs that cover selected branches of set theory. The authors give short but rigorous introductions to set-theoretic concepts and techniques such as trees, partition calculus, cardinal invariants of the continuum, Martin's Axiom, closed unbounded and stationary sets, the Diamond Principle, and the use of elementary submodels. Great care is taken to motivate concepts and theorems presented.
This book constitutes the refereed proceedings of the Fifth Theory of Cryptography Conference, TCC 2008. It covers the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems.
Cloud Computing and Digital Media: Fundamentals, Techniques, and Applications presents the fundamentals of cloud and media infrastructure, novel technologies that integrate digital media with cloud computing, and real-world applications that exemplify the potential of cloud computing for next-generation digital media. It brings together technologies for media/data communication, elastic media/data storage, security, authentication, cross-network media/data fusion, interdevice media interaction/reaction, data centers, PaaS, SaaS, and more. The book covers resource optimization for multimedia cloud computing—a key technical challenge in adopting cloud computing for various digital media appl...