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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Interoperability of Enterprise Software and Applications
A concise reference to the state of the art in software interoperability, Interoperability of Enterprise Software and Applications ...
Continue reading
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 ...
Continue reading
Introduction to Geometric Computing
The geometric ideas in computer science, mathematics, engineering, and physics have considerable overlap and students in ...
Continue reading
Introduction to Programming with Fortran
Introduction to Programming with Fortran contains: lots of clear and simple examples highlighting the key language features ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
LINQ for Visual C# 2008
Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying ...
Continue reading
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
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
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 ...
Continue reading
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 ...
Continue reading
