海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen Volume 2 || A mathematical model of digital computersPawlak, Z. · 1973
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Robust oracle machinesChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Reusable specification componentsChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Comparing interconnection networksChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Distribution of Sequential ProcessesChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Positive/Negative conditional rewritingChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || String matching with constraintsChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || On complexity of countingChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Functional programming and combinatory algebrasChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988