1
Bernhard Steffen의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Paperback, 2024)
  • Bernhard Steffen (엮은이)
  • Springer | 2024년 11월
  • 209,450원 (10% 할인 / 6,290원)
  • 예약판매
  • 택배로 주문하면 11월 18일 출고 변경
  • Transactions on Foundations for Mastering Change I (Paperback)
  • Bernhard Steffen
  • Springer Nature B.V. | 2016년 10월
  • 59,830원 (10% 할인 / 3,000원)
  • 택배로 주문하면 10월 21일 출고 변경
  • 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월
  • 106,880원 (18% 할인 / 5,350원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 152,700원 (18% 할인 / 7,640원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret (Paperback, 2024)
  • Springer | 2024년 12월
  • 112,200원 (10% 할인 / 3,370원)
  • 예약판매
  • 택배로 주문하면 12월 2일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 129,790원 (18% 할인 / 6,490원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 245,100원 (18% 할인 / 12,260원)
  • 택배로 주문하면 10월 28일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc (Paperback, 2024)
  • Springer | 2024년 12월
  • 97,230원 (10% 할인 / 2,920원)
  • 예약판매
  • 택배로 주문하면 12월 4일 출고 변경
  • 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월
  • 119,680원 (10% 할인 / 3,600원)
  • 예약판매
  • 택배로 주문하면 2025년 1월 9일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isol (Paperback, 2024)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer | 2024년 11월
  • 119,680원 (10% 할인 / 3,600원)
  • 예약판매
  • 택배로 주문하면 11월 13일 출고 변경
  • 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월
  • 99,250원 (18% 할인 / 4,970원)
  • 택배로 주문하면 10월 28일 출고 변경
  • 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월
  • 129,790원 (18% 할인 / 6,490원)
  • 택배로 주문하면 10월 28일 출고 변경

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

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

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

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

1:1 문의

FAQ

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