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