Christiane floyd (34 Ergebnisse)

Hardcover. Zustand: Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung. 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.…

Broschiert. Zustand: 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.…

Zustand: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

gebundene Ausgabe. Zustand: 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. …

paperback. Zustand: 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.…

gebundene Ausgabe. Zustand: 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. …

Hardcover. Zustand: 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.…

Zustand: New. In English.

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.

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.

Zustand: New. In English.

Taschenbuch. Zustand: 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.…

Pappband. Zustand: Sehr gut. oktav orig . Pappband. sehr gutes exemplar. 260 Seiten; 2., durchgesehene Auflage; zahlreiche Abbildungen; durchgestrichener Namenseintrag auf Vorsatz; obere Kanten leicht bestoßen.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG - Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap .- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming.…

Paperback. Zustand: Brand New. 494 pages. 9.00x6.00x1.12 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English. Weiler-Kühn, C. (illustrator).

Paperback/ broschiert. Zustand: Gut. 455 S. Computerwissenschaften Befriedigender Zustand Ex-Library. Stamped edges. Brownish paper. ha1088554 Sprache: Englisch Gewicht in Gramm: 1050.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988. This was organized by the Technical University of Berlin (TUB) in cooperation with the German National Research Center for Computer Science (GMD), Sankt Augustin, and sponsored by the Volkswagen Foundation whose financial support we gratefully acknowledge. The conference was an interdisciplinary scientific and cultural event aimed at promoting discussion on the nature of computer science as a scientific discipline and on the theoretical foundations and systemic practice required for human-oriented system design. In keeping with the conversational style of the conference, the book comprises a series of individual contributions, arranged so as to form a coherent whole. Some authors reflect on their practice in computer science and system design. Others start from approaches developed in the humanities and the social sciences for understanding human learning and creativity, individual and cooperative work, and the interrelation between technology and organizations. Thus, each contribution makes its specific point and can be read on its own merit. But, at the same time, it takes its place as a chapter in the book, along with all the other contributions, to give what seemed to us a meaningful overall line of argumentation. This required careful editorial coordination, and we are grateful to all the authors for bearing with us throughout the slow genesis of the book and for complying with our requests for extensive revision of some of the manuscripts. Weiler-Kühn, C. (illustrator).…

Paperback. Zustand: Brand New. reprint edition. 486 pages. 9.53x1.11x6.69 inches. In Stock. Weiler-Kühn, C. (illustrator).

Zustand: gut. Rechnung mit MwSt - Versand aus Deutschland pages. Weiler-Kühn, C. (illustrator).

Hardcover. Zustand: gut. 1992. Software Development and Reality Construction In deutscher Sprache. pages. Weiler-Kühn, C. (illustrator).

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Softcover. Zustand: Sehr gut. 1. Auflage. Z : 24 x 32 cm, 304 Seiten, 80 s/-w und 170 farbige Abbildungen - Bauhaus und documenta sind zwei weltweit erfolgreiche Kulturmarken, die für ein modernes, weltoffenes und innovatives Deutschland stehen. Beide entstanden in einer Zeit, in der sich die Zivilisation im Zustand des Zusammenbruchs befand, und sie stehen beide exemplarisch für die Idee der befreienden Kraft von Kunst und Kultur. Betrachtet man sie parallel, so werden ihre Gemeinsamkeiten und Unterschiede sichtbar und es zeigt sich, dass sie sich teilweise ergänzen: Zum einen geht es um Massenware und deren alltägliche Nutzung; die Idee des Universalismus; und die Gestaltung von Konsumgütern; für den anderen Begegnungen mit einzigartigen Kunstwerken; die Erfahrung von Vielfalt; und die Kritik am kapitalistischen Konsumismus. In einer Reihe kritischer Essays, untermauert mit einer Auswahl von Originalmaterialien, beleuchtet die Publikation grundlegende, aber oft übersehene Aspekte der beiden Kulturmarken, deren Profil nun erneut kontrovers diskutiert wird.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Deutsch | Produktart: Bücher | Frontmatter -- Vorwort -- Inhalt -- Einführung -- 1. Programmentwicklung -- 2. Systementwicklung -- A. Anhänge -- Literatur -- Sachregister -- Backmatter.

Zustand: Sehr gut. 1. 433 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Helle/saubere Seiten in fester Bindung. Leichte Gebrauchsspuren. Mit Namenseintrag. Sprache: Deutsch Gewicht in Gramm: 560 Taschenbuch, Maße: 14.8 cm x 21 cm x 2.3 cm.…

Zustand: New. In German.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Keine ausführliche Beschreibung für 'Software' verfügbar.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - «Es gibt keine eindeutige Determination der sozialen und gesellschaftlichen Entwicklung durch die wissenschaftlich-technische Entwicklung, wie dies aus technokratischer bzw. scientistischer Sicht gerne angenommen wird. Es gibt aber sicher keine soziale und gesellschaftliche Entwicklung ohne wissenschaftlich-technische Entwicklung. Es wird höchst wahrscheinlich auch keinen weiteren wissenschaftlich-technischen Fortschritt ohne sozialen Fortschritt geben, beide Entwicklungsprozesse müssen durch bewußte Gestaltung miteinander vermittelt werden.» «Die modernen Informations- und Kommunikationstechnologien müssen mit den Erfordernissen einer am Humanismus orientierten gesellschaftlichen, sozialen und persönlichen Entwicklung in Einklang gebracht werden.» (Klaus Fuchs-Kittowski). …