Programmiersprachen (1 261 Artikel)

1 Formale Grundlagen.- 1.1 Syntax der Prädikatenlogik 1. Stufe.- 1.2 Semantik der Sprache 1. Stufe.- 1.3 Fundierte Mengen.- 1.4 Konstruktion fundierter Mengen.- 1.5 Konfluente Relationen.- 2 Funkti...

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotatione...

The Creation of the SeqAn3 Bioinformatics Library

The Creation of the SeqAn3 Bioinformatics Library

Haben Sie etwas zu verbergen? Passwörter? Ihr Tagebuch? Sind Sie Berufsgeheimnisträger, z.B. Arzt oder Anwalt? Dann sollten Sie Ihre Daten verschlüsseln. Aber sind Ihre Daten auch sicher verschlüss...

This book was originally written to support an introductory course in Object Orientation through the medium of Smalltalk (and VisualWorks in particular). However, it can be used as a book to teach ...

In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authe...

Following the successful workshops held in St. Andrews, Scotland, UK in 2004 (EWSA 2004, Springer LNCS 3527) and in Pisa, Italy in 2005 (EWSA 2005, Springer LNCS 3047), the 3rd European Workshop on...

Research in software composition investigates models and techniques to build systems from prede?ned, pretested, reusable components instead of building them from scratch. In recent years, this idea...

The use of commercial standard software is increasing in importance throughout the world. With its R/3 product, SAP AG has brought the package on the market that provides the most comprehensive fun...

Specification of Systems and Languages

This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. The 19 revised full paper...

This book constitutes the refereed proceedings of the 6th International Conference on Software Language Engineering, SLE 2013, held in Indianapolis, IN, USA, in October 2013. The 17 technical paper...

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 pa...

With SPLC 2005 we celebrated the formation of a new conference series, the International Software Product Line Conference (SPLC) which results from the "uni?cation" of the former series of three SP...