Electronic Books

Total Books: 661 - 680 /1048
978-3-540-88138-4
Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...

Continue reading
978-3-540-33059-2
Learning and Adaption in Multi-Agent Systems

This book contains selected and revised papers of the International Workshop on Lea- ing and Adaptation in Multi-Agent Systems ...

Continue reading
978-3-540-92695-5
Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...

Continue reading
978-0-387-09729-9
Learning to Live in the Knowledge Society : IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-3-030-61467-6
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
978-3-030-61470-6
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
978-3-030-61362-4
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
978-3-030-47994-7
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
978-3-540-85068-7
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
NoIMG
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, ...

Continue reading
NoIMG
Liquidity, Markets and Trading in Action : An Interdisciplinary Perspective

This book addresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems ...

Continue reading
978-3-030-74817-3
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
978-3-540-89982-2
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
978-1-84628-212-6
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
978-0-8176-4763-6
Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Continue reading
978-3-540-48282-6
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
978-3-540-75560-9
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
978-3-540-32275-7
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
978-3-540-31650-3
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
978-3-540-89439-1
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Continue reading
Total Books: 661 - 680 /1048