These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically...

See it done. Do it yourself. It’s that Easy! Easy Computer Basics, Windows 7 Edition  teaches you the fundamentals to help you get the most from your computer hardware and software. Fully illustrated steps with simple instructions guide you through each task, building the skills you need to perform the most common computer tasks....

I have had the pleasure to work with Dynamics CRM since its 1.1 version. I can be honest—I didn’t feel cheated when Microsoft skipped the 2.0 release, and although it has been a late bloomer in the CRM market, it has gained significant traction over the last few releases and manages to land in the right (top right, to be specific)...

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all...

The main goal of the new field of data mining is the analysis of large and complex datasets. Some very important datasets may be derived from business and industrial activities. This kind of data is known as enterprise data . The common characteristic of such datasets is that the analyst wishes to analyze them for the purpose of designing a...

The Enterprise Java™ platform, Java EE 6, is getting a facelift … JavaServer™ Faces (JSF™) 2, is a big part of what’s new in Java EE 6! JSF 2, a significant upgrade from JSF 1.2, now includes Facelets and integration/use options with a variety of web frameworks, including the popular JBoss® Seam and even the...

Open source software, also known as free software, now offers a creative platform with world-class programs. Just ask the people who have completed high-quality projects or developed popular web 2.0 sites using open source desktop applications. This phenomenon is no longer underground or restricted to techies—there have been more than 61...

The modern field of nonvolatile digital information storage is a bit more than a half-century old. During its history, the field has seen a small handful of technologies (magnetic tape, magnetic hard disk, magnetic flexible disk, consumer-derived optical disk) take root as ‘mainstream’. These technologies have persisted in the...