Electronic Books

Total Books: 821 - 840 /1323

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

This book explores ways to leverage information technology and machine learning to combat disease and promote health, especially ...

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers ...

The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. ...

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

Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, ...

This book addresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems ...

Adresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems as they ...

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

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

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

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 book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important ...

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

Total Books: 821 - 840 /1323