A good database makes it easy to store, find, and report on the data you need. With a bit of the know-how in this book, you can create an outstanding relational database.

With this book, you'll discover the benefits of using the newest features to build small- to medium-scale database applications, integrate with other programs, create Web applications, and upgrade existing solutions.

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, ...

This book introduces a method for solving combinatorial optimization problems that combines constraint programming and local search, using constraints to describe and control local search, and a programming language, COMET, that supports ...

This volume was published in honor of Stefania Gnesi’s 65th birthday.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems.

Inside the Book • Create desktop databases or web apps for traditional and online users to gather, organize, and share data • Use professional templates to help you create desktop databases or web apps • Create web apps on SharePoint ...

The ninth IEEE Working Conference on Software Visualization (VISSOFT 2021) builds upon the success of the previous eight editions of VISSOFT, which in turn followed after six editions of the IEEE International Workshop on Visualizing ...

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles ...