COMPUTERS / Logic Design
각 전자책을 클릭하여 상세정보를 조회하거나 제공 사이트를 클릭하여 전문을 조회하실 수 있습니다.
총 126건 중 1 - 20건 출력
-
1Book InfoA Roadmap for Formal Property VerificationSpringer e-Book Collection (2006)2006전문보기 (Full Text Access)
-
2Book InfoA half-century of automata theory: celebration and inspirationEBSCO eBooks2001전문보기 (Full Text Access)ProQuest Ebook Central - Academic Complete International2001전문보기 (Full Text Access)
-
3Book InfoAI and UX: Why Artificial Intelligence Needs User ExperienceO'Reilly Online Learning Platform: Academic/Public Library Edition2020전문보기 (Full Text Access)
-
4Book InfoASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and MethodologiesProQuest Ebook Central - Academic Complete International2017전문보기 (Full Text Access)
-
5Book InfoAdiabatic Logic: Future Trend and System Level Perspective.Springer e-Book Collection (2012)2012전문보기 (Full Text Access)
-
6Book InfoAdvanced Artificial Intelligence (Series on Intelligence Science)EBSCO eBooks2011전문보기 (Full Text Access)ProQuest Ebook Central - Academic Complete International2011전문보기 (Full Text Access)
-
7Book InfoAdvanced Model Order Reduction Techniques in VLSI DesignEBSCO e-Book Collection (NetLibrary 6th) - 20082007전문보기 (Full Text Access)EBSCO eBooks2007전문보기 (Full Text Access)
-
8Book InfoAdvanced Symbolic Analysis for VLSI Systems: Methods and ApplicationsSpringer e-Book Collection (2014)2014전문보기 (Full Text Access)
-
9Book InfoAlgebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture notes in computer science, Festschrift 4060)Springer e-Book Collection (Free Title)2006전문보기 (Full Text Access)
-
10Book InfoAlgorithms for VLSI Physical Design AutomationSpringer e-Book Collection (Free Title)1999전문보기 (Full Text Access)
-
11Book InfoAn Inductive Logic Programming Approach to Statistical Relational LearningEBSCO eBooks2006전문보기 (Full Text Access)ProQuest Ebook Central - Academic Complete International2006전문보기 (Full Text Access)
-
12Book InfoApplications and Theory of Petri Nets 2004: 25Th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3099)Springer e-Book Collection (Free Title)2004전문보기 (Full Text Access)
-
13Book InfoApplications of Fuzzy Logic in Bioinformatics (Series on Advances in Bioinformatics and Computational Biology)EBSCO eBooks2008전문보기 (Full Text Access)ProQuest Ebook Central - Academic Complete International2008전문보기 (Full Text Access)
-
14Book InfoApplying Math with Python: Practical Recipes for Solving Computational Math Problems Using Python Programming and Its LibrariesEBSCO e-Book Collection (NetLibrary 19th) - 20212020전문보기 (Full Text Access)EBSCO eBooks2020전문보기 (Full Text Access)
-
15Book InfoAugmented Human: How Technology Is Shaping the New RealityO'Reilly Online Learning Platform: Academic/Public Library Edition2017전문보기 (Full Text Access)
-
16Book InfoBuilding Arduino PLCs: The Essential Techniques You Need to Develop Arduino-based PLCsO'Reilly Online Learning Platform: Academic/Public Library Edition2017전문보기 (Full Text Access)Springer e-Book Collection (2017)2017전문보기 (Full Text Access)
-
17Book InfoCMOS Technology (Electrical Engineering Developments)EBSCO eBooks2011전문보기 (Full Text Access)ProQuest Ebook Central - Academic Complete International2010전문보기 (Full Text Access)
-
18Book InfoCONCUR 2004--concurrency Theory: 15Th International Conference, London, UK, August 31-September 3, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3170)Springer e-Book Collection (Free Title)2004전문보기 (Full Text Access)
-
19Book InfoCompact Models and Measurement Techniques for High-Speed InterconnectsSpringer e-Book Collection (2012)2012전문보기 (Full Text Access)
-
20Book InfoComplex Binary Number System: Algorithms and CircuitsSpringer e-Book Collection (2013)2013전문보기 (Full Text Access)