Electronic Books

Total Books: 721 - 740 /1153

Knowledge-Based Intelligent Information and Engineering Systems : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III

The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International ...

Language Technologies for the Challenges of the Digital Age

This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational ...

Languages and Compilers for High Performance Computing

Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ...

Learn to Tango with D

Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. ...

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

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

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

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

Linguistics for the Age of AI

One of the original goals of artificial intelligence research was to endow intelligent agents with human-level natural language ...

Literature-based Discovery

When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based ...

Location, Transport and Land-Use

this book would guide the siting of facilities, the book also shows the use of statistical tools for forecasting and analyzing ...

Logic Programming with Prolog

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

Logical Aspects of Computational Linguistics

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

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

MCITP self-paced training Kit (Exam 70-444) : optimizing and maintaining a database administration solution microsoft SQL server 2005 / Orin Thomas, Ian Mclean

Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Monitor and ...

MDATA: A New Knowledge Representation Model

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

MICAI 2006: Advances in Artificial Intelligence

This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial ...

MICAI 2007: Advances in Artificial Intelligence

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

MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

Machine Learning : The Basics / Alexander Jung

Approaches ML as the computational implementation of the scientific principle. This principle consists of continuously adapting ...

Machine Learning Applications in Civil Engineering / Kundan Meshram

Discusses machine learning and deep learning models for different civil engineering applications. These models work for stochastic ...

Machine Learning Challenges

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

Total Books: 721 - 740 /1153