Browsing Book Chapters by Title

DSpace/Manakin Repository

Search OPUS

Advanced Search


My Account

Browsing Book Chapters by Title

Sort by: Order: Results:

  • Ying, M; Duan, R; Feng, Y (Cambridge University Press, 2013-01-01)
    This chapter presents a systematic exposition of predicate transformer semantics for quantum programs. It is divided into two parts: The first part reviews the state transformer (forward) semantics of quantum programs ...
  • Ford, MJ (John Wiley and Sons, 2011-07-05)
    In this chapter a number of these properties are discussed through examples relevant to nanoscience and technology. The SIESTA methodology in detail in Chapter 2; the present chapter is intended as an accompaniment. The ...