Introduces fundamental computer science concepts related to the study of data structures. The text explores problem solving and the efficient access and manipulation of data and is intended for readers who already have a basic understanding of C++. The "walls and mirrors" mentio…
This three-volume set constitutes the refereed proceedings of the 14th International Conference on Knowledge Science, Engineering and Management, KSEM 2021, held in Tokyo, Japan, in August 2021. The 164 revised full papers were carefully reviewed and selected from 492 submission…
The three-volume sets constitute the refereed proceedings of the 15th International Conference on Knowledge Science, Engineering and Management, KSEM 2022, held in Singapore, during August 6-8, 2022. The 169 full papers presented in these proceedings were carefully reviewed and …
The three-volume sets constitute the refereed proceedings of the 15th International Conference on Knowledge Science, Engineering and Management, KSEM 2022, held in Singapore, during August 68, 2022. The 169 full papers presented in these proceedings were carefully reviewed and s…
This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.* The 58 revised full papers and 27 short papers were c…
This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.* The 58 revised full papers and 27 short papers were c…
This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the book: divide and conquer and iterative refinement. Divide and conquer is the process by which a large …
This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the book: divide and conquer and iterative refinement. Divide and conquer is the process by which a large …
Educational computing and problem solving
First published in 1988. Professionals who are on the cutting edge of educational computing discuss, in this provocative new book, one of the most exciting prospects of the field--harnessing the power of the computer to enhance the development of problem-solving abilities. Here …