Bernhard Reus – författare
Visar alla böcker från författaren Bernhard Reus. Handla med fri frakt och snabb leverans.
4 produkter
Limits of Computation
From a Programming Perspective
Häftad, 2016
511 kr
Lägg i varukorg
This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice's Theorem, …
Limits of Computation
From a Programming Perspective
E-bok, 2016
571 kr
Lägg i varukorg
This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice''s Theorem, …
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
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. …
