Hans Kleine Buning의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Paperback, 1992)
Egon Borger, Gerhard Jager, Hans Kleine Buning , Michael M. Richter (엮은이)
Springer Verlag | 1992년 09월 | 1992년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 28일 출고 변경

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Paperback, 1991)
Egon Borger, Michael M. Richter, Hans Kleine Buning , Wolfgang Schonfeld (엮은이)
Springer Verlag | 1991년 09월 | 1991년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 28일 출고 변경

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Paperback, 1993)
Egon Borger, Michael M. Richter, Simone Martini, Gerhard Jager, Hans Kleine Buning
Springer Verlag | 1993년 08월 | 1993년 08월
82,780원 (18% 할인 / 4,140원)
택배로 주문하면 11월 28일 출고 변경

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Paperback, 2008)
Hans Kleine Buning, Xishun Zhao (엮은이)
Springer Verlag | 2008년 04월 | 2008년 04월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 28일 출고 변경

Modellierung (Hardcover) - Grundlagen und formale Methoden
Uwe Kastens, Hans Kleine Buning
Hanser Fachbuchverlag | 2021년 06월 | 2021년 06월
62,480원 (8% 할인 / 630원)
택배로 주문하면 12월 4일 출고 변경

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings (Paperback, 1990)
Egon Borger, Michael M. Richter, Hans Kleine Buning
Springer Verlag | 1990년 07월 | 1990년 07월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 28일 출고 변경

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings (Paperback, 1988)
Egon Borger, Michael M. Richter, Hans Kleine Buning
Springer Verlag | 1988년 09월 | 1988년 09월
82,780원 (18% 할인 / 4,140원)
택배로 주문하면 11월 28일 출고 변경

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings (Paperback, 1989)
Egon Borger, Michael M. Richter, Hans Kleine Buning
Springer Verlag | 1989년 09월 | 1989년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 28일 출고 변경

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

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

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

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

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

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