Donald Mackenzie: Mechanizing Proof | preigu

Cover: 9780262632959 | Mechanizing Proof | Computing, Risk, and Trust | Donald Mackenzie

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

42,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

A sociological approach to the history of proof, as applied to and performed by computer systems.

A sociological approach to the history of proof, as applied to and performed by computer systems.

Über den Autor

Donald MacKenzie

Details

Empfohlen (von):	18
Erscheinungsjahr:	2004
Genre:	Importe , Soziologie
Rubrik:	Wissenschaften
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9780262632959
ISBN-10:	0262632950
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Mackenzie, Donald
Redaktion:	Bijker, Wiebe E. Carlson, W. Bernard
Hersteller:	MIT Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	229 x 152 x 24 mm
Von/Mit:	Donald Mackenzie
Erscheinungsdatum:	30.01.2004
Gewicht:	0,633 kg

Artikel-ID: 128836502

Ähnliche Produkte

Taschenbuch

Cover: 9783540898221 | Analysis für Informatiker | Grundlagen, Methoden, Algorithmen | Buch

Analysis für Informatiker

Grundlagen, Methoden, Algorithmen

EAN: 9783540898221

Sprache: Deutsch

Von/Mit: Alexander Ostermann (u. a.)

37,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783540151609 | SPICE | Horst Nielinger (u. a.) | Taschenbuch | iv | Deutsch | 1985

Analyseprogramm für elektronische Schaltungen Benutzerhandbuch mit Beispielen

EAN: 9783540151609

Sprache: Deutsch

Von/Mit: Horst Nielinger (u. a.)

54,99 €*

Lieferzeit 2-4 Werktage

Buch

Cover: 9781350124417 | Hegel in A Wired Brain | Slavoj Zizek | Buch | Hardback | Gebunden

Hegel in A Wired Brain

EAN: 9781350124417

Sprache: Englisch

Von/Mit: Slavoj Zizek

25,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781801077057 | Conversational AI with Rasa | Xiaoquan Kong (u. a.) | Taschenbuch

Conversational AI with Rasa

Build, test, and deploy AI-powered, enterprise-grade virtual assistants and chatbots

EAN: 9781801077057

Sprache: Englisch

Von/Mit: Xiaoquan Kong (u. a.)

52,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9789401802833 | The Togaf (R) Standard, Version 9.2 | van Haren Publishing | Buch

The Togaf (R) Standard, Version 9.2

EAN: 9789401802833

Sprache: Englisch

Von/Mit: van Haren Publishing

104,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780262525053 | Standards | Recipes for Reality | Lawrence Busch | Taschenbuch | 2013

Recipes for Reality

EAN: 9780262525053

Sprache: Englisch

Von/Mit: Lawrence Busch

42,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

-13 %

Cover: 9783031341434 | Programming Languages: Principles and Paradigms | Gabbrielli (u. a.)

Programming Languages: Principles and Paradigms

EAN: 9783031341434

Sprache: Englisch

Von/Mit: Maurizio Gabbrielli (u. a.)

51,15 €* UVP 58,84 €

Lieferzeit 2-4 Werktage

Buch

Cover: 9780691146843 | The Blind Spot – Science and the Crisis of Uncertainty | William Byers

The Blind Spot – Science and the Crisis of Uncertainty

EAN: 9780691146843

Sprache: Englisch

Von/Mit: William Byers

20,00 €*

Aktuell nicht verfügbar