Electronic Books

Total Books: 481 - 500 /785

Internet of Things and Machine Learning in Agriculture / Vishal Jain

Machine Learning (ML) and the Internet of Things (IoT) can play a very promising role in the agricultural industry. Some ...

Introducing Robotic Process Automation to Your Organization : A Guide for Business Leaders / Robert Fantina, Andriy Storozhuk, Kamal Goyal

Enables you, a novice to RPA, to successfully implement an RPA program at your company. RPA is rapidly growing in use, but ...

Introduction to Advanced System-on-Chip Test Design and Optimization

SOC test design and its optimization is the topic of Introduction to Advanced System-on-Chip Test Design and Optimization. ...

Introduction to Discrete Event Systems

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a ...

Introduction to the Theory of Computation / Michael Sipser

Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...

Intrusion Detection Systems

Sٍheds new light on defense alert systems against computer and network intrusions. It also covers integrating intrusion ...

Knowledge and Skill Chains in Engineering and Manufacturing

This book explores knowledge and skill chains in engineering and manufacturing in the age of global communications. Information ...

LATIN 2006: Theoretical Informatics

This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, ...

LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...

Leading Edge Technologies in Fashion Innovation : Product Design and Development Process from Materials to the End Products to Consumers / Young-A Lee

Offers cutting-edge knowledge on various design and product development related technologies, and applications of these technologies ...

Leonardo´s Lost Robots

The book reinterprets Leonardo's legacy of notes, showing that apparently unconnected fragments from dispersed manuscripts ...

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

Liapunov Functions and Stability in Control Theory

This book presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework ...

Linked Democracy : Foundations, Tools, and Applications

This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...

Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

Logic for Computer Scientists

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

Logic for Programming, Aritficial Intelligence, and Reasoning

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

Total Books: 481 - 500 /785