springer london springer vieweg (8 risultati)

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Recent developments in computer visualisation mean that it is now possible to combine computer-generated image sequences with real video, in real time, for broadcast quality production. This will not only revolutionise the broadcast industry, by making 'electronic film sets' possible for example, but also has important implications for related fields such as virtual reality, multi-media, industrial vision, and medical image processing. This volume contains papers from the European Workshop on Combined Real and Synthetic Image Processing for Broadcast and Video Production, held in Hamburg, 23-24 November 1994. The papers cover three main aspects of research: hardware, image analysis, and image synthesis, and include several key contributions from the EU RACE II supported MONA LISA (MOdelling NAturaL Images for Synthesis and Animation) project. The resulting volume gives a comprehensive overview of this important area of research, and will be of interest to practitioners, researchers, and postgraduate students.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu lation of large bodies of formulae and help the user in the design of the proofs themselves.

25 cm. XXVI, 524 S., Ill., graph. Darst. Gebunden. 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: Deutsch.

Gebundene Ausgabe, OPbd. m. Ou. Condizione: Gut. XVIII, 289 S. : Ill., graph. Darst. ; 23 cm 1983. Original-Pappeinband m. illustr. Schutzumschlag. Umschlag leicht berieben, Schnitt dezent nachgedunkelt, sonst augenscheinlich textsauber und gepflegt. Hs. Besitzvermerk a. Vs. 9783528085063 Werktäglicher Versand. Jede Lieferung m. ordentl. Rechnung und ausgew. MwSt. Der Versand erfolgt als Büchersendung / Einschreiben mit der Deutschen Post bzw. als Päckchen / Paket mit DHL. Die Lieferzeit ist abhängig von der Versandart und beträgt innerhalb Deutschlands 3-5 Tage, in der EU 5 - 12 Tage. KEIN Versand an Packstationen. Körperschaften und juristische Personen werden auf Wunsch per offener Rechnung beliefert. ***ATTENTION U.S. CUSTOMERS: Due to the new tariffs, we are unable to ship packages to the USA at this time. Thank you for understanding.*** Sprache: Englisch Gewicht in Gramm: 1013 Nachdr. [der Ausg.] Leipzig, Engelmann, 1898 / eingeleitet und erl. von Markus Fierz.

Broschiert. Condizione: Gut. 19cm; [2001]. IX, 185 S. Broschiert; Ill., graph. Darst. Zustand: Sehr Gut, eher ungelesen (Innen); Besitzerstempel; Einband (Außen) hat min. bis geringe Gebrauchsspuren; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.

Hardcover. Condizione: Wie neu. 2., neu bearb. und erw. auflage. groß-oktav hardcover. neuwertiges exemplar. ungelesen, wie neu, noch vom verlag her in folie eingeschweißt; gebundene ausgabe ausgabe, fester einband, foto-illustrierter original-pappband, xxxvi, 289 seiten mit überaus zahlreichen abbildungen (fotos, modellen, skizzen, plänen, zeichnungen, etc.).

Hardcover. Condizione: Wie neu. 2., neu bearb. und erw. auflage. groß-oktav hardcover. neuwertiges exemplar. ungelesen, wie neu; gebundene ausgabe ausgabe, fester einband, foto-illustrierter original-pappband, xxxvi, 289 seiten mit überaus zahlreichen abbildungen (fotos, modellen, skizzen, plänen, zeichnungen, etc.).

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Recent developments in computer visualisation mean that it is now possible to combine computer-generated image sequences with real video, in real time, for broadcast quality production. This will not only revolutionise the broadcast industry, by making 'electronic film sets' possible for example, but also has important implications for related fields such as virtual reality, multi-media, industrial vision, and medical image processing. This volume contains papers from the European Workshop on Combined Real and Synthetic Image Processing for Broadcast and Video Production, held in Hamburg, 23-24 November 1994. The papers cover three main aspects of research: hardware, image analysis, and image synthesis, and include several key contributions from the EU RACE II supported MONA LISA (MOdelling NAturaL Images for Synthesis and Animation) project. The resulting volume gives a comprehensive overview of this important area of research, and will be of interest to practitioners, researchers, and postgraduate students.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.