انتشارات Mit
Model checking
Edmund M. Clarke Jr., 1999
Model checking
Edmund M. Clarke Jr., 1999
Model Checking
Edmund M. Clarke Jr., 1999
A Primer on American Labor Law, 3rd Edition
William B. Gould IV, 1993
Foundations Of Computer Music
Curtis Roads, 1987
Music, Cognition, and Computerized Sound: An Introduction to Psychoacoustics
Perry R. Cook, 1999
The Computer Music Tutorial
Curtis Roads, 1996
The Computer Music Tutorial
Curtis Roads, 1996
The computer music tutorial
Curtis Roads, 1996
Virtual music: computer synthesis of musical style
David Cope, 2001
Virtual Music: Computer Synthesis of Musical Style
David Cope, 2001
Virtual Music: Computer Synthesis of Musical Style
David Cope, 2001
Virtual Music: Computer Synthesis of Musical Style
David Cope, 2001
Introduction to High Performance Scientific Computing
Victor Eijkhout, 2011
Enjoying Machines
Barry Brown, 2015
Public Policy and the Economics of Entrepreneurship
Douglas Holtz-Eakin, 2004
Collective Oscillations in a Plasma
A. I. Akhiezer, I. A. Akhiezer, R. V. Polovin, 1967
Numerica: A Modeling Language for Global Optimization
Pascal van Van Hentenryck, 1997
Electron-Stream Interaction with Plasmas
Briggs R.J., 1964
