Electronic Books

Total Books: 261 - 280 /540

Information and Communication Technologies in Education, Research, and Industrial Applications

This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information ...

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems

Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes a set of rigorously ...

Innovations for Requirement Analysis. From Stakeholders Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...

Innovative Concepts for Autonomic and Agent-Based Systems

This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate ...

Intelligent Agents and Multi-Agent Systems : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held ...

International Symposium on Fundamentals of Software Engineering

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...

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

LINQ for Visual C# 2008

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

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

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Mac OS X Leopard : Beyond the Manual

Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...

Total Books: 261 - 280 /540