Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Bucher, C.J., 2010
ISBN 10: 3765818267ISBN 13: 9783765818264
Librería: medimops, Berlin, Alemania
Libro
Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Publicado por Köln, SH Verlag,, 2002
Librería: Buch & Cafe Antiquarius, Bonn, NRW, Alemania
Miembro de asociación: GIAQ
Libro
Gr.-8°, OKart. Dissertation Phil. 446 S. Fundierte Arbeit. Wenige Bleistiftanstreichungen, sonst tadelloses Ex. Sprache: Deutsch Gewicht in Gramm: 0.
Publicado por Bucher Verlag, München, 2010
Librería: Abrahamschacht-Antiquariat Schmidt, Freiberg, Alemania
Libro
gr.8° Pappband. mit Schutzumschlag, kaum Gebrauchsspuren an Einband und Block, Block sauber und fest 140 Deutsch 500g.
Publicado por Bucher Verlag, München, 2010
ISBN 10: 3765818267ISBN 13: 9783765818264
Librería: Buchhandlung Gerhard Höcher, Wien, AT, Austria
Miembro de asociación: GIAQ
Libro
Condición: Gut. 139 Seiten mit zahlreichen Abbildungen, Guter Zustand - leichte Gebrauchsspuren am Schutzumschlag und am unteren Buchblock ein Stempelabdruck "Mängelexemplar", ansonsten sehr gut. "Der Erfolg der Beatles lag nicht nur in ihrem Können begründet. Unter den Ursachen gab es eine Menge glücklicher Umstände - und John Lennons Schwächen. Der Erfinder und Kopf der Beatles war nicht nur Rock'n'Roll-Rebell, sondern auch ein zutiefst zerrissener Mensch. Diese Melange traf den Nerv. Doch das war weder geplant noch gecastet. Der Kult um die Beatles entstammte dem Original - und das ist der legendäre und verstörende Lebensweg des Mannes aus Liverpool."(Verlagstext). Sprache: Deutsch Gewicht in Gramm: 570 OPappband mit OSchutzumschlag ("Bucher BildBiografie"), 24,1 x 17,3 cm.
Publicado por München. Bucher., 2010
ISBN 10: 3765818267ISBN 13: 9783765818264
Librería: Antiquariat Bernhardt, Kassel, Alemania
Libro
Karton. Mit original Schutzumschlag. Zust.: Sehr gutes Exemplar. Mit zahlreichen Abbildungen, 140 Seiten, Deutsch 580g.
Publicado por Bucher 03.2010., 2010
ISBN 10: 3765818267ISBN 13: 9783765818264
Librería: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Alemania
Libro
hardcover. Condición: Sehr gut. 144 Seiten Der Erfolg der Beatles lag nicht nur in ihrem Können begründet. Unter den Ursachen gab es eine Menge glücklicher Umstände - und John Lennons Schwächen. Der Erfinder und Kopf der Beatles war nicht nur Rock'n'Roll-Rebell, sondern auch ein zutiefst zerrissener Mensch. Diese Melange traf den Nerv. Doch das war weder geplant noch gecastet. Der Kult um die Beatles entstammte dem Original - und das ist der legendäre und verstörende Lebensweg des Mannes aus Liverpool. 9783765818264 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 576.
Publicado por SH-Verlag
ISBN 10: 3894981091ISBN 13: 9783894981099
Librería: SKULIMA Wiss. Versandbuchhandlung, Westhofen, Alemania
Libro
Die Politik gegenüber den nationalen Minderheiten in der Weimarer Republik. Göthel zeigt anhand des Umgangs des deutschen Nationalstaates mit der dänischen Minderheit in Schleswig und der polnischen Minderheit in Ostpreußen, dass das Kalkül eines "demokratischen Volkstumskampfes" nicht aufging. Von einem "Randproblem" kommend, beleuchtet die Analyse eine grundsätzliche Problematik der Weimarer Republik: den überspannten Dualismus zwischen Nation und Rechtsstaat. 446 Seiten, gebunden (Kölner Beiträge zur Nationsforschung; Band 8/SH-Verlag 2002) Mängelexemplar. Statt EUR 49,80 960 g. Sprache: de.
Condición: New. So schoen klingt die Weihnachtszeit: Adventskalender mit 24 WeihnachtsliedernMit 24 beliebten Weihnachtsmelodien vertont dieser grosse Wand-Adventskalender stimmungsvoll den Advent. Die Lieder wurden als Instrumentalversion neu arrangi.
Publicado por Köln, SH-Verlag, 2002
ISBN 10: 3894981091ISBN 13: 9783894981099
Librería: Librarium of The Hague, The Hague, Holanda
Libro Original o primera edición
Hardcover. Condición: . ~ [TEMPORARY REDUCTION SALE: 20-30% OFF THE REGULAR PRICE] ~ Ilustrador. 1st Edition. BRAND NEW. Virgin copy, not yet traded. Crown 4to. Pp. 448. Notes, tables, bibliography. HARDCOVER, without dust-jacket as issued. ~ FIRST EDITION. A volume in the Kölner Beiträge zur Nationsforschung Series. P-2.
Condición: New. ILLUSTRATOR: Verena KoertingDie gebuertige Koelnerin Verena Koerting studierte Visuelle Kommunikation an der Fachhochschule Duesseldorf, arbeitete fuer einige Jahre als Grafikdesignerin und begann 2010, Kinderbuecher zu illustrieren. Nach mehreren Stat.
Publicado por Bucher, C.J., 2010
ISBN 10: 3765818267ISBN 13: 9783765818264
Librería: Versandantiquariat Manuel Weiner, Friedenweiler, Alemania
Libro
München : Bucher 2010, 140 Seiten, zahlr. Illustr., 24 cm, gebunden ; tadelloser Zustand, keine Einträge, mit Schutzumschlag.
Publicado por Südwestdeutscher Verlag für Hochschulschriften, 2012
ISBN 10: 3838134605ISBN 13: 9783838134604
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Libro Impresión bajo demanda
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Sudwestdeutscher Verlag fur Hochschulschrifte 2012-08, 2012
ISBN 10: 3838134605ISBN 13: 9783838134604
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Südwestdeutscher Verlag Für Hochschulschriften AG Co. KG Jul 2015, 2015
ISBN 10: 3838134605ISBN 13: 9783838134604
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification. 240 pp. Englisch.
Publicado por Südwestdeutscher Verlag für Hochschulschriften, 2012
ISBN 10: 3838134605ISBN 13: 9783838134604
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Goethel ThomasDr.-Ing. Thomas Goethel received his diploma in Computer Science and his PhD from Technische Universitaet Berlin, both with honor. Currently, he works as a postdoctoral researcher in a DFG funded project. His main research.
Publicado por Südwestdeutscher Verlag Für Hochschulschriften AG Co. KG, 2012
ISBN 10: 3838134605ISBN 13: 9783838134604
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification.
Publicado por Südwestdeutscher Verlag für Hochschulschriften, 2012
ISBN 10: 3838134605ISBN 13: 9783838134604
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Libro Impresión bajo demanda
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.