Ralf hinze (34 Ergebnisse)

Softcover/Paperback. Zustand: Sehr gut. 384 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 676.

hardcover. Zustand: Good. Cover boards are slightly bowing/bending. In otherwise great condition with minimal/no other wear, crisp & clean interiors showing unmarked text, and firm binding of the text block. A good reading copy.

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.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

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

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. …

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

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

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.

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. 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-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.…

Taschenbuch. Zustand: Neu. Implementation and Application of Functional Languages | 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers | Ralf Hinze | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642415814 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

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

Taschenbuch. Zustand: Neu. Mathematics of Program Construction | 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings | Ralf Hinze (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2015 | Springer | EAN 9783319197968 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Datatype-Generic Programming | International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures | Roland Backhouse (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540767855 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New.

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

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Model Reduction of Complex Dynamical Systems | Peter Benner (u. a.) | Taschenbuch | xii | Englisch | 2022 | Birkhäuser | EAN 9783030729851 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

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.…

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

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

Zustand: New. In English.

Zustand: New. In English.