This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee masThis book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...
Lee masThis book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
Lee masThis volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Lee masThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lee masThis no-fluff desk reference offers direct access to the information you need to get the job done. It covers basic T-SQL ...
Lee masConstitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lee masThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lee masThe Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Lee masThe objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves ...
Lee masOver the last few decades, important progresses in the methods of sampling have been achieved. This book draws up an inventory ...
Lee masThe book presents the statistical knowledge and methodology of sampling and data analysis useful for spatial inventory and ...
Lee masThere has been a complete transition from analog to digital communication systems, withanalog techniques replaced by digital ...
Lee masThe economy of the 21st century in the OECD countries and in China, is characterized by a new phenomenon: the structural ...
Lee masThis book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...
Lee masThe book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...
Lee masThis book is devoted to the study of scalar and asymptotic scalar derivatives and their applications to some problems in ...
Lee masThis book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer ...
Lee masScanning Probe Microscopy provides a comprehensive source of information for researchers, teachers, and graduate students ...
Lee masThe scattering of electromagnetic radiation by nonspherical particles has become an increasingly important research topic ...
Lee mas