Nederpelt (24 Ergebnisse)

Zustand: New. In English.

Paperback. 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.

Zustand: New. In English.

Zustand: New. In English.

Zustand: Please see description. Paperback, in zeer goede staat. Vrijwel als nieuw. Met de bijbehorende CD.

Zustand: New. In English.

Zustand: Good. Originele geà llustreerde hardcover, geà llustreerd met foto's in kleur en z/w, vierkant (circa 22x22cm).

Zustand: Good. Originele geà llustreerde hardcover, geà llustreerd met foto's in kleur en z/w, vierkant (circa 22x22cm).

Zustand: Very Good.

Hardcover. Zustand: Very Good. 1. 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.

ingenaaid, 216 blz Naam schutblad.

Hardback. Zustand: Very Good. 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.…

Zustand: very good. Assen : Koninklijke Van Gorcum, 2004. Paperback. x,270 pp. Stempel. Condition : very good copy. ISBN 9789023240068. Keywords : .

Zustand: New. In English.

Hardcover. Zustand: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock.

Zustand: Very Good.

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.…

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

Paperback. Zustand: Brand New. 371 pages. 9.25x6.10x0.85 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: very good. Broschiert. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Vorsatz beschriftet. 386 Seiten. Englisches Exemplar.

Paperback. Zustand: Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.…

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.…