Thorsten Altenkirch – författare

Visar alla böcker från författaren Thorsten Altenkirch. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Conceptual Programming with Python

   Av Isaac Triguero, Thorsten Altenkirch

   E-bok, 2020

   144 kr

   Lägg i varukorg

   Thorsten and Isaac have written this book based on a programming course we teach for Master’s Students at the School of Computer Science of the University of Nottingham. The book is intended for students with little or no background in programming coming from different backgrounds educationally as …

2. 

   Conceptual Programming with Python

   Av Thorsten Altenkirch, Isaac Triguero

   Häftad, 2020

   252 kr

   Lägg i varukorg

3. 

   Types for Proofs and Programs

   International Workshop, TYPES ''98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

   Av Bernhard Reus, Wolfgang Naraschewski m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg

4. 

   Types for Proofs and Programs

   International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

   Av Thorsten Altenkirch, Wolfgang Naraschewski m. fl.

   Häftad, 1999

   568 kr

   Lägg i varukorg

   Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submissions,14wereselectedforpublicationafteraregularref- eeingprocess. …

5. 

   Types for Proofs and Programs

   International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

   Av Thorsten Altenkirch, Conor McBride

   Häftad, 2007

   568 kr

   Lägg i varukorg

   The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in …

6. 

   Types for Proofs and Programs

   International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

   Av Conor McBride, Thorsten Altenkirch

   E-bok, 2007

   755 kr

   Lägg i varukorg