Reihe Texts in Theoretical Computer Science. An EATCS SeriesSpringer Berlin × Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlinSoftcover201853,49 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlinHardcover201780,24 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlineBook201653,49 € Petri Net Synthesis Eric BadouelSpringer BerlinSoftcover201664,19 € Petri Net Synthesis Eric BadouelSpringer BerlinHardcover201564,19 € Petri Net Synthesis Eric BadouelSpringer BerlineBook201564,19 € Grammatical Picture GenerationA Tree-Based ApproachFrank DrewesSpringer BerlinSoftcover201453,49 € Finite Model Theory and Its Applications Erich GrädelSpringer BerlinSoftcover201480,20 € Extremal CombinatoricsWith Applications in Computer ScienceStasys JuknaSpringer BerlinSoftcover201369,54 € Computable AnalysisAn IntroductionKlaus WeihrauchSpringer BerlinSoftcover201353,49 €115 Treffer 1 2 3 4 ...