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월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 11월 25일 출고 변경

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월
83,330원 (18% 할인 / 4,170원)
택배로 주문하면 11월 25일 출고 변경

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월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 11월 25일 출고 변경

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원)
택배로 주문하면 11월 25일 출고 변경

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월
122,760원 (10% 할인 / 6,140원)
택배로 주문하면 11월 18일 출고 변경

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월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 11월 25일 출고 변경

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월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 18일 출고 변경

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월
102,290원 (10% 할인 / 5,120원)
택배로 주문하면 11월 18일 출고 변경

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

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월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 18일 출고 변경

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월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 18일 출고 변경

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월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 11월 25일 출고 변경

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

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

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

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

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

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