Verlag: Molden Verlag, 2016
ISBN 10: 3854853416 ISBN 13: 9783854853411
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Springer-Verlag, 1985
ISBN 10: 0387159835 ISBN 13: 9780387159836
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Zustand: Good. Springer-Verlag, 1985. Cover faintly rubbed/soiled, otherwise intact; edges very lightly sunned/foxed/soiled; faint pencil erasures at ffep, text block very lightly age-toned; binding tight; interior intact and clean, except where noted. paperback. Good.
Verlag: Academic Press Inc, 1997
ISBN 10: 0120638800 ISBN 13: 9780120638802
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Stuttgart : Teubner, 1986
ISBN 10: 3519026171 ISBN 13: 9783519026174
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: Gut. 281 S. : graph. Darst. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 450.
Verlag: Berlin ; Heidelberg ; New York : Springer, 1980
ISBN 10: 3540104178 ISBN 13: 9783540104179
Anbieter: Versandantiquariat Nussbaum, Bernkastel-Kues, RP, Deutschland
Softcover/Paperback. Zustand: Gut. XI, 315 S. : graph. Darst. gutes und sauberes Exemplar (leicht nachgedunkelt) Sprache: Deutsch Gewicht in Gramm: 540.
Verlag: Stuttgart : Teubner, 1986
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Paperback. 281 S. : graph. Darst. Bibl.-Ex., Guter Zustand. Sprache: Deutsch Gewicht in Gramm: 640.
Verlag: Springer-Verlag, 1985
ISBN 10: 3540159835 ISBN 13: 9783540159834
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Zustand: Good. Springer-Verlag, 1985. Cover lightly rubbed/bumped/soiled, previous bookseller price sticker on front flap; text block edges age-toned, lightly foxed/soiled; interior age- toned throughout, interior flaps/Title page/endpapers very lightly foxed; binding tight; cover, edges, and interior intact and clean except as noted. paperback. Good.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 29,72
Mehr entdecken Softcover
Verlag: Springer, 2009
ISBN 10: 3642021263 ISBN 13: 9783642021268
Anbieter: Prior Books Ltd, Cheltenham, Vereinigtes Königreich
Erstausgabe
Hardcover. Zustand: Like New. Zustand des Schutzumschlags: No Dust Jacket. First Edition. A nearly new hardback copy: very clean, square and tight with no marks, no underlining and no splits.
Verlag: Berlin, Heidelberg, Springer., 2009
ISBN 10: 3642021263 ISBN 13: 9783642021268
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
24 cm. VIII, 488 S., Ill., graph. Darst. Hardcover. 2nd printing 2010. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 197,02
Gebraucht ab EUR 37,00
Mehr entdecken Hardcover
Verlag: Cham, Springer., 2015
ISBN 10: 3319171119 ISBN 13: 9783319171111
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
ix, 332 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 42,00
Mehr entdecken Hardcover
Verlag: Berlin, Springer., 2001
ISBN 10: 354042959X ISBN 13: 9783540429593
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
XI, 670 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2178. Sprache: Englisch.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 139,98
Gebraucht ab EUR 42,00
Mehr entdecken Softcover
Verlag: (Wien-Graz-Klagenft.,)Molden (2016)., 2016
Anbieter: Antiquariat Krikl, Wien, Österreich
160 S. mit einigen graph. Darstellungen im Text. Opbd. mit OU., gutes Expl. - Mit eh. mehrzeil. Widmung des Verf. a.d. Vorsatz.
Verlag: Berlin Springer Verlag, 2003
ISBN 10: 3540005684 ISBN 13: 9783540005681
Anbieter: CSG Onlinebuch GMBH, Darmstadt, Deutschland
Softcover. Zustand: Gebraucht. Gebraucht - Gut Verlagsmängelex., X, 225 p. Also available online This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory. Englisch.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 47,10
Mehr entdecken Softcover
Verlag: Wien, Springer, 1983
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Hardcover. 2nd ed. VI, 283 S. ; 24 cm Ex.-Libr., Good condition. Sprache: Englisch Gewicht in Gramm: 850.
Verlag: Vieweg+Teubner Verlag, 1986
ISBN 10: 3519124734 ISBN 13: 9783519124733
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. 2. Auflage. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 244 | Sprache: Deutsch | Produktart: Bücher.
Verlag: Cambridge University Press, 1998
ISBN 10: 0521632986 ISBN 13: 9780521632980
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 564 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 213,17
Gebraucht ab EUR 75,07
Mehr entdecken Softcover
Verlag: Wien: Springer-Verlag, 1983
ISBN 10: 321181776X ISBN 13: 9783211817766
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Broschiert. Zustand: UNSPECIFIED. Zust: Gutes Exemplar. VI, 283 Seiten, Englisch 474g.
Verlag: Springer International Publishing, 2016
ISBN 10: 3319347276 ISBN 13: 9783319347271
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540232125 ISBN 13: 9783540232124
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.
Verlag: Springer-Verlag GmbH, 1994
ISBN 10: 3540584307 ISBN 13: 9783540584308
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1994. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 893 | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642101917 ISBN 13: 9783642101915
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request of the Upper Aus trian Government with the objective of creating a scienti c, technological, and economic impulse for the region and the international community. In the meantime, in a joint e ort, the Softwarepark Hagenberg has grown to the current (2009) size of over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs on the bachelor, master's and PhD level. The goal of the Softwarepark Hagenberg is innovation of economy in one of the most important current technologies: software. It is the message of this book that this can only be achieved and guaranteed long term by 'watering the root', namely emphasis on research, both basic and applied. In this book, we summarize what has been achieved in terms of research in the various research institutions in the Softwarepark Hagenberg and what research vision we have for the imminent future. When I founded the Softwarepark Hagenberg, in addition to the 'watering the root' principle, I had the vision that such a technology park can only prosper if we realize the 'magic triangle', i.e. the close interaction of research, academic education, and business applications at one site, see Figure 1.