EUR 21,03
Anzahl: 4 verfügbar
In den WarenkorbZustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009317865 ISBN 13: 9781009317863
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 53,95
Anzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 56,36
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009317865 ISBN 13: 9781009317863
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2023. hardcover. . . . . . Books ship from the US and Ireland.
Verlag: Stuttgart, Teubner, ,, 1992
Anbieter: Antiquariat Gothow & Motzke, Berlin, Deutschland
XIV/345 S./pp., Originalbroschur (publisher's paper covers), gutes Exemplar (fine),
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009317865 ISBN 13: 9781009317863
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 70,65
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 195 pages. 9.88x6.97x0.71 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540767851 ISBN 13: 9783540767855
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,09
Anzahl: 2 verfügbar
In den WarenkorbPaperback. 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009317865 ISBN 13: 9781009317863
Anbieter: moluna, Greven, Deutschland
Gebunden. Zustand: New. Über 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.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642415814 ISBN 13: 9783642415814
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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. 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.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319197967 ISBN 13: 9783319197968
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,02
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 344 pages. 9.00x6.00x0.75 inches. In Stock.
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.
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.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 112,50
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: preigu, Osnabrück, Deutschland
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.
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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 99,14
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 240 pages. 9.25x6.10x0.57 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009317865 ISBN 13: 9781009317863
Anbieter: preigu, Osnabrück, Deutschland
Buch. Zustand: Neu. Introducing String Diagrams | The Art of Category Theory | Ralf Hinze (u. a.) | Buch | Gebunden | Englisch | 2023 | Cambridge University Press | EAN 9781009317863 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Anbieter: Studibuch, Stuttgart, Deutschland
hardcover. Zustand: Sehr gut. 427 Seiten; 9783030729820.2 Gewicht in Gramm: 1.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 138,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 138,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
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.
Sprache: Englisch
Verlag: Springer International Publishing, 2022
ISBN 10: 3030729850 ISBN 13: 9783030729851
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030729826 ISBN 13: 9783030729820
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.