海量图书期刊资源,随时随地畅享阅读乐趣
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979Springer-Verlag · 1979
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977Springer-Verlag · 1977
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976Springer-Verlag · 1976
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989Springer-Verlag · 1989
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976 ProceedingsSpringerVerlag · 1976
[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 9537 ||Artemov, Sergei; Nerode, Anil · 2016
[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 ||Artemov, Sergei; Nerode, Anil · 2018
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2005 Volume 3618 ||Jȩdrzejowicz, Joanna; Szepietowski, Andrzej · 2005
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Hardware — SoftwareFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Defining disciplineFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Calendars and chronologiesFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || The composition heuristicFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Abstract structures in spatial cognitionFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A remark on trace equationsFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A foundation for computable analysisFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997
[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Self-improving behavior arbitrationFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997