Readings Books

Create and share wishlists and easily view your order history.

Please note: requests using email addresses that aren't tied to an account will be ignored to keep customer details secure. If you do not receive an email within 30 minutes, you either do not have an account or your account is already confirmed.

Please note: requests using email addresses that aren't tied to an account will be ignored to keep customer details secure. If you do not receive an email within 30 minutes, you do not have an account.

Get started with your online account. To identify yourself, enter the email address you gave when signing up in store.

Cart ()

Readings Recommends

Subtotal (excludes shipping)

Re-send account confirmation

Reset your password

Reset your password

Search results for ‘Jens Knoop’

4 Products

FILTER & REFINE

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26–April 3, 2011, Proceedings

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Looking for something in particular?

Readings E-News