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
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, ...
Continue reading
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, ...
Continue reading
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 ...
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 Programming and Nonmonotonic Reasoning
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...
Continue reading
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, ...
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
Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
Continue reading
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
Continue reading
Managing Development and Application of Digital Technologies
Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology ...
Continue reading
Managing Humans
Managing Humans is a selection of the best essays from Michael Lopp's web site, Rands in Repose. Drawing on Lopp's management ...
Continue reading
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, ...
Continue reading
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
Continue reading
