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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
Linkage in Evolutionary Computation
The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. ...
Continue readingLinked 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, ...
Continue readingLoad 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 ...
Continue reading
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 ...
Continue reading
Location- and Context-Awareness (vol. # 3479)
Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Low Power Methodology Manual
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
Continue reading
M-Health
M-health: Emerging Mobile Health Systems presents recent advances in this area and explores future trends in the applications ...
Continue reading
MICAI 2005: Advances in Artificial Intelligence
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...
Continue reading
MICAI 2006: Advances in Artificial Intelligence
This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial ...
Continue reading
MICAI 2007: Advances in Artificial Intelligence
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
