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