Electronic Books

Total Books: 1821 - 1840 /3237

This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...

On the level of a textbook a self-consistent approach to liquid separations with membranes is presented, contrasting equilibrium ...

This Finland in the nineteenth and twentieth centuries as an empirical case in order to study the emergence, shaping and ...

Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local ...

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...

Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

LOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter ...

When applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic ...

Low Power UWB CMOS Radar Sensors deals with the problem of designing low cost CMOS radar sensors. The radar sensor uses UWB ...

MATLAB® is used in a wide range of applications in geosciences, such as image processing in remote sensing, generation and ...

This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent ...

This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...

Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...

Total Books: 1821 - 1840 /3237