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