Advanced Search Title: Author: Topik: Mata Kuliah:  Penerbit:   Tahun terbit:  Jenis:   Format:  Lokasi:  All -- Ben & Nafsiah Mboi Collection BI Corner Frans Seda Collection Kees Bertens Collection Lab-Kom-FK Perpustakaan FK Perpustakaan PKBB Perpustakaan PKPM Perpustakaan Pusat (BSD) Perpustakaan Pusat (Semanggi) Perpustakaan RSAJ Pusat Penelitian HIV AIDS Fulltext:  All Hanya yang memiliki fulltext Hanya yang belum ada fulltext Search Hasil 1 - 20 dari 66 (0.15625 detik)   Select all      Kirim  Download 8-Bit Arithmetic and Logic Unit Design Verification Using Formal Method   Author:  PUTRA, TOMY MANDALA; Bachri, Karel Octavianus (Advisor); Lukas (Advisor) Penerbit: Jakarta: Program Studi Teknik Elektro Fakultas Teknik Unika Atma Jaya     Tahun terbit: 2012     Jenis: Theses - Undergraduate Thesis A Neural Network-Based Model for Paper Currency Recognition and Verification   Author:  Frosini, A.; Priami, P.; Gori, M. Artikel dari IEEE Transactions on Neural Networks vol. 7 no. 6 (1996)  , page 1482-1490 A Seven-Decimal Table of the Area (a) Under the Unit Normal Curve, for Abscissae Expressed in Terms of P.E.   Author:  Krause, Ruth H.; Conrad, Herbert S. Artikel dari Psychometrika: A Journal of Quantitative Psychology vol. 2 no. 1 (Mar. 1937)  , page 55-66 A Study on the Design Verification Process of a Control System for Construction Equipment   Author:  Yoon, Jae Hak; Kim, Sung Ki; Kwon, Young Min Artikel dari 12th ANQ Congress in Singapore, 5-8 Agustus 2014  , page 1-7 Academic Self - Esteem and Perceived Validity of Grades : A Test of Self - Verification Theory   Author:  Fournet, Lee M.; Okun, Morris A. Artikel dari Contemporary Educational Psychology vol. 18 no. 04 (Oct. 1993)  , page 414-426 Activation of Phonological Codes during Reading: Evidence from Errors Detection and Eye Movements   Author:  Sparrow, Laurent; Miellet, Sebastien Artikel dari Brain and Language (Full Text) vol. 81 no. 1-3 (2002)  , page 509-516 Am I as You See Me or Do You See Me as I Am ? Self - Fulfilling Prophecies and Self - Verification   Author:  Madon, Stephanie; Smith, Alison; Jussim, Lee; Russell, Daniel W.; Eccles, Jacquelynne; Palumbo, Polly; Walkiewicz, Michele Artikel dari Personality and Social Psychology Bulletin (http://journals.sagepub.com/home/pspc) vol. 27 no. 9 (2001)  , page 1214-1224 An Active Networks Simulation Environment   Author:  Rao, Dhananjai M.; Wilsey, Philip A. Artikel dari Simulation vol. 78 no. 7 (Jul. 2002)  , page 447-460 An Empirical Verification of The Wherry-Gaylord Iterative Factor Analysis Procedure   Author:  Wherry, Robert J.; Campbell, Joel T.; Perloff, Robert Artikel dari Psychometrika: A Journal of Quantitative Psychology vol. 16 no. 1 (Mar. 1951)  , page 67-74 An Infrastructural IP for Interactive MPEG-4 SoC Functional Verification   Author:  Adiono, Trio; Kerkhoff, Hans G.; Kunieda, Hiroaki Artikel dari Journal of ICT Research and Applications vol. 3C no. 1 (2009)  , page 51-66 Analytical Modeling of Chatter Stability in Turning and Boring Operations-Part II : Experimental Verification   Author:  Ozlu, Emre; Budak, Erhan Artikel dari Journal of Manufacturing Science and Engineering vol. 129 no. 4 (Aug. 2007)  , page 733-739 Antecedents and Consequences of Self-Verification: Implications for Individual and Group Development   Author: London, Manuel Artikel dari Human Resource Development Review vol. 2 no. 3 (Sep. 2003)  , page 273-293 Applied formal verification   Author:  Perry, Douglas L.; Foster, Harry D. Penerbit: New York: McGraw-Hill     Tahun terbit: 2005     Jenis: Books CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction   Author:  Haiyang, Sun; Jian, Yang Penerbit: Heidelberg: Springer-Verlag Berlin Heidelberg     Tahun terbit: 2008     Jenis: Papers/Makalah Code Verification By The Method of Manufactured Solutions   Author: Roache, Patrick J. Artikel dari Journal of Fluids Engineering vol. 124 no. 1 (2002)  , page 4-10 Comperehensive Approach to Verification and Validation of CFD Simulations-Part 2 : Application for Rans Simulation of A Cargo/Contaienr Ship   Author:  Coleman, Hugh W.; Stern, Fred; Wilson, Robert V.; Paterson, Eric G. Artikel dari Journal of Fluids Engineering vol. 123 no. 4 (2001)  , page 803-810 Comprehensive Approach to Verification and Validation of CFD Simulations-Part 1 : Methodology and Procedures   Author:  Coleman, Hugh W.; Stern, Fred; Wilson, Robert V.; Paterson, Eric G. Artikel dari Journal of Fluids Engineering vol. 123 no. 4 (2001)  , page 793-802 Correlations Among Variables in Message and Messenger Credibility Scales   Author: Roberts, Chris Artikel dari American Behavioral Scientist vol. 54 no. 01 (Sep. 2010)  , page 43-56 Development of Process Model for Surgical Operation Planning   Author:  Takao, Rika; Tsuru, Satoko; Shimono, Ryoko; Kuroda, Toru; Yoshida, Kazuhiko; Asano, Koji; Kato, Shogo Artikel dari 12th ANQ Congress in Singapore, 5-8 Agustus 2014  , page 1-12 Development, Analysis, And Verification Of A Parallel Hybrid Dataflow Computer Architectural Framework And Associated Load-Balancing Strategies And Algorithms Via Parallel Simulation   Author:  Heath, J. Robert; Sivanesa, Balasubramanian Artikel dari Simulation vol. 69 no. 1 (Jan. 1993)  , page 7-26  Awal  Sebelumnya  Berikutnya  Akhir Halaman   dari 4   Lompat

Copyright © 2006, 2007 Unika Atma Jaya, all rights reserved