Computer Programming / Software Development

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011,...

TheInternationalSymposiumonParameterizedandExactComputation(IPEC, formerly IWPEC) is an international symposium series that covers research in all ...

This book constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsbur...

This book constitutes the proceedings of the 6th International Conference on Functional Imaging and Modeling of the Heart, held in New York City, N...

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, V...

Inspired by the interesting contributions to the 6th Conference on Compu- tional Methods in Systems Biology (CMSB 2008) and the Dagstuhl Seminar 09...

It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique ...

Learn to Program by Solving Problems is a practical introduction to programming using Python, one of the world's most popular programming languages...

This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 200...

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on t...

Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference. ECSA provides re...

TheseproceedingscontainthepapersselectedforpresentationatCARDIS 2010, the 9th IFIP Conference on Smart Card Research and Advanced Application hoste...

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- go...

th Thisvolumecontainsaselectionofthebestcontributionsdeliveredatthe6 - ternational Meeting on Computational Intelligence Methods for Bioinformatics...

The goal of QoSA is to addressaspects of softwarearchitecturefocusing broadly on quality characteristics and how these relate to the design of soft...

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Mode...

This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming...

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-p...

The commercial exploitation of distributed computing technologies is slowly starting to become popular under the general area of cloud computing. T...

FUN with Algorithms is a three-yearlyconference that aims at attracting works which, besides a deep and interesting algorithmic content, also prese...

TheARCSseriesofconferenceshasover30yearsoftraditionreportingtop-notch results in computer architecture and operating systems research. It is organi...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was...