programmieren  (5 266 Angebote unter 18 331 344 Artikeln)

This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 sho...

We wish to extend a warm welcome to the reader of this extended postp- ceedings publication of SAG 2004, the 1st International Workshop on Scienti?c Applications on Grid Computing. This workshop wa...

Recent Advances in Harmony Search Algorithm

1. Grundlagen der Signalübertragung.- 1. Einleitung und Definitionen.- 2. Verzerrungen und Rauschen.- 3. Wandler.- 4. Schwingungserzeugung.- Literatur zu Teil 1.- 2. Modulation, Demodulation.- 5. F...

Einführung.- Entwurf und Analyse verteilter Echtzeitsysteme.- Synchronisation und Konsistenz in Echtzeitsystemen.- Echtzeitbetriebssysteme.- Echtzeitkommunikation.- Programmierung.- Qualitätssicher...

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Für die Softwareentwicklung in Embedded-Systemen ist die Programmiersprache C besonders gut geeignet. C hat sich hier als höhere Programmiersprache durchgesetzt, weil es die für Embedded-Anwendunge...

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Mit diesem Buch gelingt Ihr Einstieg in SQLScript! Machen Sie sich mit den Grundlagen der Abfragesprache vertraut, und lernen Sie die Sprachelemente und Einsatzszenarien kennen. Schritt für Schritt...

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the Internationa...

Mechanik.- Statik starrer Körper in der Ebene.- Dynamik.- Festigkeitslehre.- Allgemeines.- Die einzelnen Beanspruchungsarten.- Zusammengesetzte Beanspruchungen.- Werkstoffkunde.- Werkstoffeigenscha...

Theory, Algorithms, and Applications

Invited Papers.- Graph Machines and Their Applications to Computer-Aided Drug Design: A New Approach to Learning from Structured Data.- Rational Models of Cognitive Control.- Fault-Tolerance in Bio...

7th International Conference, MobiHealth 2017, Vienna, Austria, November 14-15, 2017, Proceedings

17th International Symposium, IDA 2018, 's-Hertogenbosch, The Netherlands, October 24-26, 2018, Proceedings