19,99 € *

ggf. zzgl. Versand

ggf. zzgl. Versand

Normalization and Partial Evaluation of Functional Logic Programs ab 19.99 EURO Kiel Computer Science Series

Anbieter: ebook.de

Stand: 19.02.2020 Zum Angebot

Stand: 19.02.2020 Zum Angebot

80,24 € *

ggf. zzgl. Versand

ggf. zzgl. Versand

The theory of integral equations has been an active research field for many years and is based on analysis, function theory, and functional analysis. On the other hand, integral equations are of practical interest because of the "boundary integral equation method", which transforms partial differential equations on a domain into integral equations over its boundary. This book grew out of a series of lectures given by the author at the Ruhr-Universitat Bochum and the Christian-Albrecht-Universitat zu Kiel to students of mathematics. The contents of the first six chapters correspond to an intensive lecture course of four hours per week for a semester. Readers of the book require background from analysis and the foundations of numeri cal mathematics. Knowledge of functional analysis is helpful, but to begin with some basic facts about Banach and Hilbert spaces are sufficient. The theoretical part of this book is reduced to a minimum, in Chapters 2, 4, and 5 more importance is attached to the numerical treatment of the integral equations than to their theory. Important parts of functional analysis (e. g. , the Riesz-Schauder theory) are presented without proof. We expect the reader either to be already familiar with functional analysis or to become motivated by the practical examples given here to read a book about this topic. We recall that also from a historical point of view, functional analysis was initially stimulated by the investigation of integral equations.

Anbieter: Dodax

Stand: 19.02.2020 Zum Angebot

Stand: 19.02.2020 Zum Angebot

51,36 € *

ggf. zzgl. Versand

ggf. zzgl. Versand

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.

Anbieter: Dodax

Stand: 19.02.2020 Zum Angebot

Stand: 19.02.2020 Zum Angebot

128,59 € *

ggf. zzgl. Versand

ggf. zzgl. Versand

This book reviews the state of knowledge and progress of research on food proteins, and in particular, milk proteins. Its basis is the Symposium on Milk Proteins that was held at the Federal Dairy Research Centre in Kiel, FRG, in June, 1988. Scien tists from around the world attended and addressed pure, as well as applied fields of protein research and technology. This book is divided into five sections, each adapted from the symposium's invited lectures, short communications, and poster presentations. New criteria for the "bio logical value" of dietary proteins and their relationships are considered according to: - Milk Proteins and Nitrogen Equilibrium - Milk Proteins and Ligands - Milk Proteins: Structural and Genetic Aspects - Milk Proteins: Technological and Functional Aspects - Milk Proteins and Clinical Nutrition Generally, different dietary proteins are classified according to their "biological value," i.e., their capacity to cause different retention of nitrogen in the body. But we think there are other intriguing leads worth studying that may help to identify which dietary proteins are best recommended for specific dietary situations or clini cal conditions. In addition, we have taken into consideration new fields such as attempts to determine the three-dimensional structure of proteins using two-dimensional NMR spectroscopy, and the application of genetic engineering to the lactating cell. In other words, we are on the way to the transgenic cow with customized milk constituents and composition.

Anbieter: Dodax

Stand: 19.02.2020 Zum Angebot

Stand: 19.02.2020 Zum Angebot

135,00 CHF *

ggf. zzgl. Versand

ggf. zzgl. Versand

The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can can be used as a means for checking the functional behaviour at this early stage of development. The ade quate specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. A prerequisite for applying this approach is to have a suitable mechanical support. This volume contains the proceedings of the International Workshop Tool Support for System Specification, Development and Verification organized June 1 - 4, 1998, in Malente, Germany. This workshop is the third in a series of events devoted to this topic. The first two workshops were held in 1994 in Kiel and 1996 in Bremen, Germany. The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems. The workshop covers the spectrum from verification tools to graphical editors and compilers. The program of the workshop included an invited lecture and 26 talks. The invited lecture was given by F.W. von Henke (University ofUlm) on Mechanized formal methods and system design.

Anbieter: Orell Fuessli CH

Stand: 19.02.2020 Zum Angebot

Stand: 19.02.2020 Zum Angebot

89,99 € *

ggf. zzgl. Versand

ggf. zzgl. Versand

Anbieter: Thalia AT

Stand: 19.02.2020 Zum Angebot

Stand: 19.02.2020 Zum Angebot