Electronic Books

Total Books: 1201 - 1220 /1306

rne Naess is considered one of the most important philosophers of the twentieth century. He has been a tremendously prolific ...

almost half a century ago. Today, after so many years of feverish research and uncountable efforts worldwide, the end of ...

PrefaceThis volume contains the papers presented at the First International Seman-tic Web Conference (ISWC 2002) held in ...

It offers a glimpse into the opening door of semantic technologies by means of concentrated examples of semantic applications ...

The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit ...

In this book Robert McCarter presents a persuasive defence of why and how interior spatial experience is the necessary starting ...

Recurrent event data arise in diverse fields such as medicine, public health, insurance, social science, economics, manufacturing ...

The random-walk technique, well known in physics, is also the basic model in finance, upon which are built, for example, ...

The recent past shows a growing interest in cultural specificities. This new-found focus has its origin in reports about ...

This book describes the development of horse behaviour, and the way in which the management of horses today affects their ...

In this volume the unique and common features of rhabdoviruses, particularly their morphological, molecular, and pathogenic ...

It asks the far-reaching question why, when there are five senses, has one single sense – sight – become so predominant ...

This study aims to assess the role of the private banks in the economic development in Syria. The annual data of the financial ...

Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Total Books: 1201 - 1220 /1306