kung  (1.103 Angebote unter 29.203.429 Artikeln)

Leselauscher Wissen - in dieser Reihe erscheinen Sachwissenbücher für Kinder ab 7 Jahren zum gleichzeitigen Lesen und Hören. In jedem Buch liegt ein Hörbuch, auf dem der Text - speziell auf Leseanf...

Feuerfeste Erzeugnisse bestehen aus Korn verschiedener Größe, das durch Feinst mehl oder Bindemittel verbunden ist; im allgemeinen bezeichnet man den Anteil, der mit freiem Auge gut zu erkennen ist...

Interregionale Preis- und Kaufkraftvergleiche dürfen stets ein gewisses Interesse beanspruchen, sei es vom Standpunkt der einzelnen Unternehmung aus, sei es im Hinblick auf eine ganze Branche, sei ...

This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers pr...

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Progr...

This book evaluates existing and explores new mechanisms for the adequate payment of copyright owners for the use of their works. The underlying assumption is that adequate rewards to creators and ...

Invited Talks.- Realising the Benefits of Formal Methods.- A Compositional Framework for Service Interaction Patterns and Interaction Flows.- An Evidential Tool Bus.- Specification.- Derivation of ...

Methods in Nonlinear Analysis

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, o...

Methods in Nonlinear Analysis

This book evaluates existing and explores new mechanisms for the adequate payment of copyright owners for the use of their works. The underlying assumption is that adequate rewards to creators and ...

Practical Experiences and Ways Forward

This book investigates new enabling technologies for Fi-Wi convergence. The editors discuss Fi-Wi technologies at the three major network levels involved in the path towards convergence: system lev...

Practical Experiences and Ways Forward

This book investigates new enabling technologies for Fi-Wi convergence. The editors discuss Fi-Wi technologies at the three major network levels involved in the path towards convergence: system lev...