Mathematical theory of computation studies the properties of computer programs. The goal is to provide a sound theoretical basis for proving correctness or equivalence of designs. The goal of program verification is to improve the reliability of important classes of programs such as compilers, ...
https://focs.computer.org/2025/ 截稿日期: 2025-04-03 通知日期: 2025-07-08 会议日期: 2025-12-14 会议地点: Sydney, Australia 届数: 66 CCF:aCORE:a*QUALIS:a1浏览:157530关注:49参加:6 征稿 The 66th Annual Symposium on Foundations of Computer Science (FOCS 2025), sponsored by the IEEE Com...
Basic Category Theory for Computer Scientists Benjamin C. Pierce / The MIT Press / 1991-8-7 / USD 29.00 7.8 (19人评价) Category theory is a branch of pure mathematics that is becoming an increasing... Computability and Complexity : From a Programming Perspective Neil D. Jones / ...
The naming of conceptual items in programming is central to what we do and they need to be taken seriously. But coming up with clear, concise, and consistent variable and function names, you can make communication between you and other developers (and your instructors) more efficient and ...
Students take all the foundational concepts from the Control Structures unit to solve some programming challenges. Functions, Events, and Lists Students learn to write reusable code with functions and parameters. Final Project Students learn the theory and practice of user interface design. With rapid...
International Journal on Foundations of Computer Science & Technology (IJFCST) is a Bi-monthly peer-reviewed and refereed open access journal that publishes articles which contribute new results in all areas of the Foundations of Computer Science & Technology. Over the last decade, there has been ...
Undergraduate Topics in Computer Science(共17册),这套丛书还有 《Principles of Data Mining (Undergraduate Topics in Computer Science)》《Principles of Data Mining (Undergraduate Topics in Computer Science)》《Programming Languages》《Modelling Computer Systems》《Introduction to Data Science: A Python Appro...
Electronic Notes in Theoretical Computer Science Open accessArticles & IssuesThe Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)23-26 May 2016 • Carnegie Mellon University, Pittsburgh, PA Edited by Dr. Lars Birkedal Pages 1-334 (5 October 2016) ...
13th International Conference on Foundations of Computer Science & Technology (FCST 2025) will act as a major forum for the presentation of innovative ideas, approaches, developments, and research projects in the areas of Foundations of Computer Science & Technology. It will also serve to facilitate...
of Graph Algorithms and ApplicationsUSA57%similarity10 Computer JournalGBR56%similarity11 Discrete Mathematics and Theoretical Computer ScienceFRA55%similarity12 Mathematical Structures in Computer ScienceGBR51%similarity13 Science of Computer ProgrammingNLD47%similarity14 Logical Methods in Computer ScienceDEU47...