This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Continue readingThisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Continue readingThis book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...
Continue readingThe main topics included all technical aspects of data security, including: anonymity,authentication,blockciphers,complexity-basedcryptography,cry- ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...
Continue readingIt provides a lens into a range of subjects within the history of knowledge and science, gender and social history, postcolonial, ...
Continue readingOn behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...
Continue readingThe technical program of SPLC 2005 included. – two keynotes from David Weiss (Avaya, USA) and Jan Bosch (Nokia, F- land), ...
Continue readingThis volume is the outgrowth of several international meetings to discuss a vision for the future of solar radio physics: ...
Continue readingSqueak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Continue readingThis volume presents the main environmental security challenges facing transition countries, as well as practical methods ...
Continue readingThis is the first volume in a series of books on the general theme of Supersymmetric Mechanics; the series is based on lectures ...
Continue readingThe 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
Continue readingThe Asia Simulation Conference 2006 (JSST 2006) was aimed at exploring challenges in methodologies for modeling, control ...
Continue readingThis volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Continue readingThis book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Continue readingThese present proceedings include the majority of the workshop’s contributions and document the status quo of instrument ...
Continue readingThe advanced course on The geometry of the word problem for fnitely presented groups was held July 5-15, 2005, at the Centre ...
Continue readingThe phone call came mid-afternoon in February of 1996. The program chair for the annual meeting for the Southern Society ...
Continue reading