전체보기

장바구니

Holger Hermanns의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

로그인이 필요한 기능입니다.
로그인 후 다시 시도해주세요
로그인

장바구니에 상품담기

품절도서센터
장바구니 가기

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, Setta 2023, Nanjing, China, November 27-29, 2023, Pro (Paperback, 2024)
Holger Hermanns, Jun Sun, Lei Bu (엮은이)
Springer | 2023년 12월 | 2023년 12월
125,980원 (10% 할인 / 3,780원)
택배로 주문하면 8월 6일 출고 변경

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Paperback)
Christel Baier, Holger Hermanns (엮은이)
Springer-Verlag New York Inc | 2006년 08월 | 2006년 08월
155,780원 (18% 할인 / 7,790원)
택배로 주문하면 8월 22일 출고 변경

Measurement, Modelling and Evaluation of Computing Systems: 20th International Gi/ITG Conference, Mmb 2020, Saarbr?ken, Germany, March 16-18, 2020, P (Paperback, 2020)
Holger Hermanns (엮은이)
Springer | 2020년 03월 | 2020년 03월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 8월 22일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, Tacas 2006, Held as Part of the Joint European Confe (Paperback, 2006)
Holger Hermanns, Jens Palsberg (엮은이)
Springer-Verlag New York Inc | 2006년 03월 | 2006년 03월
83,330원 (18% 할인 / 4,170원)
택배로 주문하면 8월 22일 출고 변경

Interactive Markov Chains: The Quest for Quantified Quality (Paperback, 2002)
Holger Hermanns
Springer Verlag | 2002년 09월 | 2002년 09월
83,330원 (18% 할인 / 4,170원)
택배로 주문하면 8월 22일 출고 변경

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D (Paperback, 2002)
Holger Hermanns, Roberto Segala (엮은이)
Springer Verlag | 2002년 07월 | 2002년 07월
82,960원 (15% 할인 / 4,150원)
택배로 주문하면 8월 1일 출고 변경

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback)
Werner Damm, Holger Hermanns (엮은이)
Springer-Verlag New York Inc | 2007년 07월 | 2007년 07월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 8월 22일 출고 변경

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3- (Paperback)
Joost-Pieter Katoen, Holger Hermanns, Brinksma Ed Brinksma (엮은이)
Springer Nature B.V. | 2014년 03월 | 2014년 03월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 8월 14일 출고 변경

Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7 (Paperback, 2001)
Holger Hermanns, Ed Brinksma (엮은이)
Springer Verlag | 2001년 08월 | 2001년 08월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 8월 22일 출고 변경

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

네, 만족해요 아니오, 만족하지 않아요.

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

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

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

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