Reihe Texts in Theoretical Computer Science. An EATCS SeriesSpringer Berlin × Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlineBook200869,54 € Temporal Logic and State Systems Fred KrögerSpringer BerlinHardcover200880,24 € Temporal Logic and State Systems Fred KrögerSpringer BerlineBook200880,24 € Dissemination of Information in Optical Networks:From Technology to AlgorithmsSubir BandyopadhyaySpringer BerlinHardcover200753,49 € Dissemination of Information in Optical Networks:From Technology to AlgorithmsSubir BandyopadhyaySpringer BerlineBook200753,49 € Modelling Distributed Systems Wan FokkinkSpringer BerlinHardcover200753,49 € Modelling Distributed Systems Wan FokkinkSpringer BerlineBook200753,49 € Software Engineering 2Specification of Systems and LanguagesDines BjørnerSpringer BerlineBook200753,49 € Finite Model Theory and Its Applications Erich GrädelSpringer BerlineBook200778,10 € Software Engineering 1Abstraction and ModellingDines BjørnerSpringer BerlineBook200790,94 €115 Treffer 1 2 3 4 5 6 7 8 9 10 11 ...
