Hinze ralf (37 Ergebnisse)

- Softcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Sehr gut
EUR 6,80
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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
Anbieter: Books From California, Simi Valley, CA, USABooks From California
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 31,84
EUR 4,37 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
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.

- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 34,16
EUR 7,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
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.

- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,31
Versand nach gratisVersand innerhalb von USAAnzahl: 2 verfügbar
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
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 48,88
EUR 7,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New.

- Softcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 37,70
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,70
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,71
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New. In.

- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,41
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

Sprache: Englisch
Verlag: Springer, 2015
Serie: Lecture Notes in Computer Science, Buch 37 von 58. Buch 37 von 58 - Lecture Notes in Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,41
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,86
EUR 9,20 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: New. 2023. hardcover. . . . . . Books ship from the US and Ireland.
Verlag: Stuttgart, Teubner, ,, 1992
- Softcover
Anbieter: Antiquariat Gothow & Motzke, Berlin, DeutschlandAntiquariat Gothow & Motzke
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht
EUR 40,00
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
XIV/345 S./pp., Originalbroschur (publisher's paper covers), gutes Exemplar (fine).

- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,06
EUR 14,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 195 pages. 9.88x6.97x0.71 inches. In Stock.

- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,36
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.

Datatype-generic Programming: International Spring School, Ssdgp 2006, Nottingham, Uk, April 24-27, 2006, Revised Lectures
Backhouse, Roland (Editor)/ Gibbons, Jeremy (Editor)/ Hinze, Ralf (Editor)/ Jeuring, Johan (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,78
EUR 14,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 369 pages. 9.00x6.00x0.75 inches. In Stock.

Introducing String Diagrams
Hinze, Ralf (Technische Universitat Kaiserslautern, Germany)|Marsden, Dan (University of Nottingham)
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,75
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
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.

- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,22
EUR 61,94 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 v…olume 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.

Sprache: Englisch
Verlag: Springer, Springer, 2015
Serie: Lecture Notes in Computer Science, Buch 37 von 58. Buch 37 von 58 - Lecture Notes in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,59 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 tal…ks 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.

- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,91 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.

- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 113,53
EUR 7,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New.

Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
Serie: Lecture Notes in Computer Science, Buch 37 von 58. Buch 37 von 58 - Lecture Notes in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,68
EUR 41,08 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2015 edition. 344 pages. 9.00x6.00x0.75 inches. In Stock.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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.

- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 102,52
EUR 35,21 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2013 edition. 240 pages. 9.25x6.10x0.57 inches. In Stock.

- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 141,88
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.

- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 141,88
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 131,10
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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[do…t]com | Anbieter: preigu.

- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 63,26 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 techniq…ues 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.

- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 64,06 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.

- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 189,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. 2021. Model Reduction of Complex Dynamical Systems (International Series of Numerical Mathematics, 171, Band 171) In deutscher Sprache. pages.

- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 236,40
EUR 9,20 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.