Gesamtpreis (1 Artikel Artikel):
Versandziel:
nederpelt (24 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (24)
- 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 (11)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (9)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Logical Reasoning: A First Course
Sprache: Englisch
Verlag: College Publications (edition ), 2004
ISBN 10: 095430067X ISBN 13: 9780954300678
Paperback. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Object-oriented Quality and Risk Management (OQRM). A practical and generic method to manage quality and risk.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 11,83
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logical Reasoning: A First Course
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 20,45
EUR 6,46 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Frozen
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,64
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logical Reasoning: A First Course
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,11
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Discrete mathematics Volume 59, Number 1, 2 April 1986
Verlag: Amsterdam - 1986, 1986
Anbieter: Sylvain Paré, Montolieu, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Ed. North-Holland, Amsterdam - 1986, in-8, broché, 205 pages Bon état, table des matières sur la photo - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Die Kunst der Fuge. Een menselijk document. J.S. Bachs meesterwerk.
Sprache: Niederländisch
Verlag: Uitgeverij Stili Novi. Tweede druk, 2016. 192 pp. Geïllustreerd in zwart-wit., 2016
ISBN 10: 9078094796 ISBN 13: 9789078094791
Anbieter: Antiquariaat Hortus Conclusus, Bergambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Paperback, in zeer goede staat. Vrijwel als nieuw. Met de bijbehorende CD. Please see description or ask for photos.
-
Object-oriented Quality Management (OQRM). Een praktische methode voor kwaliteits- en risicomanagement. (Dutch Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 16,24
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In Dutch; Flemish.
-
Logical Reasoning: A First Course
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Zustand: Good. Originele geà llustreerde hardcover, geà llustreerd met foto's in kleur en z/w, vierkant (circa 22x22cm).
-
SPELENDERWIJS (4-15j.)
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
J.S. Bachs meesterwerk Die Kunst der Fuge: een menselijk document: biblium ars contrapuncti humani
Sprache: Niederländisch
Verlag: Uitgeverij Stili Novi, 2014
ISBN 10: 9078094591 ISBN 13: 9789078094593
Zustand: Good. Paperback, illustraties in z/w, notenbalken, 8vo.
-
Ontwikkelingslanden en een verdeelde wereld. Een inleiding tot het ontwikkelingsvraagstuk.
Anbieter: Antiquariaat van Starkenburg, Apeldoorn, Niederlande
Verkäuferbewertung 5 von 5 Sternen
ingenaaid, 216 blz Naam schutblad.
-
Een wereld apart : de uitsluiting van de Derde Wereld.
Sprache: Niederländisch
Verlag: Gorcum b.v., Koninklijke Van
ISBN 10: 9023240065 ISBN 13: 9789023240068
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: very good. Assen : Koninklijke Van Gorcum, 2004. Paperback. x,270 pp. Stempel. Condition : very good copy. ISBN 9789023240068. Keywords : ,
-
Type Theory and Formal Proof: An Introduction
Sprache: Englisch
Verlag: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,16
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Kunnen wij onze beschaving nog redden?: vijftig jaar na de noodklok van de Club van Rome
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Type Theory and Formal Proof: An Introduction
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 136,75
EUR 14,43 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock.
-
Type Theory and Formal Proof: An Introduction
Sprache: Englisch
Verlag: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 175,07
EUR 9,05 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978. . 2014. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
-
Type Theory and Formal Proof
Sprache: Englisch
Verlag: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 194,00
EUR 14,43 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 371 pages. 9.25x6.10x0.85 inches. In Stock.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 198,85
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 201,27
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Niederländisch | Produktart: Bücher | Het management wil iets met kwaliteit of risico's doen, maar weet niet waar te beginnen. Het moet liefst niet te ingewikkeld zijn en ook niet teveel tijd kosten, maar het moet wel hout snijden. Ook wil het management graag klein beginnen en er later eventueel meer aan doen. Het Object-oriented Quality and Risk Management (OQRM) model, dat in dit boek wordt beschreven, wil in deze behoefte voorzien. Doel van het boek is om managers in staat te stellen dit model in zijn of haar organisatie toe te passen. Het OQRM model is generiek van opzet en kan in elke organisatie, op elk niveau, op elke schaal en op elk gebied worden toegepast. Het model helpt om op een systematische manier maatregelen vast te stellen om een aandachtsgebied in control te houden of te krijgen. Het model integreert kwaliteits- en risicomanagement. Het voorziet bovendien in de behoefte aan maatwerk.
-
Zustand: very good. Broschiert. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Vorsatz beschriftet. 386 Seiten. Englisches Exemplar.
