This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and ad
Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions an
This volume presents the proceedings of the International Workshop on Database Issues for Data Visualization, held in conjunction with the IEEE Visualization '93 conference in San Jose, California in
Structure and Interpretation of Computer Programs has had a dramatic impact oncomputer science curricula over the past decade. This long-awaited revision contains changesthroughout the text.There are
This thesis covers the theory and practice behind practical evaluation. It explores how programmers write programs in a highly interpretive style without paying the price in efficiency.
This book presents a coherent approach to the fast moving field of machine vision, using a consistent notation based on a detailed understanding of the image formation process.
EVERYTHING YOU NEED TO HELP SCORE A PERFECT 5. Ace the AP Computer Science A Exam with this comprehensive study guide—including 2 full-length practice tests, thorough content reviews, targeted strateg