Christel Baier의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held as Part of the European Joint Conference (Paperback, 2018)
Christel Baier, Ugo Dal Lago (엮은이)
Springer | 2018년 04월 | 2018년 04월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 7일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe (Paperback, 2015)
Christel Baier, Cesare Tinelli (엮은이)
Springer-Verlag New York Inc | 2015년 04월 | 2015년 04월
82,230원 (18% 할인 / 4,120원)
택배로 주문하면 10월 7일 출고 변경

Validation of Stochastic Systems: A Guide to Current Research (Paperback, 2004) - A Guide To Current Research
Boudewijn R. Haverkort, Christel Baier (엮은이)
Springer-Verlag New York Inc | 2004년 08월 | 2004년 08월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 10월 7일 출고 변경

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월
153,730원 (18% 할인 / 7,690원)
택배로 주문하면 10월 7일 출고 변경

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conference (Hardcover)
Christel Baier
Creative Media Partners, LLC | 2020년 10월 | 2020년 10월
117,500원 (10% 할인 / 5,880원)
택배로 주문하면 9월 26일 출고 변경

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월 | 2017년 01월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 10월 7일 출고 변경

SOFSEM 2017 : Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Li (Paperback)
Christel Baier, Van Mark, Steffen Bernhard Steffen (엮은이)
Springer Nature B.V. | 2017년 01월 | 2017년 01월
60,280원 (10% 할인 / 3,020원)
택배로 주문하면 9월 26일 출고 변경

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conference (Paperback)
Christel Baier
Creative Media Partners, LLC | 2020년 10월 | 2020년 10월
97,910원 (10% 할인 / 4,900원)
택배로 주문하면 9월 26일 출고 변경

Principles of Model Checking (Hardcover)
Christel Baier, Joost-Pieter Katoen , Kim G. Larsen
Mit Pr | 2008년 05월 | 2008년 05월
152,200원 (18% 할인 / 7,610원)
택배로 주문하면 9월 24일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conf (Paperback)
Christel Baier, Tinelli Cesare Tinelli (엮은이)
Springer Nature B.V. | 2015년 04월 | 2015년 04월
60,280원 (10% 할인 / 3,020원)
택배로 주문하면 9월 26일 출고 변경

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferenc (Paperback)
Christel Baier, Dal Lago Ugo Dal Lago (엮은이)
Springer Nature B.V. | 2018년 04월 | 2018년 04월
60,280원 (10% 할인 / 3,020원)
택배로 주문하면 9월 26일 출고 변경

Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th In (Paperback, 2018)
Christel Baier (엮은이)
Springer International Publishing AG | 2018년 05월 | 2018년 05월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 7일 출고 변경

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

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

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

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

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

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