Electronic Books

Total Books: 361 - 380 /687

Interoperability of Enterprise Software and Applications

A concise reference to the state of the art in software interoperability, Interoperability of Enterprise Software and Applications ...

Introduction to C++ : 500+ Difficulty-Scaled Solved Programming Exercises / George S. Tselikis

Includes more than 500 exercises and examples of progressive difficulty to aid the reader in understanding the C++ principles ...

Introduction to Geometric Computing

The geometric ideas in computer science, mathematics, engineering, and physics have considerable overlap and students in ...

Introduction to Programming with Fortran

Introduction to Programming with Fortran contains: lots of clear and simple examples highlighting the key language features ...

Introduction to Reconfigurable Computing : Architectures, Algorithms, and Applications

“Introduction to Reconfigurable Computing” provides a comprehensive study of the field Reconfigurable Computing. It provides ...

Introduction to Scientific Programming with Python

This book offers an initial introduction to programming for scientific and computational applications using the Python programming ...

Introduction to Software Design with Java / Martin P. Robillard

Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...

Issues in Multi-Agent Systems : The AgentCities.ES Experience

The purpose of this book is to present current status of this technology by looking at its application in different domains, ...

JavaScript Data Structures and Algorithms: An Introduction to Understanding and Implementing Core Data Structure and Algorithm Fundamentals / Sammie Bae

Combines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all ...

Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering

The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, ...

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...

Knowledge-Based Intelligent Information and Engineering Systems (vol. # 4252)

Delegates and friends, we are very pleased to extend to you the sincerest of welcomes to this, the 10th International Conference ...

LINQ for Visual C# 2008

Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying ...

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

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

Logic Programming and Nonmonotonic Reasoning

Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...

Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

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

Total Books: 361 - 380 /687