69,600원
(영문도서) Formal Modeling and Analysis of Timed Systems: 21st International Conference Formats 2023 A... Paperback, Springer, English, 9783031426254
133,280원
Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Con..., Springer
87,000원
(영문도서) Software Engineering and Formal Methods: 21st International Conference Sefm 2023 Eindhoven ... Paperback, Springer, English, 9783031471148
108,400원
Enterprise Business-Process and Information Systems Modeling: 21st International Conference Bpmds ... Paperback, Springer
81,700원
(영문도서) Formal Methods for Industrial Critical Systems: 28th International Conference Fmics 2023 An... Paperback, Springer, English, 9783031436802
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference Taca..., Springer
82,500원
(영문도서) Computational Methods in Systems Biology: 21st International Conference Cmsb 2023 Luxembour... Paperback, Springer, English, 9783031426964
105,600원
Descriptional Complexity of Formal Systems: 21st Ifip Wg 1.02 International Conference Dcfs 2019 K... Paperback, Springer
94,300원
(영문도서) Advanced Concepts for Intelligent Vision Systems: 21st International Conference Acivs 2023 K... Paperback, Springer, English, 9783031453816
110,880원
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems Paperback, Springer
109,400원
(영문도서) Embedded Computer Systems: Architectures Modeling and Simulation: 21st International Confer... Paperback, Springer, English, 9783031045790
95,100원
(영문도서) Enterprise Business-Process and Information Systems Modeling: 24th International Conference ... Paperback, Springer, English, 9783031342400
81,100원
(영문도서) Formal Aspects of Component Software: 19th International Conference Facs 2023 Virtual Event... Paperback, Springer, English, 9783031521829
113,900원
(영문도서) Image Analysis and Processing - Iciap 2023: 22nd International Conference Iciap 2023 Udine ... Paperback, Springer, English, 9783031431470
326,500원
(영문도서) Hybrid Intelligent Systems: 21st International Conference on Hybrid Intelligent Systems (HIS ... Paperback, Springer, English, 9783030963040
136,600원
(영문도서) Functional Imaging and Modeling of the Heart: 12th International Conference Fimh 2023 Lyon ... Paperback, Springer, English, 9783031353017
268,800원
Analysis and Modeling of Neural Systems Paperback, Springer
82,300원
(영문도서) Computer Analysis of Images and Patterns: 20th International Conference Caip 2023 Limassol ... Paperback, Springer, English, 9783031442391
(영문도서) Computer Analysis of Images and Patterns: 20th International Conference Caip 2023 Limassol ... Paperback, Springer, English, 9783031442360
223,500원
(영문도서) International Conference on Reliable Systems Engineering (Icorse) - 2023 Paperback, Springer, English, 9783031406270
103,100원
(영문도서) Automated Technology for Verification and Analysis: 21st International Symposium Atva 2023 ... Paperback, Springer, English, 9783031453281
74,200원
(영문도서) Formal Concept Analysis: 16th International Conference Icfca 2021 Strasbourg France June ... Paperback, Springer, English, 9783030778668
80,000원
(영문도서) Descriptional Complexity of Formal Systems: 20th Ifip Wg 1.02 International Conference Dcfs ... Paperback, Springer, English, 9783319946306
76,100원
(영문도서) Descriptional Complexity of Formal Systems: 25th Ifip Wg 1.02 International Conference Dcfs ... Paperback, Springer, English, 9783031343254
105,280원
Natural Language Processing and Information Systems: 21st International Conference on Applications of ..., Springer
105,800원
(영문도서) Formal Methods and Software Engineering: 20th International Conference on Formal Engineering ... Paperback, Springer, English, 9783030024499
(영문도서) Social Cultural and Behavioral Modeling: 16th International Conference Sbp-Brims 2023 Pit... Paperback, Springer, English, 9783031431289
104,160원
Mswim 16 19th International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems Paperback, ACM
98,200원
(영문도서) Theory of Cryptography: 21st International Conference Tcc 2023 Taipei Taiwan November 29 ... Paperback, Springer, English, 9783031486173
117,800원
(영문도서) Systems Biology: Modeling Analysis and Simulation Paperback, Springer, English, 9783030730321
111,000원
(영문도서) Theory of Cryptography: 21st International Conference Tcc 2023 Taipei Taiwan November 29-... Paperback, Springer, English, 9783031486234
122,080원
Analysis and Optimization of Systems: Proceedings of the Sixth International Conference on Analysis an..., Springer
110,500원
(영문도서) Theory of Cryptography: 21st International Conference Tcc 2023 Taipei Taiwan November 29 ... Paperback, Springer, English, 9783031486142
Analysis and Optimization of Systems: Proceedings of the Fifth International Conference on Analysis an..., Springer
(영문도서) Distributed Applications and Interoperable Systems: 21st Ifip Wg 6.1 International Conference... Paperback, Springer, English, 9783030781972
94,900원
(영문도서) Analysis of Images Social Networks and Texts: 11th International Conference Aist 2023 Yere... Paperback, Springer, English, 9783031545337
78,600원
(영문도서) Mobile Web and Intelligent Information Systems: 19th International Conference Mobiwis 2023 ... Paperback, Springer, English, 9783031397639
82,600원
(영문도서) Database and Expert Systems Applications - Dexa 2023 Workshops: 34th International Conference... Paperback, Springer, English, 9783031396885
99,300원
(영문도서) Biomimetic and Biohybrid Systems: 12th International Conference Living Machines 2023 Genoa ... Paperback, Springer, English, 9783031388569
145,200원
(영문도서) Image Analysis and Processing - ICIAP 2022: 21st International Conference Lecce Italy May ... Paperback, Springer, English, 9783031064296
198,700원
(영문도서) Biomimetic and Biohybrid Systems: 12th International Conference Living Machines 2023 Genoa ... Paperback, Springer, English, 9783031395031
(영문도서) Quantitative Evaluation of Systems: 20th International Conference Qest 2023 Antwerp Belgiu... Paperback, Springer, English, 9783031438349
418,600원
(영문도서) Proceedings of International Conference on Image Vision and Intelligent Systems 2023 (Icivis... Hardcover, Springer, English, 9789819708543
87,900원
(영문도서) Architecture of Computing Systems: 36th International Conference Arcs 2023 Athens Greece ... Paperback, Springer, English, 9783031427848
73,600원
Descriptional Complexity of Formal Systems: 22nd International Conference Dcfs 2020 Vienna Austri... Paperback, Springer, English, 9783030625351
80,640원
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Form..., Springer
Stochastic Modeling and Analysis of Manufacturing Systems Paperback, Springer
70,500원
(영문도서) Formal Methods for Industrial Critical Systems: 24th International Conference Fmics 2019 Am... Paperback, Springer, English, 9783030270070
298,080원
Neural Systems: Analysis and Modeling Paperback, Springer
301,280원
Analysis and Modeling of Manufacturing Systems Hardcover, Springer
74,640원
System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference Sam..., Springer
Analysis and Modeling of Neural Systems Hardcover, Springer
248,700원
(영문도서) Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference ... Paperback, Springer, English, 9783031477232
93,100원
(영문도서) Service-Oriented Computing: 21st International Conference Icsoc 2023 Rome Italy November ... Paperback, Springer, English, 9783031484209
100,500원
(영문도서) Business Process Management: 21st International Conference Bpm 2023 Utrecht the Netherland... Paperback, Springer, English, 9783031416194
86,600원
Embedded Computer Systems: Architectures Modeling and Simulation: 20th International Conference S... Paperback, Springer, English, 9783030609382
204,800원
(영문도서) Power Systems Resilience: Modeling Analysis and Practice Paperback, Springer, English, 9783030068523
114,300원
(영문도서) Database and Expert Systems Applications: 34th International Conference Dexa 2023 Penang M... Paperback, Springer, English, 9783031398469
318,000원
(영문도서) Document Analysis and Recognition - Icdar 2023: 17th International Conference San José Ca ... Paperback, Springer, English, 9783031416750
136,200원
(영문도서) Systems Science: Theory Analysis Modeling and Design Paperback, Springer, English, 9783030934842
203,200원
(영문도서) Document Analysis and Recognition - Icdar 2023: 17th International Conference San José Ca ... Paperback, Springer, English, 9783031416811
128,600원
(영문도서) Cognitive Computing and Cyber Physical Systems: 4th Eai International Conference Ic4s 2023 ... Paperback, Springer, English, 9783031488870
169,000원
(영문도서) Kronecker Modeling and Analysis of Multidimensional Markovian Systems Hardcover, Springer, English, 9783319971285
182,900원
(영문도서) 13th Chaotic Modeling and Simulation International Conference Paperback, Springer, English, 9783030707972
203,500원
(영문도서) Document Analysis and Recognition - Icdar 2023: 17th International Conference San José Ca ... Paperback, Springer, English, 9783031417337
80,200원
(영문도서) Engineering of Computer-Based Systems: 8th International Conference Ecbs 2023 Västerås Swe... Paperback, Springer, English, 9783031492518
165,100원
(영문도서) Document Analysis and Recognition - Icdar 2023: 17th International Conference San José Ca ... Paperback, Springer, English, 9783031416842
98,500원
(영문도서) Business Information Systems: 21st International Conference Bis 2018 Berlin Germany July ... Paperback, Springer, English, 9783319939308
125,400원
Prima 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference Tokyo Ja... Paperback, Springer
100,740원
Introduction to Modeling and Analysis of Stochastic Systems Paperback, Springer
Performance Analysis and Modeling of Digital Transmission Systems Paperback, Springer
119,840원
Mswim 12 Proceedings of the 15th ACM International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems Paperback
145,580원
Reliability Modeling and Analysis of Smart Power Systems Paperback, Springer
98,560원
Mswim 14 Proceedings of the 17th ACM International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems Paperback
102,800원
(영문도서) Conceptual Modeling: 42nd International Conference Er 2023 Lisbon Portugal November 6-9 ... Paperback, Springer, English, 9783031472619
Enterprise Business-Process and Information Systems Modeling: 16th International Conference Bpmds 20..., Springer
(영문도서) Intelligent Systems and Data Science: First International Conference Isds 2023 Can Tho Vie... Paperback, Springer, English, 9789819976485
135,200원
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference Ta... Paperback, Springer
201,680원
Geocomputational Analysis and Modeling of Regional Systems Hardcover, Springer
106,400원
Enterprise Business-Process and Information Systems Modeling: 14th International Conference Bpmds 20..., Springer
(영문도서) Intelligent Systems and Data Science: First International Conference Isds 2023 Can Tho Vie... Paperback, Springer, English, 9789819976652
111,980원
Manufacturing Systems Modeling and Analysis Hardcover, Springer
88,080원
System Analysis and Modeling: Models and Reusability: 8th International Conference Sam 2014 Valencia..., Springer
92,960원
Formal Grammar: 15th and 16th International Conference on Formal Grammarfg 2010 Copenhagen Denmark A..., Springer
209,500원
(영문도서) Risk Modeling Analysis and Control of Multi-Energy Systems Hardcover, Springer, English, 9789819910892
79,800원
Formal Methods for Industrial Critical Systems: 23rd International Conference Fmics 2018 Maynooth ... Paperback, Springer
137,300원
(영문도서) Database Systems for Advanced Applications: 28th International Conference Dasfaa 2023 Tianj... Paperback, Springer, English, 9783031306716
(영문도서) Cooperative Information Systems: 29th International Conference Coopis 2023 Groningen the N... Paperback, Springer, English, 9783031468452
174,700원
(영문도서) Database Systems for Advanced Applications: 28th International Conference Dasfaa 2023 Tianj... Paperback, Springer, English, 9783031306365
318,080원
Neural Systems: Analysis and Modeling Hardcover, Springer
53,900원
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference Ta... Paperback, Springer, English, 9783030720124
100,400원
(영문도서) Information Systems Security: 19th International Conference Iciss 2023 Raipur India Decem... Paperback, Springer, English, 9783031490989
174,280원
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference Tacas..., Springer