لیست کتاب های کلمه کلیدی: #Theoretical Computer Science

Algorithms and Data Structures for External Memory (Foundations and Trends(R) in Theoretical Computer Science)

Published on: 2008

Unordered Software Engineering 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 Software Engineering 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 Software Engineering 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 of

تماس با پشتیبان