Bücher zur Softwareentwicklung - englischsprachig  (535 Angebote unter 29.297.880 Artikeln)

with C++ and Java Simulations

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems.  In such a problem, the goal is to find a solution among a large but finite number of possi...

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of th...

Applications in Python(TM)

EvoWorkshop 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003, Proceedings

Beyond-CMOS Technologies for Next Generation Computer Design

Codes and character sums.- Codes from some Artin-Schreier curves.- Families of codes exceeding the Varshamov-Gilbert bound.- Polynomial factorization using Brill-Noether algorithm.- New bounds on c...

With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators. By allowing users to make use of software (or ...

C++ Programming

Advances and problems in the field of compiler compilers are the subject of the 2nd CCHSC Workshop which took place in Berlin, GDR, in October 1988. The 18 papers which were selected for the worksh...

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers pr...

Generic Editors for the World Wide Web.- Fully Automatic Testing with Functions as Specifications.- Functional Array Programming in SaC.- Exploiting Purely Functional Programming to Obtain Bounded ...

Papers from Invited Talks.- Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.- Improved Memory-Access Analysis for x86 Executables.- Analyses and Transformatio...

Ralf Karrenberg presents Whole-Function Vectorization (WFV), an approach that allows a compiler to automatically create code that exploits data-parallelism using SIMD instructions. Data-parallel ap...

Modules.- Data types.- Semantics.- The library.- Notation.- Lexical considerations.- Types, type generation, and type specifications.- Scopes, declarations, and equates.- Assignment and invocation....