Free Delivery Over $100
15490 books were found.
This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the... Read More >>
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress... Read More >>
The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods... Read More >>
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical... Read More >>
Read More >>
With an up-to-date view of the results of UML semantics and the practical applications of semantics development,... Read More >>
This handbook is a comprehensive presentation of the latest developments in the vast and vastly multi-disciplinary... Read More >>
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating... Read More >>
Die Object Management Group, ein unabhängiges Gremium mit der Zielsetzung, objekt-orientierte Methoden und Techniken... Read More >>
The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles... Read More >>
The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada,... Read More >>
The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown... Read More >>
It is imperative to equip practitioners with a workable framework to manage component-based development in distributed... Read More >>
Presents a business-relevant project management solution that can be readily applied in different industries by... Read More >>
This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel... Read More >>
This is the official guide and reference manual for Subversion 1.6 - the popular open source revision control technology.... Read More >>
Computer Architecture/Software Engineering Read More >>
The third issue of Debugged! MZ/PE magazine is dedicated to software tracing, discussing how to take a unified... Read More >>
The International Workshop on Enterprise Interoperability, IWEI, aims at identi- ing and discussing challenges and... Read More >>
Information technology is a rapidly changing field in which researchers and devel- ers must continuously set their... Read More >>
The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected... Read More >>
Constitutes the refereed proceedings of three joint events - the International Workshop on Software Measurement,... Read More >>