peter clote
Computer Science Logic
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 13th International Workshop on Computer Sci...
Boolean Functions and Computation Models
EbookSofort lieferbarThis textbook presents a survey of research on boolean functions, circuits, parallel computation ...
Feasible Mathematics II
EbookSofort lieferbarPerspicuity is part of proof. If the process by means of which I get a result were not surveyable...
RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One
EbookSofort lieferbarRNA Structure, Kinetics, and Rational Design is a comprehensive treatment of computational method...
RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One
EbookSofort lieferbarRNA Structure, Kinetics, and Rational Design is a comprehensive treatment of computational method...
Boolean Functions and Computation Models
TaschenbuchBezug 11-15The foundations of computational complexity theory go back to Alan Thring in the 1930s who was co...
Feasible Mathematics II
TaschenbuchBezug 11-15Perspicuity is part of proof. If the process by means of which I get a result were not surveyable...
Computer Science Logic
TaschenbuchBezug 11-15CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2...
- 1