Programmiersprachen (1 261 Artikel)

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal La...

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the ...

The Creation of the SeqAn3 Bioinformatics Library

The Creation of the SeqAn3 Bioinformatics Library

Begriffe, Anweisungen, Funktionen

LANCELOT is a software package for solving large-scale nonlinear optimization problems. This book is our attempt to provide a coherent overview of the package and its use. This includes details of ...

LANCELOT is a software package for solving large-scale nonlinear optimization problems. This book is our attempt to provide a coherent overview of the package and its use. This includes details of ...

Basic Notation and Terminology.- Janusz Brzozowski.- Maxime Crochemore, Thierry Lecroq.- Jozef Gruska.- Tom Head, Dennis Pixton.- Lucian Ilie.- Jarkko Kari.- Satoshi Kobayashi.- Hans-Jörg Kreowski,...

Modeling, Analyzing and Integrating Heterogeneous Data

The NCL Natural Constraint Language

Introduction to Programming with Fortran

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...

Beyond-CMOS Technologies for Next Generation Computer Design

Parts of this text were used for several years by students in a one~term under graduate course in computer science. The students had to prepare projects in small groups (2~4 students).1 This book e...

Der "Olivier" stellt die Basisideen der Windows-Programmierung dar und vermittelt die sprachlichen Mittel, um betriebswirtschaftliche Anwendungen in C zu entwickeln. Er bezieht sich identisch auf W...