List of Books in Keyword #Theoretical Computer Science

Algorithms and Data Structures for External Memory (Foundations and Trends(R) in Theoretical Computer Science)
Published on: 2008
Unordered Unordered English

Data sets in large applications are often too massive to fit completely inside the computer's internal memory. The resulting input/output …

Algorithms Data Structures External Memory Theoretical Computer Science Computational Efficiency
Lower Bounds in Communication Complexity (Foundations and Trends in Theoretical Computer Science)
Published on: 2009
Beginner Unordered English

Communication Complexity Lower Bounds Protocols Theoretical Computer Science Data Transfer
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Published on: 2010
Beginner Unordered English

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in …

Formal Methods Theoretical Computer Science Software Engineering Programming Language Semantics Mathematical Models
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Published on: 2013
Beginner Set Theory English

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in …

Formal Methods Software Engineering Program Semantics Theoretical Computer Science Verification

Page 1 of 1