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 Data Science for Global Health
This book explores ways to leverage information technology and machine learning to combat disease and promote health, especially ...
Continue reading
Life System Modeling and Simulation
The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers ...
Continue reading
Life as We Know It
Life As we Know It ["LAKI"] covers several aspects of Life, ranging from the prebiotic level, origin of life, evolution ...
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 reading
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...
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 readingLiquidity, Markets and Trading in Action : An Interdisciplinary Perspective
This book addresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems ...
Continue reading
Liquidity, Markets and Trading in Action : An Interdisciplinary Perspective
Adresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems as they ...
Continue reading
Location- and Context-Awareness
These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...
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
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 ...
Continue reading
Logic Programming with Prolog
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...
Continue reading
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue reading
Logic for Programming, Aritficial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
