Bernhard Steffen의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Paperback, 2025)
  • Bernhard Steffen (엮은이)
  • Springer | 2024년 10월
  • 220,480원 (10% 할인 / 6,620원)
  • 택배로 주문하면 11월 15일 출고 변경
  • Transactions on Foundations for Mastering Change I (Paperback)
  • Bernhard Steffen
  • Springer Nature B.V. | 2016년 10월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece (Paperback)
  • Bernhard Steffen, Margaria Tiziana (엮은이)
  • Springer | 2022년 10월
  • 108,320원 (18% 할인 / 5,420원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co (Paperback, 2016)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer | 2016년 10월
  • 154,750원 (18% 할인 / 7,740원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- (Paperback, 2012) - 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2012년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers (Paperback, 1998)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer Verlag | 1998년 03월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret (Paperback, 2024)
  • Springer | 2024년 10월
  • 125,980원 (10% 할인 / 3,780원)
  • 택배로 주문하면 11월 15일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications (Paperback, 2020)
  • Bernhard Steffen, Margaria Tiziana (엮은이)
  • Springer | 2020년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application (Paperback, 2020)
  • Bernhard Steffen, Margaria Tiziana (엮은이)
  • Springer | 2020년 10월
  • 131,530원 (18% 할인 / 6,580원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime (Paperback, 2017)
  • Christel Baier, Bernhard Steffen, Mark van den Brand (엮은이)
  • Springer | 2017년 01월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen (Paperback, 1998)
  • Bernhard Steffen (엮은이)
  • Springer Verlag | 1998년 03월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, (Paperback)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2008년 10월
  • 248,390원 (18% 할인 / 12,420원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc (Paperback, 2024)
  • Springer | 2024년 10월
  • 86,600원 (10% 할인 / 2,600원)
  • 택배로 주문하면 11월 15일 출고 변경
  • Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (Paperback, 2025)
  • Springer | 2025년 01월
  • 125,980원 (10% 할인 / 3,780원)
  • 예약판매
  • 택배로 주문하면 2025년 1월 9일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I (Paperback, 2025)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer | 2024년 10월
  • 125,980원 (10% 할인 / 3,780원)
  • 택배로 주문하면 11월 15일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22 (Paperback)
  • Bernhard Steffen, Margaria Tiziana (엮은이)
  • Springer | 2022년 10월
  • 100,580원 (18% 할인 / 5,030원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (Paperback, 2022)
  • Bernhard Steffen, Margaria Tiziana (엮은이)
  • Springer | 2022년 10월
  • 131,530원 (18% 할인 / 6,580원)
  • 택배로 주문하면 12월 2일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기
로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

1:1 문의

FAQ

중고매장 위치, 영업시간 안내