programmieren  (5 263 Angebote unter 18 330 287 Artikeln)

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

From Marriages to Coalitions: A Soft CSP Approach.- Solving CSPs with Naming Games.- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.- Challenges in C...

As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully...

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IE...

Invited Talk.- Rewriting Logic and Maude: Concepts and Applications.- Invited Tutorial.- Tree Automata and Term Rewrite Systems.- Regular Papers.- Absolute Explicit Unification.- Termination and Co...

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ...

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, Fr...

Automatisieren Sie Prozesse, entwickeln Sie mühelos Apps und erstellen Sie schnell Business Sites mit den neuen Low-Code-Lösungen von SAP Build! Sie erfahren alles über die strategische Nutzung der...

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Search User Interfaces and Information-Seeking Behaviour

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full...

Band 3: Analyse und Transformation

This monograph provides a modern introduction to the theory of quantales.

First COST Action IC1302 International KEYSTONE Conference, IKC 2015, Coimbra, Portugal, September 8-9, 2015. Revised Selected Papers