 |
|
 Relativism and Monadic Truth
Relativism has dominated many intellectual circles, past and present, but the twentieth century saw it banished to the fringes of mainstream analytic philosophy. Of late, however, it is making something of a comeback within that loosely configured tradition, a comeback that attempts to capitalize on some important ideas in foundational... |  |  The Future of Software Engineering
This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent researchers and technologists who have shaped the field: Barry Boehm, Manfred Broy, Patrick Cousot, Erich Gamma, Yuri Gurevich, Tony Hoare, Michael... |  |  |
|
 BlackBerry All-in-One For Dummies
Hi there, and welcome to BlackBerry All-in-One For Dummies. If you already have a BlackBerry, this is a great book to have around when you want to discover new features or need something to use as a reference. If you don’t have a BlackBerry yet and have some basic questions (such as “What is a BlackBerry?” or “How can... |  |  IBM InfoSphere Replication Server and Data Event Publisher
Business planning is no longer just about defining goals, analyzing critical issues, and then creating strategies. You must aid business integration by linking changed-data events in DB2 databases on Linux, UNIX, and Windows with EAI solutions , message brokers, data transformation tools, and more. Investing in this book will save you many... |  |  Effective C++: 50 Specific Ways to Improve Your Programs and Design (2nd Edition)
This book is a direct outgrowth of my experiences teaching C++ to professional programmers. I've found that most students, after a week of intensive instruction, feel comfortable with the basic constructs of the language, but they tend to be less sanguine about their ability to put the constructs together in an effective manner. Thus... |
|
 Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
The Semantic Web is the realization of an aspect of the Web that was part of the original hopes and dreams of 1989, but whose development has, until now, taken a back seat to the Web of multimedia human-readable material. Even though at the first WWW conference, in 1994, I ended my talk with a few slides about the Semantic Web, the steps... |  |  |  |  Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010
The present volume contains the proceedings of the seventh international workshop on Formal Aspects of Security and Trust (FAST 2010), held in Pisa, Italy, 16–17 September 2010, as part of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010).
FAST aims to foster cooperation among... |
|
|
| Result Page: 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 |