海量图书期刊资源,随时随地畅享阅读乐趣
[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 Programming Semantics Volume 442 || Operations on recordsMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Unbounded nondeterminism in CSPMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Termination, deadlock and divergenceMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Algebraic types in PER modelsMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Categorical semantics for programming languagesMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Factorizing proofs in timed CSPMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Language Semantics Volume 298 || The versatile continuous orderMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Equationally fully abstract models of PCFMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990