Kreowski (362 results)
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (Edited by)
- Softcover
Seller: G. & J. CHESTERS, TAMWORTH, United KingdomG. & J. CHESTERS
Contact seller5-star sellerCondition: Used - Very good
US$ 5.61
US$ 9.30 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. pp.viii, 98 pages, a very good paperback, from a uk university [0387540601].
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501 (Lecture Notes in Computer Science 501)
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (eds.)
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
US$ 9.18
US$ 16.61 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Dust Jacket. Lecture Notes in Computer Science 501; Ex-Library. Previous owner's stickers on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Sound, clean book with tight binding. ADG…. Ex-Library.
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: US$ 4.08; 10% offCurrent price: US$ 3.68
US$ 18.76 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: Très bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Ammareal gives back up to 15% of this item's net price to charity organizations.
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393)
Kreowski, Hans-Jörg [Editor]; Montanari, Ugo [Editor]; Orejas, Fernando [Editor]; Rozenberg, Grzegorz [Editor]; Taentzer, Gabriele [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 33.99
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 41.62
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 43.73
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 43.73
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 26.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (eds.)
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 46.15
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- More images
- Softcover
Seller: Emile Kerssemakers ILAB, Heerlen, NetherlandsEmile Kerssemakers ILAB
Contact seller5-star sellerCondition: Used
US$ 10.54
US$ 37.52 shippingShips from Netherlands to U.S.A.Quantity: 1 available
24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 210g.
Grundrechte-Report 2019
Bellinda Bartolucci; Iris Burdinski; Marie Dieckmann; Rolf Gössner; Julia Heesen; Martin Heiming; Hans-Jörg Kreowski; Britta Rabe; Rosemarie Will
- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
US$ 5.59
US$ 22.74 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: very good. 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.
- More images
- Hardcover
Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG
Contact seller5-star sellerAssociation member: BOEV
Condition: Used - Very good
US$ 17.57
US$ 11.37 shippingShips from Germany to U.S.A.Quantity: 1 available
24,5 x 17,5 cm. Condition: Gut. Handbuch der Informatik ; Band 1. 1. 165 Seiten ; Mit graphischen Darstellungen Original Pappband mit Bibliotheksrückenschild. Kaum angestaubt. Innen mit Bibliotheksstempeln, sehr sauberes Exemplar B16-03-01B|S37 Sprache: Deutsch Gewicht in Gramm: 530.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 58.35
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- More images
Published by A. Hoffmann, Berlin 1906., 1906
- Softcover
- First Edition
Seller: Antiquariat Carl Wegner, Berlin, B, GermanyAntiquariat Carl Wegner
Contact seller5-star sellerAssociation member: GIAQ
Condition: Used
US$ 30.45
US$ 10.23 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover. 19,6 x 13 cm. Original-Broschur mit farbig gestaltetem Deckblatt. VIII, 128 Seiten, thematisch geordnet. Der Band innen leicht gebräunt, die Ecken leicht angestoßen. Insgesamt sauberes und ganz gut erhaltenes Exemplar. -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous… plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Sommerzeit daheim oder auf Reisen: bei uns finden Sie sicher ein passendes Buch zur Begleitung. -- Wir kaufen Ihre werthaltigen Bücher! LyrAnth.
Subject-oriented Business Process Management. the Digital Workplace ? Nucleus of Transformation : 12th International Conference, S-bpm One 2020, Bremen, Germany, December 2-3, 2020, Proceedings
Freitag, Michael (EDT); Kinra, Aseem (EDT); Kotzab, Herbert (EDT); Kreowski, Hans-jörg (EDT); Thoben, Klaus-Dieter (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 57.73
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 57.87
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Graph Transformation : 6th International Conference, Icgt 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Ehrig, Hartmut (EDT); Engels, Gregor (EDT); Kreowski, Hans-Jorg (EDT); Rozenberg, Grzegorz (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 59.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 37.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.34
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Book.
- More images
Categorical Methods in Computer Science : With Aspects from Topology
Ehrig, Hartmut; Herrlich, Horst (EDT); Kreowski, Hans-Jorg; Preu , Gerhard (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.97
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.62
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Categorical Methods in Computer Science: With Aspects from Topology. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Graph Transformations : First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings
Icgt 200 (2002 Barcelona, Spain); Ehrig, Hartmut (EDT); Kreowski, H. J. (EDT); Rozenberg, Grzegorz (EDT); Corradini, Andrea (EDT); Corradini, Andrea
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Formal Methods in Software And Systems Modeling
Kreowski, Hans-Jorg (EDT); Montanari, Ugo (EDT); Orejas, Fernando (EDT); Rozenberg, Grzegorz (EDT); Taentzer, Gabriele (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Subject-oriented Business Process Management. the Digital Workplace ? Nucleus of Transformation : 12th International Conference, S-bpm One 2020, Bremen, Germany, December 2-3, 2020, Proceedings
Freitag, Michael (EDT); Kinra, Aseem (EDT); Kotzab, Herbert (EDT); Kreowski, Hans-jörg (EDT); Thoben, Klaus-Dieter (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.78
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
Graph Transformations : First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings
Icgt 200 (2002 Barcelona, Spain); Ehrig, Hartmut (EDT); Kreowski, H. J. (EDT); Rozenberg, Grzegorz (EDT); Corradini, Andrea (EDT); Corradini, Andrea
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.04
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 26.05
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- More images
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2012
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 74.78
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 2012th. This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The work…shop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.
