Annabelle McIver의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

The Science of Quantitative Information Flow (Hardcover, 2020)
Annabelle McIver, Mario S. Alvim, Konstantinos Chatzikokolakis
Springer | 2020년 09월 | 2020년 09월
91,610원 (18% 할인 / 4,590원)
택배로 주문하면 10월 31일 출고 변경

Abstraction, Refinement and Proof for Probabilistic Systems (Paperback)
Annabelle McIver, Charles Carroll Morgan
Springer | 2010년 11월 | 2010년 11월
229,060원 (18% 할인 / 11,460원)
택배로 주문하면 10월 31일 출고 변경

Programming Methodology (Hardcover)
Annabelle McIver, Carroll Morgan (엮은이)
Springer-Verlag New York Inc | 2002년 10월 | 2002년 10월
163,390원 (18% 할인 / 8,170원)
택배로 주문하면 10월 31일 출고 변경

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi (Paperback, 2015)
마틴 데이비스, Annabelle McIver, Ansgar Fehnker (엮은이)
Springer | 2015년 12월 | 2015년 12월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 31일 출고 변경

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceed (Paperback)
Annabelle McIver, Ansgar Fehnker, Davis Martin Davis (엮은이)
Springer Nature B.V. | 2016년 02월 | 2016년 02월
59,830원 (10% 할인 / 3,000원)
택배로 주문하면 10월 24일 출고 변경

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Paperback)
Annabelle McIver, Horvath Andras Horvath (엮은이)
Springer Nature B.V. | 2018년 08월 | 2018년 08월
59,830원 (10% 할인 / 3,000원)
택배로 주문하면 10월 24일 출고 변경

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Paperback, 2019)
Annabelle McIver, Jose N. Oliveira, Maurice ter Beek (엮은이)
Springer | 2019년 09월 | 2019년 09월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 31일 출고 변경

Quantitative Evaluation of Systems: 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018, Proceedings (Paperback, 2018)
Annabelle McIver, Andras Horvath (엮은이)
Springer International Publishing AG | 2018년 08월 | 2018년 08월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 31일 출고 변경

Abstraction, Refinement And Proof For Probabilistic Systems (Hardcover)
Annabelle McIver, Carroll Morgan
Springer-Verlag New York Inc | 2004년 11월 | 2004년 11월
245,100원 (18% 할인 / 12,260원)
택배로 주문하면 10월 31일 출고 변경

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

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

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

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

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

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