Electronic Books

Total Books: 581 - 600 /869

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

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

Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...

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 ...

Logic, Language, and Computation

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

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logical Approaches to Computational Barriers

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

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Logical Aspects of Computational Linguistics

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

Logical Foundations for Rule-Based Systems

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

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 ...

MICAI 2007: Advances in Artificial Intelligence

The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized ...

Machine Ethics

This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...

Machine Learning Challenges

This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...

Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17–20, 2021, Proceedings

This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020

This book proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It ...

Machine Learning for Cyber Physical Systems

This book presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical ...

Market Segmentation Analysis

This open access book offers something for everyone working with market segmentation: practical guidance for users of market ...

Market-Conform Valuation of Options

we will investigate the 'market-conform' pricing of newly issued contingent claims. A contingent claim is a derivative ...

Mathematical Foundations of Computer Science 2007

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...

Mathematical Methods for Engineers and Geoscientists

This book introduces and explains classical and modern mathematical procedures as applied to the real problems confronting ...

Total Books: 581 - 600 /869