 |
|
 Dynamic Epistemic Logic (Synthese Library)"I am very glad to see that three people so active in this area of knowledge update are bringing out this book. It should be of great help to graduate students as well as established researchers." Rohit Parikh, Distinguished Professor, City University of New York Dynamic Epistemic Logic is the logic of knowledge change. This... |  |  Information Security Applications: 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007This book constitutes the refereed proceedings of the 8th International Workshop on Information Security Applications, WISA 2007, held in Jeju Island, Korea, August 27-29, 2007.
The 27 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 95 submissions. The papers are organized in topical... |  |  Fundamental Approaches to Software EngineeringThis book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004.
The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully... |
|
|
 X Power ToolsThis book puts you in charge of the most flexible and adaptable graphical interface in the computer industry. The X Window System underlies graphical desktops on Linux and Unix systems, and supports advanced features of modern graphics cards. More people use the X Window System than ever before, but there are few books about X in print. X Power... |  |  |  |  |
|
|
Result Page: 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 |