Evaluating discrete mathematics exercises
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Invariants of Families of Coplanar Conics and Their Applicationsto Object Recognition
Journal of Mathematical Imaging and Vision
Mathematical proofs as graph search problems in theory courses
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Discrete mathematics: support of and preparation for the study of computer science
Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference
The cable trench problem: combining the shortest path and minimum spanning tree problems
Computers and Operations Research
Software is discrete mathematics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Encyclopedia of Computer Science
A generalized real-time obstacle avoidance method without the Cspace calculation
Journal of Computer Science and Technology
Scalable visual assessment of cluster tendency for large data sets
Pattern Recognition
Characterization of spatial fault patterns in interconnection networks
Parallel Computing
Proof diagrams: a graphical tool for assisting set proofs
Journal of Computing Sciences in Colleges
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Efficient virtual-backbone routing in mobile ad hoc networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Enhancing the learning and teaching of functions through programming in ML
Journal of Computing Sciences in Colleges
An agent model for computer performance enhancement
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Distribution of distinguishable objects to bins: generating all distributions
International Journal of Computer Mathematics
Computational complexity simplified
MATH'08 Proceedings of the American Conference on Applied Mathematics
Software learning tool to calculate isotope pattern for chemistry area of study
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Generating all distributions of objects to bins
International Journal of Computer Mathematics
Online data storage using implicit security
Information Sciences: an International Journal
Algorithms and application in decision-making for the finest splitting of a set of formulae
Knowledge-Based Systems
Indexing with well-founded total order for faster subgraph isomorphism detection
GbRPR'11 Proceedings of the 8th international conference on Graph-based representations in pattern recognition
Basic mereology with equivalence relations
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Implementing authorization delegations using graph
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Fast subgraph isomorphism detection for graph-based retrieval
ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Graph-based retrieval of building information models for supporting the early design stages
Advanced Engineering Informatics
| Hi-index | 0.00 |