Electronic Books

Total Books: 1081 - 1100 /1958

Let's Talk : How English Conversation Works / David Crystal

Banter, chit-chat, gossip, natter, tete-a-tete: these are just a few of the terms for the varied ways in which we interact ...

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

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

Leveraging the Semantics of Topics Maps

The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, ...

Linkage in Evolutionary Computation

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

Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project

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

Load balancing using SDN / Mohamad Skouti ; Jasim Al-Salama ; Shaden Al-Shabta ; Rama Al-Hussein

Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance ...

Local Elites, Political Capital and Democratic Development

This book helps to understand in which ways local governing elites are important for the success or failure of national democratic ...

Location- and Context-Awareness (vol. # 3479)

Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...

Location- and Context-Awareness (vol. # 3987)

nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...

Logging in Java with the JDK 1.4 Logging API and Apache log4j

In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs ...

Long-Term Preservation of Digital Documents

Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...

Low Power Methodology Manual

"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...

M-Health

M-health: Emerging Mobile Health Systems presents recent advances in this area and explores future trends in the applications ...

MICAI 2005: Advances in Artificial Intelligence

Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...

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 Techniques and Analytics for Cloud Security / Rajdeep Chakraborty, Anupam Ghosh, Jyotsna Kumar Mandal

covers new methods, surveys, case studies, and policy with almost all machine learning techniques and analytics for cloud ...

Total Books: 1081 - 1100 /1958