ralf hinze (30 Ergebnisse)

Zustand: New. pp. 386 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Hardcover. Zustand: As New. 1. It's a preowned item in almost perfect condition. It has no visible cosmetic imperfections. May come without any shrink wrap; pages are clean and not marred by notes or folds of any kind.

Zustand: New. 2023. hardcover. . . . . . Books ship from the US and Ireland.

Hardcover. Zustand: Brand New. 195 pages. 9.88x6.97x0.71 inches. In Stock.

XIV/345 S./pp., Originalbroschur (publisher's paper covers), gutes Exemplar (fine),

Paperback. Zustand: Brand New. 1st edition. 369 pages. 9.00x6.00x0.75 inches. In Stock.

Zustand: NEW.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. &Uumlber den AutorRalf Hinze is Professor of Software Engineering at the University of Kaiserslautern-Landau (RPTU). His research is centered around the construction of provably correct software, with a particular emphasis on functional.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.

Taschenbuch. Zustand: Neu. Neuware -This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Taschenbuch. Zustand: Neu. Neuware -A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ¿ the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and oating-point numbers, through structured values, types and classes, to kinds (the type of types and/or classes).Datatype-generic programming is about parametrising programsby the structure of the data that they manipulate. Toappreciatethe importanceofdatatypegenericity,oneneedlooknofurther than the internet. The internet is a massive repository of structured data, but the structure is rarely exploited. For example, compression of data can be much more e ective if its structure is known, but most compression algorithms regard the input data as simply a string of bits, and take no account of its internal organisation. Datatype-genericprogrammingisaboutexploitingthestructureofdatawhen it is relevant and ignoring it when it is not. Programming languages most c- monly used at the present time do not provide e ective mechanisms for do- menting and implementing datatype genericity. This volume is a contribution towards improving the state of the art. The emergence of datatype genericity can be traced back to the late 1980s.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated - the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and oating-point numbers, through structured values, types and classes, to kinds (the type of types and/or classes).Datatype-generic programming is about parametrising programsby the structure of the data that they manipulate. Toappreciatethe importanceofdatatypegenericity,oneneedlooknofurther than the internet. The internet is a massive repository of structured data, but the structure is rarely exploited. For example, compression of data can be much more e ective if its structure is known, but most compression algorithms regard the input data as simply a string of bits, and take no account of its internal organisation. Datatype-genericprogrammingisaboutexploitingthestructureofda tawhen it is relevant and ignoring it when it is not. Programming languages most c- monly used at the present time do not provide e ective mechanisms for do- menting and implementing datatype genericity. This volume is a contribution towards improving the state of the art. The emergence of datatype genericity can be traced back to the late 1980s.

Paperback. Zustand: Brand New. 2015 edition. 344 pages. 9.00x6.00x0.75 inches. In Stock.

Buch. Zustand: Neu. Neuware - This is the first self-contained introduction to the use of string diagrams to reason in elementary category theory. Written in an informal expository style, it features hundreds of carefully chosen diagrams to aid understanding. With numerous worked examples and exercises, the text is ideal for graduate students and advanced undergraduates.

Zustand: New.

Paperback. Zustand: Brand New. 2013 edition. 240 pages. 9.25x6.10x0.57 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This contributed volume presents some of the latest research related to model order reduction of complex dynamical systems with a focus on time-dependent problems. Chapters are written by leading researchers and users of model order reduction techniques and are based on presentations given at the 2019 edition of the workshop series Model Reduction of Complex Dynamical Systems - MODRED, held at the University of Graz in Austria. The topics considered can be divided into five categories:system-theoretic methods, such as balanced truncation, Hankel norm approximation, and reduced-basis methods;data-driven methods, including Loewner matrix and pencil-based approaches, dynamic mode decomposition, and kernel-based methods;surrogate modeling for design and optimization, with special emphasis on control and data assimilation;model reduction methods in applications, such as control and network systems, computational electromagnetics, structural mechanics, and fluid dynamics; andmodel order reduction software packages and benchmarks.This volume will be an ideal resource for graduate students and researchers in all areas of model reduction, as well as those working in applied mathematics and theoretical informatics.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This contributed volume presents some of the latest research related to model order reduction of complex dynamical systems with a focus on time-dependent problems. Chapters are written by leading researchers and users of model order reduction techniques and are based on presentations given at the 2019 edition of the workshop series Model Reduction of Complex Dynamical Systems - MODRED, held at the University of Graz in Austria. The topics considered can be divided into five categories:system-theoretic methods, such as balanced truncation, Hankel norm approximation, and reduced-basis methods;data-driven methods, including Loewner matrix and pencil-based approaches, dynamic mode decomposition, and kernel-based methods;surrogate modeling for design and optimization, with special emphasis on control and data assimilation;model reduction methods in applications, such as control and network systems, computational electromagnetics, structural mechanics, and fluid dynamics; andmodel order reduction software packages and benchmarks.This volume will be an ideal resource for graduate students and researchers in all areas of model reduction, as well as those working in applied mathematics and theoretical informatics.

Taschenbuch. Zustand: Neu. Neuware -This contributed volume presents some of the latest research related to model order reduction of complex dynamical systems with a focus on time-dependent problems. Chapters are written by leading researchers and users of model order reduction techniques and are based on presentations given at the 2019 edition of the workshop series Model Reduction of Complex Dynamical Systems ¿ MODRED, held at the University of Graz in Austria. The topics considered can be divided into five categories:Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 432 pp. Englisch.

Zustand: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.

Zustand: New. 2021. Hardcover. . . . . . Books ship from the US and Ireland.

Paperback. Zustand: Brand New. 361 pages. German language. 9.60x6.69x0.79 inches. In Stock.

Zustand: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Neuware -MIRA. You have often Begun to tell me what I am ; but stopp 'd, And teft me to a bootless inquisition, Concluding , Stay ; not yet. ' PRO. The how''' now come , The very minute bids thee ope thine car. 'The Tempest' von William Shakespeare (Akt 1, S::;cnc 1) Das vorliegende Buch ist aus Begleitmaterialien zu einem Programmierkurs entstanden, den ich im Sommersemester 1991 an der Universität Bonn gehalten habe. Es beschreibt grundlegende und weiterführende Kom;epte der funktionalen l Programmierung und der Programmiersprache Miranda . Eine rein funktionale Sprache wie Miranda ist aus mindestens drei Gründen eine interessante und faszinierende Alternative sowohl zu herkömmlichen, impera tiven Sprachen als auch zu hybriden Sprachen wie LISP oder Scheme, die neben einem funktionalen Kern viele imperative Konstrukte inkorporieren. 1. Funktionale Programme sind kürzer, einfacher zu verstehen und besitzen ei nen höheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugänglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktio nen im mathematischen Sinn) erleichtern eine Implementierung auf paralle len Rechnerarchitekturen. Insbesondere der letzte Punkt eröffnet für die Zukunft vielversprechende Perspek tiven. Miranda verkörpert die Tugenden funktionaler Sprachen in besonderer Weise. Die Syntax ist prägnant und frei von syntaktischem Ballast. Funktionen wie Typen werden mittels (rekursiver) Gleichungen definiert. Muster auf der linken Seite von Funktionsdefinitionen fördern die Lesbarkeit der Definitionen.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 364 pp. Deutsch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - MIRA. You have often Begun to tell me what I am ; but stopp 'd, And teft me to a bootless inquisition, Concluding , Stay ; not yet. ' PRO. The how''' now come , The very minute bids thee ope thine car. 'The Tempest' von William Shakespeare (Akt 1, S::;cnc 1) Das vorliegende Buch ist aus Begleitmaterialien zu einem Programmierkurs entstanden, den ich im Sommersemester 1991 an der Universität Bonn gehalten habe. Es beschreibt grundlegende und weiterführende Kom;epte der funktionalen l Programmierung und der Programmiersprache Miranda . Eine rein funktionale Sprache wie Miranda ist aus mindestens drei Gründen eine interessante und faszinierende Alternative sowohl zu herkömmlichen, impera tiven Sprachen als auch zu hybriden Sprachen wie LISP oder Scheme, die neben einem funktionalen Kern viele imperative Konstrukte inkorporieren. 1. Funktionale Programme sind kürzer, einfacher zu verstehen und besitzen ei nen höheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugänglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktio nen im mathematischen Sinn) erleichtern eine Implementierung auf paralle len Rechnerarchitekturen. Insbesondere der letzte Punkt eröffnet für die Zukunft vielversprechende Perspek tiven. Miranda verkörpert die Tugenden funktionaler Sprachen in besonderer Weise. Die Syntax ist prägnant und frei von syntaktischem Ballast. Funktionen wie Typen werden mittels (rekursiver) Gleichungen definiert. Muster auf der linken Seite von Funktionsdefinitionen fördern die Lesbarkeit der Definitionen.

Zustand: Gut. Zustand: Gut | Seiten: 480 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.