programmieren  (5 263 Angebote unter 18 330 411 Artikeln)

User Community Discovery

This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.The 18 revised full papers presented we...

This book constitutes the thoroughly refereed post-conference proceedings of the 7 EAI International Conference on Sensor Systems and Software, S-Cube 2016, held in Sophia Antipolis, Nice, France, ...

Flow Analysis of Sequential and Parallel Programs

SQL ist die weitverbreitetste Datenbanksprache für die Arbeit mit relationalen Datenbanken und für die effiziente Arbeit mit Datenbanken unerlässlich. In diesem Buch erhalten Sie eine umfassende, p...

Ein sauberes, nachhaltiges und erweiterbares Softwaredesign ist die Grundlage professioneller Softwareentwicklung - ob Sie bereits als Softwareentwickler oder -entwicklerin tätig sind, oder sich no...

This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul...

5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings

This book constitutes the refereed proceedings of the 22nd International Symposium on String Processing and Information Retrieval, SPIRE 2015, held in London, UK, in September 2015. The 28 full and...

Wilfried Grupe ist seit mehr als 15 Jahren IT-Trainer mit Schwerpunkt XML und hat seitdem fast 400 Fachseminare geleitet.

Inhaltsübersicht.- Automation und Digitalisierung in der astronomischen Meßtechnik.- The Importance of the Programming Language ALGOL for Automation in Astronomical Research.- The Ephemeris of Doub...

This book, edited by four of the leaders of the National Science Foundation's Global Environment and Network Innovations (GENI) project, gives the reader a tour of the history, architecture, future...

1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Class...

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

Biomodel Engineering - From Structure to Behavior.- The Attributed Pi-Calculus with Priorities.- A Language for Biochemical Systems: Design and Formal Specification.- Mechanistic Insights into Meta...