Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

AvHelmut Schwichtenberg,Peter G. Clote

E-bok

PDF, Engelska, 2003

1 413 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2003-06-29
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540446224
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT
Systemvetenskap och AI inom Data och IT

Du kanske också är intresserad av

Computer Science Logic

Peter G. Clote, Helmut Schwichtenberg

Häftad, 2000

1 107 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design

Peter G. Clote

Häftad, 2026

1 163 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design

Peter G. Clote

Inbunden, 2026

2 402 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One

Peter G. Clote

Inbunden, 2025

1 455 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One

Peter G. Clote

E-bok

2025

1 660 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design

Peter G. Clote

E-bok

2026

1 392 kr

Nyhet

RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One

Peter G. Clote

Häftad, 2026

773 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design

Peter G. Clote

E-bok

2026

1 392 kr

RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One

Peter G. Clote

E-bok

2025

1 660 kr

Proof and Computation

Helmut Schwichtenberg

Häftad, 2011

1 107 kr