122,080원
Formal Techniques for Networked and Distributed Systems Forte 2008: 28th Ifip Wg 6.1 International Con..., Springer
110,880원
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference FMOODS 201..., Springer
288,960원
Formal Techniques for Networked and Distributed Systems: Forte 2001 Hardcover, Springer
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMO..., Springer
87,400원
(영문도서) Formal Techniques for Distributed Objects Components and Systems: 43rd Ifip Wg 6.1 Internat... Paperback, Springer, English, 9783031353543
90,280원
Distributed Applications and Interoperable Systems: 14th Ifip Wg 6.1 International Conference Dais 20..., Springer
110,250원
Formal Techniques for Distributed Objects Components and Systems Paperback, Springer
105,280원
Testing Software and Systems: 28th IFIP WG 6.1 International Conference ICTSS 2016 Graz Austria October 17-19 2016 Proceedings Paperback, Springer
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference Dcfs 2016 Buch..., Springer
107,080원
Testing of Software and Communicating Systems: 20th Ifip Tc 6/Wg 6.1 International Conference Testcom..., Springer
334,880원
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / Pstv Xix''99 Hardcover, Springer
Testing Software and Systems: 27th Ifip Wg 6.1 International Conference Ictss 2015 Sharjah and Dubai..., Springer
99,100원
(영문도서) Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference DCFS ... Paperback, Springer, English, 9783031132568
119,840원
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
76,100원
(영문도서) Descriptional Complexity of Formal Systems: 25th Ifip Wg 1.02 International Conference Dcfs ... Paperback, Springer, English, 9783031343254
133,280원
Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Con..., Springer
278,880원
Protocol Test Systems: 7th Workshop 7th Ifip Wg 6.1 International Workshop on Protocol Text Systems Hardcover, Springer
Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference Testcom 2006 New Yo..., Springer
Distributed Applications and Interoperable Systems: 4th Ifip Wg6.1 International Conference Dais 2003..., Springer
Self-Managing Distributed Systems: 14th Ifip/IEEE International Workshop on Distributed Systems: Opera..., Springer
105,300원
Testing Software and Systems: 32nd Ifip Wg 6.1 International Conference Ictss 2020 Naples Italy ... Paperback, Springer, English, 9783030648800
82,480원
Intelligent Mechanisms for Network Configuration and Security: 9th Ifip Wg 6.6 International Conferenc..., Springer
155,680원
Middleware''98: Ifip International Conference on Distributed Systems Platforms and Open Distributed Processing Paperback, Springer
134,200원
(영문도서) Testing Software and Systems: 33rd IFIP WG 6.1 International Conference ICTSS 2021 London ... Paperback, Springer, English, 9783031046728
80,640원
Cellular Automata and Discrete Complex Systems: 21st Ifip Wg 1.5 International Workshop Automata 2015..., Springer
Coordination Models and Languages: 18th Ifip Wg 6.1 International Conference Coordination 2016 Held ..., Springer
95,880원
Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop SE..., Springer
110,500원
(영문도서) Testing Software and Systems: 31st Ifip Wg 6.1 International Conference Ictss 2019 Paris F... Paperback, Springer, English, 9783030312794
114,300원
Coordination Models and Languages: 22nd Ifip Wg 6.1 International Conference Coordination 2020 Hel... Paperback, Springer
Control Theory of Distributed Parameter Systems and Applications: Proceedings of the Ifip Wg 7.2 Worki..., Springer
Formal Methods for Open Object-Based Distributed Systems: Volume 1 Hardcover, Springer
Trends in Distributed Systems for Electronic Commerce: International Ifip/GI Working Conference Trec''..., Springer
138,880원
Information and Communication Technologies: 18th Eunice/Ifip Wg 6.2 6.6 International Conference Eun..., Springer
120,960원
Testing Software and Systems: 25th Ifip Wg 6.1 International Conference Ictss 2013 Istanbul Turkey November 13-15 2013 Proceedings Paperback, Springer
173,600원
Multidisciplinary Research and Practice for Informations Systems: Ifip Wg 8.4 8.9 Tc 5 International..., Springer
144,480원
Balanced Automation Systems for Future Manufacturing Networks: 9th IFIP WG 5.5 International Conferenc..., Springer
Dependable Networks and Services: 6th IFIP WG 6.6 International Conference on Autonomous Infrastructur..., Springer
Monitoring and Securing Virtualized Networks and Services: 8th Ifip Wg 6.6 International Conference on..., Springer
Large Scale Management of Distributed Systems: 17th Ifip/IEEE International Workshop on Distributed Sy..., Springer
Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Manage..., Springer
Middleware 2000: Ifip/ACM International Conference on Distributed Systems Platforms and Open Distribut..., Springer
74,000원
(영문도서) Cellular Automata and Discrete Complex Systems: 25th Ifip Wg 1.5 International Workshop Auto... Paperback, Springer
183,680원
Precision Assembly Technologies and Systems: 5th Ifip Wg 5.5 International Precision Assembly Seminar ..., Springer
67,400원
Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop Wadt 201... Paperback, Springer
Emerging Management Mechanisms for the Future Internet: 7th Ifip Wg 6.6 International Conference on Au..., Springer
94,080원
Formal Techniques for Safety-Critical Systems: Second International Workshop Ftscs 2013 Queenstown ..., Springer
75,300원
Cellular Automata and Discrete Complex Systems: 26th Ifip Wg 1.5 International Workshop Automata 20... Paperback, Springer, English, 9783030615871
189,280원
Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems Paperback, Springer
Middleware 2001: Ifip/ACM International Conference on Distributed Systems Platforms Heidelberg German..., Springer
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report Paperback, Springer
Formal Methods for Industrial Critical Systems: 13th International Workshop FMICS 2008 L''Aquila Ita..., Springer
219,080원
Environmental Software Systems. Frameworks of Eenvironment: 9th Ifip Wg 5.11 International Symposium ..., Springer
74,640원
Management and Security in the Age of Hyperconnectivity: 10th Ifip Wg 6.6 International Conference on ..., Springer
296,800원
Building Qos Into Distributed Systems: Ifip Tc6 Wg6.1 Fifth International Workshop on Quality of Servi..., Springer
81,700원
(영문도서) Formal Methods for Industrial Critical Systems: 28th International Conference Fmics 2023 An... Paperback, Springer, English, 9783031436802
77,300원
Artificial Intelligence for Knowledge Management: 5th Ifip Wg 12.6 International Workshop Ai4km 201... Paperback, Springer
82,300원
(영문도서) Coordination Models and Languages: 20th Ifip Wg 6.1 International Conference Coordination 20... Paperback, Springer, English, 9783319924076
114,000원
Artificial Intelligence for Knowledge Management: 6th Ifip Wg 12.6 International Workshop Ai4km 201... Hardcover, Springer
76,300원
(영문도서) Cellular Automata and Discrete Complex Systems: 29th Ifip Wg 1.5 International Workshop Auto... Paperback, Springer, English, 9783031422492
Formal Techniques for Safety-Critical Systems: 4th International Workshop Ftscs 2015 Paris France ..., Springer
84,900원
(영문도서) Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference Coordination 20... Paperback, Springer, English, 9783030781415
Management Technologies for E-Commerce and E-Business Applications: 13th Ifip/IEEE International Workshop on Distributed Systems Paperback, Springer
85,700원
(영문도서) Coordination Models and Languages: 25th Ifip Wg 6.1 International Conference Coordination 20... Paperback, Springer, English, 9783031353604
Formal Techniques for Safety-Critical Systems: Third International Workshop Ftscs 2014 Luxembourg N..., Springer
147,600원
(영문도서) Coordination Models and Languages: 24th IFIP WG 6.1 International Conference COORDINATION 20... Paperback, Springer, English, 9783031081453
Formal Modeling and Analysis of Timed Systems: 6th International Conference FORMATS 2008 Saint Malo ..., Springer
91,400원
Data and Applications Security and Privacy XXVIII: 28th Annual Ifip Wg 11.3 Working Conference Dbsec ..., Springer
61,180원
Security of Networks and Services in an All-Connected World: 11th Ifip Wg 6.6 International Conference..., Springer
105,960원
Advances in Communication Networking: 19th Eunice/Ifip Eg Wg 6.6 International Workshop Chemnitz Ger..., Springer
320,320원
Formal Methods for Open Object-Based Distributed Systems: Volume 2 Hardcover, Springer
88,750원
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems: 7th Ifip Wg 1..., Springer
Formal Techniques for Safety-Critical Systems: 5th International Workshop Ftscs 2016 Tokyo Japan N..., Springer
Trends in Distributed Systems: Towards a Universal Service Market: Third International Ifip/GI Working..., Springer
Stochastic Differential Systems: Filtering and Control Proceedings of the Ifip-Wg 7/1 Working Conferen..., Springer
Availability Reliability and Security in Information Systems: Ifip Wg 8.4 8.9 Tc 5 International C..., Springer
Data-Driven Process Discovery and Analysis: 5th Ifip Wg 2.6 International Symposium Simpda 2015 Vien..., Springer
(영문도서) Research and Practical Issues of Enterprise Information Systems: 12th Ifip Wg 8.9 Working Con... Paperback, Springer, English, 9783319990392
Distributed Computing in Sensor Systems: 4th IEEE International Conference Dcoss 2008 Santorini Islan..., Springer
69,800원
(영문도서) Recent Trends in Algebraic Development Techniques: 26th Ifip Wg 1.3 International Workshop W... Paperback, Springer, English, 9783031433443
86,200원
(영문도서) Research and Practical Issues of Enterprise Information Systems: 11th Ifip Wg 8.9 Working Con... Paperback, Springer, English, 9783319948447
558,880원
International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008) Paperback, Springer
185,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Joi..., Springer
Wired/Wireless Internet Communications: 14th Ifip Wg 6.2 International Conference Wwic 2016 Thessalo..., Springer
331,080원
Replication Techniques in Distributed Systems Paperback, Springer
Formal Methods for Embedded Distributed Systems: How to Master the Complexity Paperback, Springer
The Practice of Enterprise Modeling: First Ifip Wg 8.1 Working Conference Poem 2008 Stockholm Swede..., Springer
VLSI-SoC: Forward-Looking Trends in IC and Systems Design: 18th IFIP WG 10.5/IEEE International Confer..., Springer
Stochastic Differential Systems: Proceedings of the Ifip-Wg 7/1 Working Conference Eisenach Gdr April 6-13 1986 Paperback, Springer
Data-Driven Process Discovery and Analysis: Third Ifip Wg 2.6 2.12 International Symposium Simpda 20..., Springer
Modelling and Inverse Problems of Control for Distributed Parameter Systems: Proceedings of Ifip (W.G...., Springer
Data-Driven Process Discovery and Analysis: Second Ifip Wg 2.6 2.12 International Symposium Simpda 2..., Springer
109,100원
(영문도서) Artificial Intelligence for Knowledge Management: 8th Ifip Wg 12.6 International Workshop Ai... Hardcover, Springer, English, 9783030808464
131,600원
(영문도서) Vlsi-Soc: Design Trends: 28th Ifip Wg 10.5/IEEE International Conference on Very Large Scale ... Hardcover, Springer, English, 9783030816407
84,300원
Data-Driven Process Discovery and Analysis: 8th Ifip Wg 2.6 International Symposium Simpda 2018 Se... Paperback, Springer
Formal Description Techniques and Protocol Specification Testing and Verification: Forte X / Pstv XVII ''97 Paperback, Springer