選択資料から書架並びで前後20冊ずつを表示します。
Quantum information IV : proceedings of the fourth international conference, Meijo University, Japan, 27 February-1 March 2001 / edited by T. Hida & K. Saitô
書庫2階
Lectures on quantum computing, thermodynamics and statistical physics / editors Mikio Nakahara, Shu Tanaka
書庫2階
A short introduction to quantum information and quantum computation / Michel Le Bellac ; translated by Patricia de Forcrand-Millard
: hbk
書庫2階
The Feynman processor : quantum entanglement and the computing revolution / Gerard J. Milburn ; foreword by Paul Davies
書庫2階
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang
: hbk
書庫2階
Physical realizations of quantum computing : are the DiVincenzo criteria fulfilled in 2004? : Osaka, Japan, 7-8 May 2004 / editors, Mikio Nakahara ... [et al.]
書庫2階
Quantum computing and quantum communications : First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998 : selected papers / Colin P. Williams (ed.)
書庫2階
Quantum computation and information : from theory to experiment / Hiroshi Imai, Masahito Hayashi (eds.)
書庫2階
Problems and solutions in quantum computing and quantum information / Willi-Hans Steeb, Yorick Hardy
書庫2階
Problems and solutions in quantum computing and quantum information / Willi-Hans Steeb, Yorick Hardy
書庫2階
Models and equality for logical programming / Joseph A. Goguen and José Meseguer
書庫2階
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems / Joseph A. Goguen and José Meseguer
書庫2階
A study in the foundations of programming methodology : specifications, institutions, charters and parchments / by Joseph A. Goguen and R.M. Burstall
書庫2階
Unifying functional, object-oriented and relational programming with logical semantics / Joseph A. Goguen and José Meseguer
書庫2階
The implementation of procedurally reflective languages / by Jim des Rivières and Brian Cantwell Smith
書庫2階
The situated processing of situated languages. / Susan U. Stucky
書庫2階