This volume of articles by leading computer scientists emphasises the achievements of Gilles Kahn, and examines the significance of his contributions to computer science. The authors also reflect upon the future development of information technology and the ways in which it will continue to affect other scientific disciplines.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Castéran) of Coq'Art: The Calculus of Inductive Constructions (2004).
Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Castéran) of Coq'Art: The Calculus of Inductive Constructions (2004).
Gérard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.
Jean-Jacques Lévy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.
Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 9,00 für den Versand von Deutschland nach USA
Versandziele, Kosten & DauerEUR 14,17 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerAnbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M00521518253-G
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-832-496
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-863-236
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-863-242
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9780521518253_new
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology. Artikel-Nr. 9780521518253
Anzahl: 1 verfügbar