로직 디자인

(영문도서)AI Engineering Mastery: Designing Deploying and Managing Intelligent Systems Paperback, Independently Published, English, 9798292111559

(영문도서) The Power of AI: Learn Grow Succeed: Lighting Up Your World with AI. Paperback, Independently Published, English, 9798343750959

(영문도서) Learn Python programming Fast and SIMPLIFIED: Python Programming For Beginners Paperback, Independently Published, English, 9798344479873

Hardware Description Language Demystified: Explore Digital System Design Using Verilog HDL and VLSI ... Paperback, Bpb Publications

(영문도서) Exploring Alternate Realities Through Parallel Worlds Paperback, Uniek Enterprises, English, 9788196782580

(영문도서) Make: FPGAs: Turning Software Into Hardware with Eight Fun and Easy DIY Projects Paperback, Make Community, LLC, English, 9781457187858

(영문도서) Creating AI Agents: Utilizing the LangGraph framework Paperback, Independently Published, English, 9798308499077

Maze Game: Easy To Extreme Labyrinth Puzzles Pleasure Maze For Adult Older Children and Seniors Thi... Paperback, Independently Published, English, 9798582847366

Axiomatising the Logic of Computer Programming Paperback, Springer

Propositional Logic as a Boolean Algebra - A New Perspective: Vol. 1 Paperback, Createspace Independent Publishing Platform

Mastering NFT's: The Complete Guide to Understanding and Working With NFT's Paperback, Independently Published, English, 9798737912444

Using Microsoft Paint To Design Book Covers: A Guide for e-book and print book cover designs Paperback, Createspace Independent Pub..., English, 9781494242091

Algebraic Semantics Paperback, Springer

(영문도서) Digital Logic Design Paperback, Bpb Publications, English, 9788183335805

(영문도서)Essential Software Architecture: A Hands-on Engineering Guide for Distributed Sy... Paperback, Independently Published, English, 9798287864613

CSL'88: 2nd Workshop on Computer Science Logic Duisburg Frg October 3-7 1988. Proceedings Paperback, Springer

L Systems Paperback, Springer

Logic Programming Languages: Constraints Functions and Objects Paperback, Mit Press

Computer Science Logic: 12th International Workshop CSL'98 Annual Conference of the Eacsl Brno Cze..., Springer

(영문도서) Advanced Chip Design Practical Examples in Verilog Paperback, Createspace Independent Publishing Platform

Compositionality Concurrency and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship Paperback, Springer

Reversible Computation: 4th International Workshop Rc 2012 Copenhagen Denmark July 2-3 2012 Revised Papers Paperback, Springer

Logics of Programs: Workshop Yorktown Heights NY USA Paperback, Springer

Quantum Computing: Program Next-Gen Computers for Hard Real-World Applications Paperback, Pragmatic Bookshelf

The ZX Spectrum Ula: How to Design a Microcomputer Paperback, Zxdesign Technology and Media

Logics of Programs and Their Applications: Proceedings Poznan August 23-29 1980 Paperback, Springer

Many-Valued Logics 2: Automated Reasoning and Practical Applications Hardcover, Springer

Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Fie..., Springer

Advanced ASIC Chip Synthesis: Using Synopsys(r) Design Compiler(tm) and Primetime(r) Paperback, Springer

Compiler Construction: 17th International Conference CC 2008 Held as Part of the Joint European Conf..., Springer

Field Programmable Logic and Applications: 7th International Workshop Fpl '97 London UK September 1-3 1997 Proceedings. Paperback, Springer

Tools and Algorithms for the Construction and Analysis of Systems Paperback, Saint Philip Street Press, English, 9781013271205

100 Power Tips for FPGA Designers Paperback, Createspace Independent Publishing Platform

Reversible Computation: 7th International Conference Rc 2015 Grenoble France July 16-17 2015 Proceedings Paperback, Springer

Reversible Computation: 9th International Conference Rc 2017 Kolkata India July 6-7 2017 Proceedings Paperback, Springer

Field-Programmable Logic Smart Applications New Paradigms and Compilers: 6th International Workshop ..., Springer

Formal Modeling and Analysis of Timed Systems: 5th International Conference Formats 2007 Salzburg A..., Springer

Leveraging Applications of Formal Methods: First International Symposium ISoLA 2004 Paphos Cyprus ..., Springer

Job Scheduling Strategies for Parallel Processing: Ipps/Spdp'98 Workshop Orlando Florida USA March 30 1998 Proceedings Paperback, Springer

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe Frg October 12-16 1987. Proceedings Paperback, Springer

Formal Modeling and Analysis of Timed Systems: 7th International Conference FORMATS 2009 Budapest H..., Springer

Algebraic Informatics: 3rd International Conference on Algebraic Informatics Cai 2009 Thessaloniki Greece Mai 19-22 2009 Paperback, Springer

Rapid Reliability Assessment of Vlsics Paperback, Springer

Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data Hardcover, Atlantis Press

Reduced Thermal Processing for ULSI Paperback, Springer

Microarchitecture of VLSI Computers Paperback, Springer

Foundations of Software Science and Computational Structures: 10th International Conference FOSSACS 2..., Springer

Integrated Formal Methods: 5th International Conference Ifm 2005 Eindhoven the Netherlands Novembe..., Springer

Many-Valued Logics 2: Automated Reasoning and Practical Applications Paperback, Springer

Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conferen..., Springer

Embedded Software: Second International Conference Emsoft 2002 Grenoble France October 7-9 2002. Proceedings Paperback, Springer

Computer Aided Verification: Fourth International Workshop Cav '92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer

Mathematics of Program Construction: 9th International Conference MPC 2008 Marseille France July 15-18 2008 Proceedings Paperback, Springer

Computer Aided Verification: 8th International Conference Cav '96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer

Concur'97: Concurrency Theory: 8th International Conference Warsaw Poland July 1-4 1997 Proceedings Paperback, Springer

Verification Model Checking and Abstract Interpretation: 8th International Conference Vmcai 2007 N..., Springer

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi India..., Springer

Hardware Specification Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Instit..., Springer

Fst Tcs 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference Mu..., Springer

Program Specification: Proceedings of a Workshop Aarhus Denmark August 1981 Paperback, Springer