Ditemukan 56 dokumen yang sesuai dengan query
Dick Grune, author
Modern compiler design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distinguishing between the essential (material that has a high chance of being useful) and the incidental (material that will be of benefit only in exceptional cases) much useful...
New York: Springer, 2012
e20407663
eBooks Universitas Indonesia Library
Kerstin Eder, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized...
Berlin: Springer-Verlag, 2012
e20407813
eBooks Universitas Indonesia Library
Marielle Stoelinga, editor
The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement...
Berlin: [, Springer-Verlag ], 2012
e20410082
eBooks Universitas Indonesia Library
Ricardo Pena, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad...
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks Universitas Indonesia Library
Kehtarnavaz, Nasser
The hybrid programming approach allows the use of previously developed textual programming solutions to be integrated into LabVIEW’s highly interactive and visual environment, providing an easier and quicker method for building DSP systems.Digital Signal Processing System-Level Design Using LabVIEW, showed how LabVIEWTM graphical programming can be used to build and...
Academic Press, 2008
621KEHD001
Multimedia Universitas Indonesia Library
Kehtarnavaz, Nasser
The hybrid programming approach allows the use of previously developed textual programming solutions to be integrated into LabVIEW’s highly interactive and visual environment, providing an easier and quicker method for building DSP systems. Digital Signal Processing System-Level Design Using LabVIEW, showed how LabVIEWTM graphical programming can be used to build...
Academic Press, 2008
621KEHD002
Multimedia Universitas Indonesia Library
Zulkifli Lubis, author
ABSTRAK
Untuk menyederhanakan solusi dari suatu masalah komputasi selalu digunakan apa yang disebut dengan teknik analisa transformasi. Salah satu contoh dari teknik analisa ini adalah transformasi Fourier. Transformasi Fourier dari sebuah gelombang diperlukan untuk memisah gelombang tersebut menjadi sejumlah gelombang sinusoidal dengan frekwensi yang berbeda.
Dengan dikembangkannya suatu transformasi...
1992
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20410261
eBooks Universitas Indonesia Library
Ali Anari, author
[This book contains an Excel-based solution to this problem, applying principles of the authors, 'profit system model' of the firm that enables forecasts of trends in sales, expenditures, profits and other business variables. The program, called FIRM, which runs on Windows with Microsoft Excel 2010, useshistorical time series of total...
New York: [Springer, ], 2012
e20396799
eBooks Universitas Indonesia Library
Magnus Bang, editor
This book constitutes the proceedings of the 7th International Conference on Persuasive Technology, PERSUASIVE 2012, held in Linköping, Sweden, in June 2012. The 21 full papers presented together with 5 short papers were carefully reviewed and selected from numerous submissions. In addition three keynote papers are included in this volume....
Berlin: [, Springer-Verlag], 2012
e20410464
eBooks Universitas Indonesia Library
