145 search results - page 24 / 29 » Basic Proof Skills of Computer Science Students |
CSEE
2003
Springer
14 years 20 days ago
2003
Springer
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
SODA
1992
ACM
13 years 8 months ago
1992
ACM
Let P be a property of undirected graphs. We consider the following problem: given a graph G that has property P, nd a minimal spanning subgraph of G with property P. We describe ...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
—“Network Storage and System Virtualization Technologies” is an up-to-date course opened by the school of electronics engineering and computer science of Peking University. T...