Bücher für Datenbanken - englischsprachig  (22 018 Angebote unter 17 424 879 Artikeln)

Fast-track conference proceedings State-of-the-art research Up-to-date results

18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers pre...

On a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour...

17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

This open access book constitutes the proceedings of the 28  European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Jo...

State-of-the-Art and Research Perspectives

This book constitutes the refereed proceedings of the 14th International Conference on Product-Focused Software Process Improvement, PROFES 2013, held in Paphos, Cyprus, in June 2013. The 22 revise...

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers pr...

Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognitio...

This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December ...

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two confer...

This two-volume set presents selected and revised papers from the 10th International Conference of Production Research - Americas, ICPR-Americas 2020, held in Bahía Blanca, Argentina, in December 2...

This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004. The ESOP series began in 1986 with t...