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 ...
اقرأ المزيد
