Extremal CombinatoricsStasys JuknaInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Decision ProceduresDaniel Kroening, Ofer StrichmanPocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Models of ComputationRoberto Bruni, Ugo MontanariPocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Petri Net SynthesisEric Badouel, Philippe Darondeau og 1 annenPocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Elements of Finite Model TheoryLeonid LibkinPocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Formal Methods for Software EngineeringAntonio Cerone, Siraj Ahmed Shaikh og 3 andrePocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Formal Methods for Software EngineeringAntonio Cerone, Siraj Ahmed Shaikh og 3 andreInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Decision ProceduresDaniel Kroening, Ofer StrichmanInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Algorithmics for Hard ProblemsJuraj HromkovicPocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Universal Artificial IntelligenceMarcus HutterInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Design and Analysis of Randomized AlgorithmsJ. Hromkovic, I. ZamecnikovaInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Modelling Distributed SystemsWan FokkinkInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Extremal CombinatoricsStasys JuknaPocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
