Software Engineering books

Abgesehen von der telepathischen Übertragung der Gedanken, die außerhalb der Betrachtung in diesem Buch stehen,...  Read More >>

Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei...  Read More >>

 Read More >>

Ausführliche Beispiele, Aufgaben und ein Glossar vertiefen das Wissen und bieten zahlreiche weitere Ideen und Anwendungen....  Read More >>

<p>This book will provide you with a comprehensive guide to developing games for both the Windows Mobile platform...  Read More >>

 Read More >>

<p>This book provides a fresh take on Microsofts premier collaboration solution. A critical resource if youre developing...  Read More >>

On behalf of the NDT 2010 conference, the Program Committee and Charles University in Prague, Czech Republic, we...  Read More >>

Constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming,...  Read More >>

Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010,...  Read More >>

Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability...  Read More >>

Constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming,...  Read More >>

Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held...  Read More >>

Computer Architecture/Software Engineering  Read More >>

More and more Agile projects are seeking architectural roots as they struggle with complexity and scale - and they're...  Read More >>

""An insider’s guide to translating the creative techniques of jazz to the business world.” Scott Berkun, author...  Read More >>

Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague,...  Read More >>

The goal of the International Conference on Software Composition is to advance the state of research on modularity...  Read More >>

As the first to include the American Society for Quality's research , Software Design for Six Sigma provides design...  Read More >>

Contains a selection of the papers presented at the 10th International Workshop on Multi-Agent-Based Simulation...  Read More >>

Model transformations are the glue that tie modelling activities together. Model transformations have humble beginnings—at...  Read More >>

The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track...  Read More >>

Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held...  Read More >>

Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make...  Read More >>

constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010,...  Read More >>