Gesamtpreis (1 Artikel Artikel):
Versandziel:
e w dijkstra (25 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (25)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (6)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (11)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (6)
Weitere Eigenschaften
- Erstausgabe (4)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (7)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Structured Programming
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,54
Währung umrechnenEUR 5,10 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Aged book. Tanned pages and age spots, however, this will not interfere with reading.
-
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Verlag: Springer, Heidelberg, 2000
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,26
Währung umrechnenEUR 7,45 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Paperback journal with very few superficial marks and scores on covers, and lightly worn edges, leading corners and spine ends. Pages are clean and sound throughout; all content is clear. TS. Used.
-
Voor de eerlijke vinder
Verlag: Edecea, Hoorn, 1974
ISBN 10: 9070022060 ISBN 13: 9789070022068
Anbieter: Antiquariaat Parnassos vof, Wassenaar, Niederlande
Verkäuferbewertung 5 von 5 Sternen
EUR 5,00
Währung umrechnenEUR 9,95 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbGebonden. Zustand: Lichte gebruikssporen. 95 pp. Poëzie en verhaaltjes. Teksten in groen gedrukt. Zwarte veegjee in de marge van pagina 8.
-
A Primer of ALGOL 60 Programming. ( = A.P.I.C. Studies in Data Processing, 2) .
Verlag: Academic Press New York, 1962
Sprache: Englisch
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 25,00
Währung umrechnenEUR 3,95 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbCloth. Zustand: Wie neu. 114 Ex-Library. Additional cover foliation. Guter Zustand/ Good Ex-Library. Additional cover foliation. ha1089229 Sprache: Englisch Gewicht in Gramm: 510.
-
Goddelijk geschilderd. Honderd meesterwerken van Museum Catharijneconvent.
Verlag: Utrecht-Zwolle, Museum Catharijneconvent-Waanders Uitgevers. 2003, 2003
ISBN 10: 9040087210 ISBN 13: 9789040087219
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
EUR 13,80
Währung umrechnenEUR 8,50 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbOriginal publisher's sewn paperback, pictorial front- & backcover, large 4to: frontispiece, 280pp., introduction with illustrations - notes & references, CATALOGUE of 100 paintings depicted in colour and described - with several bl.& wh. text-illustrations and references, essay on technical survey of 15- & 16th century paintings, index, colophon. Very fine copy - as new.,
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, 55
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 32,95
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den Warenkorbgebundene Ausgabe. Zustand: Gut. 478 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. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 910.
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 19,21
Währung umrechnenEUR 19,64 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 478 pp., hardcover, ex library, else text and binding clean and 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.
-
Formal Development of Programs and Proofs
Verlag: Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 39,35
Währung umrechnenEUR 5,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Formal Development of Programs and Proofs
Verlag: Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 39,35
Währung umrechnenEUR 5,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Methods Programming
Verlag: Pearson Education, Limited, 1988
ISBN 10: 0201175363 ISBN 13: 9780201175363
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 39,73
Währung umrechnenEUR 5,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
A Primer of Algol 60 Programming. A.P.I.C.Studies in Data Processing No.2
Verlag: Academic Press, 1962
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 32,95
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbgebundene Ausgabe. Zustand: Gut. 114 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. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 420.
-
De schilderijen van Museum Catharijneconvent.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
EUR 33,95
Währung umrechnenEUR 5,50 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: as new. Utrecht : Museum Catharijneconvent & Zwolle : Waanders, 2002. Hardcover. Dustjacket. 575 pp. Ills. 28 cm. Nederlandse tekst. - Museum Catharijneconvent te Utrecht, sinds 1976 het nationaal museum voor de christelijke cultuur, herbergt de belangrijkste collectie religieuze kunst in Nederland. Het is ontstaan door de samenvoeging van 9 deelverzamelingen, w.o. katholiek, oud-katholiek, protestants en rijksbezit. Tot nu toe was er alleen een catalogus van het bezit van het (voormalig) Aartsbisschoppelijk Museum Utrecht (1933; 2e ed. 1948), een van de deelcollecties. Met deze mooi verzorgde bestandscatalogus, waaraan uitvoerig onderzoek ten grondslag ligt, worden door vakauteurs voor het eerst alle West-Europese schilderijen toegankelijk gemaakt voor vakmensen en geïnteresseerden. In de korte inleiding (met noten) worden het ontstaan en de geschiedenis van de diverse collecties helder beschreven. De catalogus bevat alle werken (ruim 1100!), afgebeeld in zwart-wit, met beschrijvingen, technische gegevens, herkomst en uitvoerige literatuur. Met uitgebreide registers op personen, plaatsen, iconografie en inventarisnummers. Condition : as new copy. ISBN 9789040096617. Keywords : ART,
-
Logic of Programmig and Calculi of Discrete Design
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 46,07
Währung umrechnenEUR 7,45 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Hardcover with printed boards, no dust jacket, in very good condition. Boards are slightly marked, and edges and spine ends are bumped and nicked in places. Page block is lightly tanned and blemished, page edges are a little tanned, and previous owner's name penned to front end-paper. Pages are otherwise clear and binding is sound. LW. Used.
-
A Primer of ALGOL 60. Programming. Together with Report on the Algorithmic Language ALGOL 60.
Verlag: London, Academic Press 1962., 1962
Anbieter: Antiquariat Löcker, Wien, Österreich
Verbandsmitglied: GIAQ ILAB VDA VDAO
Verkäuferbewertung 5 von 5 Sternen
EUR 35,00
Währung umrechnenEUR 6,50 für den Versand von Österreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbIn Englisch. 114 S., OLn., geringe Gebrauchsspuren, ausgeschied. Bibl.-Expl. mit den üblichen Kennzeichnungen.
-
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,67
Währung umrechnenEUR 5,71 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
De schilderijen van Museum Catharijneconvent.
Anbieter: Frans Melk Antiquariaat, HILVERSUM, Niederlande
Verkäuferbewertung 5 von 5 Sternen
EUR 35,00
Währung umrechnenEUR 13,00 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbUtrecht, Museum Catharijneconvent / Zwolle, Waanders, 2002. 27,5 x 24 cm. In linnen gebonden met stofomslag. Hardcover. Rijk geïllustreerd in z/w. 575 pag. Text in Dutch. NIEUW EXEMPLAAR nog verpakt in folie. [Art / Dutch art general [Algemene Nederlandse Kunst] ].
-
Formal Development of Programs and Proofs
Verlag: Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 59,91
Währung umrechnenEUR 7,89 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 1st. Used book that is in clean, average condition without any missing pages.
-
Formal Development of Programs and Proofs
Verlag: Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Sprache: Englisch
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 59,91
Währung umrechnenEUR 7,89 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 1st. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642748864 ISBN 13: 9783642748868
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 106,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.
-
De knotwilg.
Verlag: Utrecht. Uitgave Stichting Natuur en Milieu. 1976., 1976
Anbieter: Worpsweder Antiquariat, Worpswede, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 48,00
Währung umrechnenEUR 3,90 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbWell illustrated in black and white. Pamphlet. 23,(1)pp. Large 8vo. Corners slightly bumped. Slightly used.
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,32
Währung umrechnenEUR 5,71 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Program Construction: International Summer School
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 133,68
Währung umrechnenEUR 1,88 für den Versand von USA nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 1979. Paperback. . . . . . Books ship from the US and Ireland.
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 154,71
Währung umrechnenEUR 11,47 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 486 pages. 9.40x6.80x1.10 inches. In Stock.
-
Constructive Methods in Computing Science
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
ISBN 10: 3642748864 ISBN 13: 9783642748868
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 184,59
Währung umrechnenEUR 1,88 für den Versand von USA nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988 Editor(s): Broy, Manfred. Series: NATO ASI Subseries F. Num Pages: 478 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 147 x 27. Weight in Grams: 816. . 2011. Softcover reprint of the original 1st ed. 1989. Paperback. . . . . Books ship from the US and Ireland.
-
Structured Programming. A.P.I.C. Studies in Data Processing No. 8.
Verlag: London / New York: Academic Press, 1972
Sprache: Englisch
Anbieter: Schuebula, Schneverdingen OT Wintermoor, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 80,00
Währung umrechnenEUR 6,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover/Pappeinband. 220 Seiten; einige wenige Graphiken; 23,5 cm x 15 cm. Das Buch wurde laminiert, außerdem findet sich ein Namenseintrag auf dem fliegenden Blatt des Vorsatzes. Sonst gutes Exemplar aus der Steinzeit des Computers. Sprache: englisch. RR1/110 Sprache: Englisch Gewicht in Gramm: 463.
