Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  10 نتائج ل ""Computational Theory and Mathematics""

فلترة النتائج

Publisher : springer berlin heidelberg
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Book

Branching-Time Model Checking Gap-Order Constraint Systems

Subjects: Model checking; Computational Theory and Mathematics; Gap-order Constraint systems

  • Source: Lecture Notes in Computer Science ISBN: 9783642410352Mayr, R & Totzke, P 2015, ' Branching-Time Model Checking Gap-Order Constraint Systems ', Fundamenta Informaticae, vol. 143, no. 3-4, pp.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing

Subjects: Computational Theory and Mathematics; Computer Networks and Communications; Hardware and Architecture

  • Source: Lecture Notes in Computer Science ISBN: 9783642222115Distrib Comput

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

The Weakest Failure Detectors to Boost Obstruction-Freedom

Subjects: Computational Theory and Mathematics; Computer Networks and Communications; Hardware and Architecture

  • Source: Lecture Notes in Computer Science ISBN: 9783540446248Distributed Computing

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Editorial Message: Special Issue on Hesitant Fuzzy Linguistic Decision Making: Algorithms, Theory and Applications

Subjects: Software; Theoretical Computer Science; Computational Theory and Mathematics

  • Source: International Journal of Fuzzy Systems

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Book

GAML: Genome Assembly by Maximum Likelihood

Subjects: 0301 basic medicine; 03 medical and health sciences; Computational Theory and Mathematics

  • Source: Lecture Notes in Computer Science ISBN: 9783662447529Algorithms Mol Biol

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Mutual Enrichment in Ranked Lists and the Statistical Assessment of Position Weight Matrix Motifs

Subjects: 0301 basic medicine; 0303 health sciences; 03 medical and health sciences

  • Source: Lecture Notes in Computer Science ISBN: 9783642404528Algorithms Mol Biol

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

MSARC: Multiple Sequence Alignment by Residue Clustering

Subjects: 0301 basic medicine; 03 medical and health sciences; Computational Theory and Mathematics

  • Source: Lecture Notes in Computer Science ISBN: 9783642404528Algorithms Mol Biol

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Bootstrapping Phylogenies Inferred from Rearrangement Data

Subjects: 0301 basic medicine; QH301-705.5; Comparative genomics

  • Source: Lecture Notes in Computer Science ISBN: 9783642230370Algorithms Mol BiolAlgorithms for Molecular Biology, Vol 7, Iss 1, p 21 (2012)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Stochastic Errors vs. Modeling Errors in Distance Based Phylogenetic Reconstructions: (Extended Abstract)

Subjects: 0301 basic medicine; 0303 health sciences; QH301-705.5

  • Source: Lecture Notes in Computer Science ISBN: 9783642230370Algorithms Mol BiolAlgorithms for Molecular Biology, Vol 7, Iss 1, p 22 (2012)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Separating Metagenomic Short Reads into Genomes via Clustering: (Extended Abstract)

Subjects: 0301 basic medicine; QH301-705.5; Applied Mathematics

  • Source: Lecture Notes in Computer Science ISBN: 9783642230370Algorithms Mol BiolAlgorithms for Molecular Biology, Vol 7, Iss 1, p 27 (2012)Algorithms for Molecular Biology, vol 7, iss 1

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  10 نتائج ل ""Computational Theory and Mathematics""