도서/음반/DVD > IT컴퓨터 > 네트워크/보안/해킹 > 보안/해킹
169,400원
역대최고가 169,400원
최근평균가 169,400원
역대최저가 154,400원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
124,900원
(영문도서) The Complete Guide to Scion: From Design Principles to Formal Verification Paperback, Springer, English, 9783031052903
122,080원
Introduction to Formal Hardware Verification Hardcover, Springer
Introduction to Formal Hardware Verification Paperback, Springer
109,100원
(영문도서) Concise Guide to Software Verification: From Model Checking to Annotation Checking Hardcover, Springer, English, 9783031301667
198,200원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Hardcover, Springer, English, 9783030871802
222,880원
Advanced Formal Verification Hardcover, Springer
96,700원
Leveraging Applications of Formal Methods Verification and Validation: Verification Principles: 9th... Paperback, Springer, English, 9783030613617
223,980원
A Formal Approach to Hardware Design Hardcover, Springer
230,280원
Formal Verification of Circuits Hardcover, Springer
135,300원
(영문도서) Formal Verification of Structurally Complex Multipliers Hardcover, Springer, English, 9783031245701
95,880원
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
167,980원
Scalable Techniques for Formal Verification Hardcover, Springer
148,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030871833
113,400원
(영문도서) IP Cores Design from Specifications to Production: Modeling Verification Optimization and ... Paperback, Springer, English, 9783319373584
116,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030070489
130,580원
IP Cores Design from Specifications to Production: Modeling Verification Optimization and Protection Hardcover, Springer
178,700원
(영문도서) A Complete Guide to Gene Cloning: From Basic to Advanced Hardcover, Springer, English, 9783030968502
144,480원
ASIC/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies Hardcover, Springer
266,560원
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification Hardcover, Springer
182,900원
(영문도서) Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies Paperback, Springer, English, 9783319866208
Advanced Formal Verification Paperback, Springer
SAT-Based Scalable Formal Verification Solutions Hardcover, Springer
125,700원
(영문도서) Introduction to Formal Philosophy Hardcover, Springer, English, 9783319774336
189,280원
A Roadmap for Formal Property Verification Hardcover, Springer
150,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Verification Principl... Paperback, Springer, English, 9783031198489
126,500원
(영문도서) Formal Verification of Structurally Complex Multipliers Paperback, Springer, English, 9783031245732
190,380원
A Formal Approach to Hardware Design Paperback, Springer
Symbolic Simulation Methods for Industrial Formal Verification Hardcover, Springer
107,500원
Leveraging Applications of Formal Methods Verification and Validation: Engineering Principles: 9th ... Paperback, Springer, English, 9783030614690
211,680원
Professional Verification: A Guide to Advanced Functional Verification Paperback, Springer
245,280원
Formal Verification of Circuits Paperback, Springer
196,700원
(영문도서) Peptide Bionanomaterials: From Design to Application Hardcover, Springer, English, 9783031293597
175,380원
Effective Inquiry for Innovative Engineering Design: From Basic Principles to Applications Hardcover, Springer
7,800원
(영문도서) Mastering Stained Glass: From Beginner to Advanced Techniques - The Complete Guide to Design ... Paperback, Independently Published, English, 9798884157910
24,300원
(영문도서) The Complete Practical Guide to Rock & Water Gardening: From Planning the Design and Construc... Hardcover, Lorenz Books, English, 9780754835820
114,600원
(영문도서) A Complete Guide to Gene Cloning: From Basic to Advanced Paperback, Springer, English, 9783030968533
125,400원
(영문도서) Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference Virtual Even... Hardcover, Springer, English, 9783031100772
128,200원
(영문도서) Cyber Security Cryptology and Machine Learning: 6th International Symposium Cscml 2022 Be... Paperback, Springer, English, 9783031076886
109,400원
(영문도서) Codes Cryptology and Information Security: Third International Conference C2si 2019 Rabat ... Paperback, Springer, English, 9783030164577
133,700원
(영문도서) Decision and Game Theory for Security: 9th International Conference Gamesec 2018 Seattle W... Paperback, Springer, English, 9783030015534
145,800원
(영문도서) Advances in Cryptology - Eurocrypt 2019: 38th Annual International Conference on the Theory a... Paperback, Springer, English, 9783030176556
106,000원
(영문도서) Information Security Applications: 18th International Conference Wisa 2017 Jeju Island Kor... Paperback, Springer, English, 9783319935621
70,900원
(영문도서) Cybersecurity - Data Protection and Strategies: First Edition Paperback, Outskirts Press, English, 9781977256737
100,000원
(영문도서) Science of Cyber Security - Scisec 2022 Workshops: Ai-Cryptosec Ta-Bc-Nft and Mathsci-Qsafe... Paperback, Springer, English, 9789811977688
32,500원
(영문도서) Crypto Basics: A Nontechnical Introduction to Creating Your Own Money for Investors and Inven... Paperback, Apress, English, 9781484283202
83,700원
(영문도서) Strategic Security: Forward Thinking for Successful Executives Paperback, CRC Press, English, 9780367779054
234,800원
(영문도서) Collaborative Approaches for Cyber Security in Cyber-Physical Systems Hardcover, Springer, English, 9783031160875
248,800원
(영문도서) Cybercomplexity: A Macroscopic View of Cybersecurity Risk Hardcover, Springer, English, 9783031069932
273,300원
(영문도서) Global Perspectives on Information Security Regulations: Compliance Controls and Assurance Hardcover, Information Science Reference, English, 9781799883906
27,500원
(영문도서) Building Cyber Threat Intelligence Capabilities for Organizations Paperback, Independently Published, English, 9798377972693
28,700원
(영문도서) E-Voting Through Biometric Security System Paperback, Ary Publisher, English, 9784777021512
27,700원
Security and Privacy Controls for Information Systems and Organizations Rev 5: Draft NIST Special Pu... Paperback, Createspace Independent Pub..., English, 9781974618934
136,000원
(영문도서) Advances in Cryptology - CRYPTO 2022: 42nd Annual International Cryptology Conference CRYPTO... Paperback, Springer, English, 9783031159848
171,800원
(영문도서) Advances in Artificial Intelligence and Security: 8th International Conference on Artificial ... Paperback, Springer, English, 9783031067600
172,300원
(영문도서) Advances in Cryptology - Crypto 2021: 41st Annual International Cryptology Conference Crypto... Paperback, Springer, English, 9783030842512
195,600원
(영문도서) Security in Vehicular Networks: Focus on Location and Identity Privacy Hardcover, Wiley-Iste, English, 9781786308481
19,300원
(영문도서) Breaking into Information Security: Learning the Ropes 101 Paperback, Independently Published, English, 9781549903588
667,900원
(영문도서) Research Anthology on Convergence of Blockchain Internet of Things and Security VOL 1 Hardcover, IGI Global, English, 9781668474471
77,300원
(영문도서) No-Body Homicide Cases: A Practical Guide to Investigating Prosecuting and Winning Cases Wh... Paperback, CRC Press, English, 9780367779191
60,500원
(영문도서) Web Security Privacy & Commerce: Security for Users Administrators and ISPs Paperback, O''Reilly Media, English, 9780596000455
50,900원
(영문도서) Rmf Isso: NIST 800-53 Controls Paperback, Bruce Brown, English, 9798215022580
123,300원
(영문도서) The Security & Privacy Acceptance Framework (SPAF) Paperback, Now Publishers, English, 9781638281184
115,300원
(영문도서) Computational Intelligence Cyber Security and Computational Models. Recent Trends in Computa... Paperback, Springer, English, 9783031155550
241,300원
(영문도서) Theory of Cryptography: 20th International Conference Tcc 2022 Chicago Il Usa November 7... Paperback, Springer, English, 9783031223648
22,100원
(영문도서) Oxidize eBPF: eBPF programming with Rust Paperback, Independently Published, English, 9798367994193
96,100원
(영문도서) Foundations and Practice of Security: 14th International Symposium Fps 2021 Paris France ... Paperback, Springer, English, 9783031081460
85,100원
(영문도서) Adversarial and Uncertain Reasoning for Adaptive Cyber Defense: Control- And Game-Theoretic A... Paperback, Springer, English, 9783030307189
158,000원
(영문도서) Advances in Cryptology - Crypto 2018: 38th Annual International Cryptology Conference Santa ... Paperback, Springer, English, 9783319968773
72,900원
(영문도서) Graphical Models for Security: 5th International Workshop Gramsec 2018 Oxford Uk July 8 ... Paperback, Springer, English, 9783030154646
97,200원
(영문도서) Cyberspace Safety and Security: 10th International Symposium CSS 2018 Amalfi Italy Octobe... Paperback, Springer, English, 9783030016883
(영문도서) Cryptology and Network Security: 17th International Conference Cans 2018 Naples Italy Sep... Paperback, Springer, English, 9783030004330
(영문도서) Artificial Intelligence and Security: 5th International Conference Icais 2019 New York Ny ... Paperback, Springer, English, 9783030242701