Electronic Books

Total Books: 1821 - 1840 /3237
Linked Democracy : Foundations, Tools, and Applications

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

Lire la suite
Liquid Separations with Membranes An introduction to barrier interference

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

Lire la suite
Lived Nation as the History of Experiences and Emotions in Finland, 1800-2000

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

Lire la suite
Local Newforms for GSp(4)

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

Lire la suite
Logic Based Program Synthesis and Transformation (vol. # 3901)

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

Lire la suite
Logic Programming (vol. # 3668)

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

Lire la suite
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

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

Lire la suite
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

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

Lire la suite
Logic, Language, and Computation

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

Lire la suite
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

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

Lire la suite
Logica Universalis

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

Lire la suite
Logica Universalis : Towards a General Theory of Logic

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

Lire la suite
Logical Approaches to Computational Barriers

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

Lire la suite
Logical Data Modeling

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

Lire la suite
Long Memory in Economics

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

Lire la suite
Low Power Uwb Cmos Radar Sensors

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

Lire la suite
MATLAB® Recipes for Earth Sciences

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

Lire la suite
MDATA: A New Knowledge Representation Model

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

Lire la suite
NoIMG
MEGAFLOW - Numerical Flow Simulation for Aircraft Design

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

Lire la suite
MEMS/NEMS ; Handbook Techniques and Applications

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

Lire la suite
Total Books: 1821 - 1840 /3237