Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Good. 452 pp., Hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 7,86
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Paperback, ex-library, with pen markings on front cover, and residue from tape and label over spine. Spine sides are rather worn and scuffed. Worn edges, leading corners and spine ends. Page block is tanned, with minor wear on head. Stamp on FEP. Pages are clean and clear. Lecture Notes in Computer Science 77. TS. Ex-Library.
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Pp. 440 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444701268 Sprache: Englisch Gewicht in Gramm: 734.
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Good. 427 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540120491 ISBN 13: 9783540120490
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
EUR 6,49
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Edition 1983. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly creased cover. Edition 1983. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1979
ISBN 10: 3540097236 ISBN 13: 9783540097235
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
EUR 6,99
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Edition 1979. Tome 77. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Edition 1979. Volume 77. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Ammareal, Morangis, Frankreich
EUR 6,99
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Couverture différente. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Different cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Hermes Science Publications, 1993
ISBN 10: 2866013786 ISBN 13: 9782866013783
Sprache: Französisch
Anbieter: Ammareal, Morangis, Frankreich
EUR 6,99
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Berlin , Heidelberg , New York : Springer, 1983
ISBN 10: 3540120491 ISBN 13: 9783540120490
Sprache: Deutsch
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Pp. Zustand: Befriedigend. XI, 259 S. : 107 graph. Darst. , 25 cm Sofort verfügbar Versand am folgenden Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library aus Bibliothek Sprache: Deutsch Gewicht in Gramm: 550.
EUR 59,33
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 340 Illus.
Verlag: o.J.
Sprache: Deutsch
Anbieter: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Deutschland
Blatt. Zustand: Befriedigend. ca23,7x31,6 cm.- 1 Blatt, Kanten gering bestossen, papierbedingte Seitenbräunung.- Julia Hümmes Ausführungen in "Gregor von Bochmann (1850 - 1930)" folgend (S. 230, FN 525), handelt es sich wohl um die Kunstbeilage zur Zeitschrift Die Rheinlande, 1904/// Standort Wimregal . HAGG-1104 Sprache: Deutsch Gewicht in Gramm: 10.
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540564969 ISBN 13: 9783540564966
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Computer Aided Verification | Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings | David K. Probst (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer-Verlag GmbH | EAN 9783540564966 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
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.
EUR 203,92
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 474 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
EUR 226,75
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceeding.
Anbieter: moluna, Greven, Deutschland
EUR 227,74
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, fr.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce. This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000. Testing of Communicating Systems is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 303,64
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 344 pages. 9.25x6.10x0.77 inches. In Stock.
Buch. Zustand: Neu. Neuware - This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
Buch. Zustand: Neu. Neuware - Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce. This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000. Testing of Communicating Systems is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.
Verlag: O. O. u. D.
Anbieter: Kotte Autographs GmbH, Roßhaupten, Deutschland
Manuskript / Papierantiquität
1 S. Visitkartenformat. Mit freundlichen Grüßen!".
Anbieter: POLIART Beata Kalke, Tworog, Polen
Kunst / Grafik / Poster
@ Type / Typ: rycina; @ Reference / Haslo: Typy estonskie; @ Administrative affiliation / Przyn. adm.: Kresy - Estonia / Eesti; @ Signature / Sygnatura: Rycina sygnowana na plycie u dolu kompozycji: w lewym rogu "G. v Bochmann" i w prawym rogu "G. HEUER&KIRMSE X. A."; @ Technique / Technika: drzeworyt sztorcowy na papierze; @ Format: 215x315 mm (kompozycja); @ Dating / Datowanie: 1888; @ Origin / Pochodzenie: Z: Ueber Land und Meer 1888/1889 z. 1 ss. 420-421; @ Printing office / Drukarnia: Drzeworytnia Heuer&Kirmse Xylographische Kunstanstalt w Berlinie, zalozona 1881 dzialala do co najmniej 1907 glownie prace dla wielu niemieckich czasopism; zob. Hanebutt-Benz 1984 lamy 1203-1204; @ Comments / Uwagi: Zachowana cala karta oraz tekst w kserokopii sygnowany pseudonimem: "Ed. O."; @ Thematic categories / Kategorie tematyczne: architektura koscioly, etnografia typy ludowe, przyroda hipologia i sceny hippiczne / Architektur Kirchen / Kirche, Etnographie Volkstypen / Volkstyp, Natur Hippologie / architecture churches / church, ethnography folk types / folk type, nature / wildlife hippology / Holzschnitt Holzstich / wood-engraving woodcut; Pozycja w stanie co najmniej dobrym, kompozycja nieznacznie poplamiona (slabe rdzawe plamki - foxing), perforacje w miejscu wydawniczego zlozenia i jednoczesnie wyjecia z oprawy.
Verlag: D[üsseldorf], 6. III. 1882., 1882
Anbieter: Antiquariat INLIBRIS Gilhofer Nfg. GmbH, Vienna, A, Österreich
Manuskript / Papierantiquität
1½ SS. auf Doppelblatt. 8vo. An einen namentlich nicht genannten Adressaten: "Anbei übersende ich Ihnen den von der Sammelkommission für die Wiener internationale Kunst-Ausstellung hier gewünschten Anmeldebogen. Zwei Rubriken sind mir nicht möglich auszufüllen[,] wie Sie ansehen sind es die Angaben der Maße und der Versicherungs Summe, und werden wie wohl in Berlin bei der Direction der königl. National-Gallerie zu erfahren sein [.]".
Verlag: [Wohl Düsseldorf], 4. V. 1992., 1992
Anbieter: Antiquariat INLIBRIS Gilhofer Nfg. GmbH, Vienna, A, Österreich
Manuskript / Papierantiquität
1 S. Qu.-8vo. Mit eh. Adresse verso. Bittet den Maler Carl Sohn in Düsseldorf am nächsten Tag zu einer Besprechung. - Bochmann studierte seit 1868 an der Düsseldorfer Kunstakademie u. a. bei Oswald Achenbach Malerei und arbeitete seit 1871 im eigenen Atelier in Düsseldorf. Zahlreiche Studienreisen führten ihn nach Estland, Holland und Belgien. Seit 1893 war er ordentliches Mitglied der Berliner Akademie und wurde 1895 zum Prof. ernannt, 1899 nobilitiert. Bochmann schuf vorwiegend Genre- und Landschaftsdarstellungen (u.a. Fischmarkt in Reval, 1886).
Verlag: Hösel bei Düsseldorf, 19. April 1927., 1927
Anbieter: Kotte Autographs GmbH, Roßhaupten, Deutschland
Manuskript / Papierantiquität
1 S. Qu.-8vo. Mit einigen Beilagen (s. u.). An einen namentlich nicht genannten Adressaten: Ihrem Wunsche zufolge sende ich Ihnen anbei 3 Stück Handzeichnungen zur gef. Auswahl u. hoffe, daß solche Ihrem Geschmack entsprechen [.]". Gregor von Bochmann studierte an der Düsseldorfer Kunstakademie u. a. bei Oswald Achenbach Malerei und arbeitete seit 1871 im eigenen Atelier in Düsseldorf. Zahlreiche Studienreisen führten ihn nach Estland, Holland und Belgien. Seit 1893 war er ordentliches Mitglied der Berliner Akademie und wurde 1895 zum Prof. ernannt, 1899 nobilitiert. Bochmann schuf vorwiegend Genre- und Landschaftsdarstellungen (u. a. Fischmarkt in Reval', 1886)" (DBE). Beilegend zwei e. Briefe mit U. samt Kuvert und eine e. Karte von Bochmanns Frau an den Maler und Lehrer Adolf Brusch (18811958) sowie ein Albumblatt mit einem montierten Portrait Bochmanns und faksimilierter Unterschrift; ohne die auf der Karte erwähnten Beilagen.
Verlag: Düsseldorf, 11. IV. 1894., 1894
Anbieter: Antiquariat INLIBRIS Gilhofer Nfg. GmbH, Vienna, A, Österreich
Manuskript / Papierantiquität
1 S. Qu.-8vo. Mit eh. Adresse verso. Tagesprogramm einer Sitzung der "Freien Vereinigung Düsseldorfer Künstler" an den Maler Carl Sohn (1845-1908): "Tagesordnung: Wichtiger Brief aus Berlin die Platzfrage betreffend". - Bochmann studierte seit 1868 an der Düsseldorfer Kunstakademie u. a. bei Oswald Achenbach Malerei und arbeitete seit 1871 im eigenen Atelier in Düsseldorf. Zahlreiche Studienreisen führten ihn nach Estland, Holland und Belgien. Seit 1893 war er ordentliches Mitglied der Berliner Akademie und wurde 1895 zum Prof. ernannt, 1899 nobilitiert. Bochmann schuf vorwiegend Genre- und Landschaftsdarstellungen (u. a. Fischmarkt in Reval, 1886).
Verlag: Düsseldorf, 6. IV. 1892., 1892
Anbieter: Antiquariat INLIBRIS Gilhofer Nfg. GmbH, Vienna, A, Österreich
Manuskript / Papierantiquität
½ S. Qu.-8vo. Mit eh. Adresse verso. An den Maler Carl Sohn (1845-1908): "Hiedurch bitte ich dich freundlichst einer wichtigen Besprechung halber, morgen Donnerstag 7 April um sechs Uhr zu mir zu kommen []". - Bochmann studierte seit 1868 an der Düsseldorfer Kunstakademie u. a. bei Oswald Achenbach Malerei und arbeitete seit 1871 im eigenen Atelier in Düsseldorf. Zahlreiche Studienreisen führten ihn nach Estland, Holland und Belgien. Seit 1893 war er ordentliches Mitglied der Berliner Akademie und wurde 1895 zum Prof. ernannt, 1899 nobilitiert. Bochmann schuf vorwiegend Genre- und Landschaftsdarstellungen (u.a. Fischmarkt in Reval, 1886).
Verlag: Düsseldorf, [postmark: 9 Jan. 1910]., 1910
Anbieter: Antiquariat INLIBRIS Gilhofer Nfg. GmbH, Vienna, A, Österreich
Manuskript / Papierantiquität
Oblong 8vo (postcard). 1 page. Inscribed to the German dermatologist Alwin Scharlau, the pen-and-ink drawing, titled "Arendsee in Mecklenburg", shows a rural road with a departing horse carriage and a barn. - Inspired by trips to Belgium, Holland and his native Estonia, Bochmann was an award-winning landscape and genre painter and the founder of the "Freie Vereinigung Düsseldorfer Künstler", one of the earliest secessionist movements, in 1891. - Self-addressed by the collector on the reverse. The Mecklenburg physician Scharlau (b. 1888) assembled a collection of artists' autographs by personal application.