Order Total (1 Item Items):
Shipping Destination:
Floyd Christiane (87 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (87)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (59)
- As New, Fine or Near Fine (13)
- Very Good or Good (13)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (2)
- Seller-Supplied Images (49)
- Not Print on Demand (60)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Fine. Leichte Risse; Gebogener Buchrücken; Farbveränderung durch Alter/Sonne. Technology is fundamental to every product-based business in reducing costs, differentiating products, providing new opportunities, and driving strategic change. This work sets out to answer the key questions which confront top how to decide which technologies to invest in and how to manage and exploit them for maximum commercial benefit; how much to invest in R&D and to measure whether it delivers the goods; how to shape management roles, corporate structure and culture to fit technology strategy; and how to gain both employee and shareholder commitment. This text explores these and other key issues in an accessible, non-technical way, providing a best practice grounding in technology measurement. It offers guidelines on a variety of different scenarios compnies may experience and demonstrates the values and pitfalls of different approaches, quoting many real examples from well-known companies. It is aimed at senior managers in large and medium companies, chief executives, marketing, technical and planning directors and managers, and those involved in manging innovation and new product development.
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Language: English
Published by Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
-
Software : Programmentwicklung und Projektorganisation ; (ISBN: 3110078651)
Published by Berlin, New York : de Gruyter, 1978
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. 2. Auflage. 260 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Ausgeschiedenes Bibliotheksexemplar mit entsprechender Kennzeichnung. Ansonsten ordentliches Exemplar. Sprache: Deutsch Gewicht in Gramm: 1000.
-
Software: Programmentwicklung und Projektorganisation. De-Gruyter-Lehrbuch
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 260 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Die Bibliotheksaufkleber sind fleckig; Schnitt und Einband sind etwas (staub-) schmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 600.
-
Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science Vol. 186)
Language: English
Published by Springer-Verlag, Berlin, 1985
ISBN 10: 0387151990 ISBN 13: 9780387151991
Seller: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Good. Hartmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher (ed.): Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science Vol. 186). Springer Verlag, Berlin 1985. Broschur, 455 Seiten; etwas gewellt, sonst ordentlicher Zustand. - Text nur in Englisch / English only.
-
Condition: very good. Weiler-Kühn, C. (illustrator). 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.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . Notes in Computer Science, 185, Band 185)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
1985. 436 p. Good condition. Reading pages are slightly yellowed, but they are very clean and without marks. Minimal traces of storage or use. Otherwise very good exemplar. 9783540151982 Sprache: Englisch Gewicht in Gramm: 658 Softcover: 15.5 x 2.5 x 23.5 cm.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . (Lecture Notes in Computer Science (185))
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. number 185 Good paperback, bumped/creased with shelfwear; may have previous owner's name inside. Standard-sized.
-
Software. Programmentwicklung und Projektorganisation. de Gruyter Lehrbuch
Language: German
Published by Walter de Gruyter & Co, Berlin, Germany, 1978
ISBN 10: 3110078651 ISBN 13: 9783110078657
Seller: alt-saarbrücker antiquariat g.w.melling, Saarbrücken, Germany
Seller rating 4 out of 5 stars
Pappband. Condition: Sehr gut. oktav orig . Pappband. sehr gutes exemplar. 260 Seiten; 2., durchgesehene Auflage; zahlreiche Abbildungen; durchgestrichener Namenseintrag auf Vorsatz; obere Kanten leicht bestoßen.
-
Gebundene Ausgabe. Condition: Sehr gut. 2. durchges. Aufl. Reprint 2019. 260 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Deutsch Gewicht in Gramm: 550.
-
Software : Programmentwicklung u. Projektorganisation. De-Gruyter-Lehrbuch
Language: German
Published by Berlin, New York : de Gruyter, 1976
ISBN 10: 3110059533 ISBN 13: 9783110059533
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 260 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 550.
-
Software : Programmentwicklung u. Projektorganisation. De-Gruyter-Lehrbuch
Language: German
Published by Berlin, New York : de Gruyter, 1976
ISBN 10: 3110059533 ISBN 13: 9783110059533
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 260 Seiten; 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. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 520.
-
Condition: Gut. 1985. 436 Seiten Gedunkelt. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 658 Taschenbuch, Größe: 15.5 x 2.5 x 23.5 cm.
-
Hardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1979. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1979. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Software, Programmentwicklung und Projektorganisation, de Gruyter Lehrbuch
Language: German
Published by Walter de Gruyter, Berlin, 1979, 1979
ISBN 10: 3110078651 ISBN 13: 9783110078657
Seller: Antiquariat am Münster G. u. O. Lowig, Heilsbronn, DE, Germany
Seller rating 4 out of 5 stars
Hardcover. Condition: befriedigend. vorne untere Ecke bestossen, ein paar Bleistiftanstreichungen, sonst sehr gut erhalten; Sprache: deutsch; lgk 1051_Lowig;HC 2. Aufl., dieses Buch entstand aus einer Vorlesung über den Entwurf von EDV-Systemen sowie aus einer Seminarreihe über moderne Softwaretechnologie, mit 76 s/w Abbildungen und6 Tabellen illustriert, 250 S 550 Gramm.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (Lecture Notes in Computer Science, 185)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 41.28
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 48.40
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Hardcover. Condition: Brand New. German language. 7.91x5.08x1.54 inches. In Stock.
-
-
Feminist Challenges in the Information Age
Language: English
Published by Westdeutscher Verlag GmbH, 2002
ISBN 10: 3810032557 ISBN 13: 9783810032553
Condition: New. pp. 424.
-
Condition: As New. Weiler-Kühn, C. (illustrator). Unread book in perfect condition.
-
Paperback. Condition: Brand New. 494 pages. 9.00x6.00x1.12 inches. In Stock.
-
Feminist Challenges in the Information Age: Information as a Social Resource (Schriftenreihe der internationalen Frauenuniversität "Technik und Kultur", 5)
Language: English
Published by VS Verlag für Sozialwissenschaften, 2002
ISBN 10: 3810032557 ISBN 13: 9783810032553
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 75.83
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Software Development and Reality Construction
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 75.83
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Weiler-Kühn, C. (illustrator). In.
-
Paperback. Condition: New. Weiler-Kühn, C. (illustrator).
-
Condition: New. Weiler-Kühn, C. (illustrator).
-
Software Development and Reality Construction
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Weiler-Kühn, C. (illustrator).
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- 'Delayability' in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.
