닫기
HOME
국내도서
국내도서
건강/취미
경제경영
공무원 수험서
과학
달력/기타
대학교재
만화
사회과학
소설/시/희곡
수험서/자격증
어린이
에세이
여행
역사
예술/대중문화
외국어
요리/살림
유아
인문학
자기계발
잡지
장르소설
전집/중고전집
종교/역학
좋은부모
청소년
컴퓨터/모바일
초등학교참고서
중학교참고서
고등학교참고서
베스트셀러
새로나온책
재정가도서
이벤트
독자북펀드
외국도서
외국도서
영미도서
ELT/어학/사전
가정/원예/인테리어
건강/스포츠
경제경영
공예/취미/수집
만화
소설/시/희곡
여행
역사
요리
인문/사회
종교/명상/점술
청소년
해외잡지
대학교재/전문서
건축/디자인
교육/자료
기술공학
법률
수험서
언어학
예술/대중문화
의학
자연과학
컴퓨터
기타 언어권
독일 도서
스페인 도서
중국 도서
어린이
그림책
동화책
리더스
영어학습
챕터북
코스북
일본도서
문학
애니메이션 굿즈
잡지
코믹
베스트셀러
새로나온책
특가도서
이벤트
LEXILE 지수별
원서 읽기
eBook
eBook
건강/취미
경제경영
과학
라이트노벨
로맨스
만화
사회과학
소설/시/희곡
어린이
에세이
여행
역사
예술/대중문화
외국어
요리/살림
인문학
자기계발
좋은부모
청소년
판타지/무협
BL
오디오북
베스트셀러
새로나온eBook
대여eBook
연재eBook
알라딘굿즈
알라딘굿즈
가방.파우치
데스크용품
독서용품
디지털
리빙·키친
문구
생활용품
의류·잡화
노트
독서대
북마크
북커버
사무용품
조명
파우치
필기구
피너츠
어린왕자
우주
앨리스
빨강머리 앤
고양이
모비딕
베스트셀러
생활용품연구소
알라딘 문방구
굿즈한정할인
온라인중고
온라인중고
경제경영
만화
사회과학
소설/시/희곡
수험서/자격증
어린이
에세이
역사
예술/대중문화
외국어
요리/살림
유아
인문학
자기계발
종교/역학
좋은부모
청소년
컴퓨터/모바일
중고 국내도서
중고 음반
중고 DVD/블루레이
중고 외국도서
많이 판매된 중고
새로 등록된 상품
어제 베스트 중고
역대 베스트 중고
최종 땡처리
단골 판매자 보기
판매자매니저
알라딘에 중고팔기
판매가능여부 &
판매가격 확인하기
온라인중고FAQ
우주점
중고매장
중고매장
서울
가로수길점
강남점
강서홈플러스점
건대점
노원역점
대학로점
목동점
서울대입구역점
수유점
신림점
신촌점
연신내점
영등포점
이수역점
잠실롯데월드타워점
잠실새내역점
종로점
천호점
합정점
경기
동탄2하나로마트점
동탄점
범계점
부천점
분당서현점
분당야탑점
산본점
수원시청역점
수원점
수지점
의정부홈플러스점
일산점
평택점
화정점
광역시 등
광주상무점
광주충장로점
김해점
대구동성로점
대구상인점
대전시청역점
대전은행점
동대구역점
마산합성점
부산경성대 부경대역점
부산덕천점
부산서면동보점
부산서면역점
부산센텀점
울산점
인천계산점
인천구월점
인천송도점
인천청라점
전주점
창원상남점
천안신불당점
청주점
중고매장 FAQ
판매가이드
판매가능여부 & 판매가격 확인하기
커피
커피
원두
드립백
콜드브루
커피 도구
스탬프 이벤트
일산 커피 팩토리
음반
음반
가요
국악
월드뮤직
재즈
종교/명상/기타
클래식
팝
J-POP
LP
OST
베스트셀러
예약음반
새로나온음악
이벤트
해외구매
블루레이
블루레이
블루레이
3D 블루레이
공포/스릴러
다큐멘터리
드라마/코미디
애니메이션
액션/SF
음악
DVD
공포/스릴러
교양/다큐멘터리
드라마/코미디
박스세트
성인
애니메이션
액션/어드벤쳐
유아/아동
음악DVD
제작국가별
취미/스포츠
S.F./판타지
TV시리즈
VCD
VHS
베스트셀러
예약 블루레이
새로나온 블루레이
예약알림 신청
이벤트
초특가아울렛
단독특가
중고블루레이
로그인
회원가입
마이페이지
나의계정
주문/배송조회
보관함
구매함
나의서재
고객센터
장바구니
(0)
외국도서
통합검색
국내도서
외국도서
eBook
알라딘굿즈
온라인중고
중고매장
커피
음반
블루레이
서재검색
서재태그
마이리뷰
마이리스트
마이페이퍼
서재
검색
검색
일본어입력기
상세검색
분야보기
국내도서
건강/취미
경제경영
공무원 수험서
과학
달력/기타
대학교재
만화
사회과학
소설/시/희곡
수험서/자격증
어린이
에세이
여행
역사
예술/대중문화
외국어
요리/살림
유아
인문학
자기계발
잡지
장르소설
전집/중고전집
종교/역학
좋은부모
청소년
컴퓨터/모바일
초등학교참고서
중학교참고서
고등학교참고서
알라딘 굿즈
가방.파우치
데스크용품
독서용품
디지털
문구
생활용품
의류.잡화
리빙.키친
외국도서
영미도서
ELT/어학/사전
가정/원예/인테리어
건강/스포츠
경제경영
공예/취미/수집
만화
소설/시/희곡
여행
역사
요리
인문/사회
종교/명상/점술
청소년
해외잡지
일본도서
문학
애니메이션 굿즈
어린이
그림책
동화책
리더스
영어학습
챕터북
코스북
중국도서
소설
중국어 교재
기타 언어권
독일 도서
베트남 도서
스페인 도서
프랑스 도서
기타 도서
잡지
코믹
eBook
경제경영
라이트노벨
로맨스
만화
사회과학
소설/시
어린이
에세이
역사
예술/대중문화
인문학
자기계발
종교/역학
청소년
판타지/무협
BL
오디오북
온라인중고
중고매장
중고 국내도서
경제경영
만화
사회과학
소설/시/희곡
어린이
에세이
유아
인문학
중고 음반
가요
국악
월드뮤직
클래식
팝
중고 DVD/블루레이
중고 외국도서
음반
가요
국악
월드뮤직
재즈
종교/명상/기타
클래식
팝
J-POP
LP
OST
블루레이
공포/스릴러
드라마/코미디
블루레이
애니메이션
액션/어드벤쳐
음악DVD
S.F./판타지
TV시리즈
일본도서
베스트셀러
새로나온책
특가도서
이벤트
수준별베스트
Lexile®
수준별베스트
어린이영어
중고 외서
5백원부터
중고 외서
N
알라딘 us
도서관 사서
위로가기
베스트셀러
국내도서
외국도서
eBook
알라딘굿즈
온라인중고
음반
블루레이
영미 도서 베스트
일본 도서 베스트
수준별 베스트
특가 도서 베스트
스테디셀러
주간 베스트
어제 베스트
번역서 베스트
종합
ELT/어학/사전
가정/원예/인테리어
가족/관계
건강/스포츠
건축/디자인
경제경영
공예/취미/수집
교육/자료
기술공학
달력/다이어리/연감
만화
법률
소설/시/희곡
수험서
어린이
언어학
에세이
여행
역사
예술/대중문화
오디오북
요리
유머
의학
인문/사회
자기계발
과학/수학/생태
과학
수학
게임
게임 이론
계산
군론
기타
기하학
논리
대수학
도식법
무한수학
미분방정식
미적분 준비
미적분학
벡터 해석
변환
복소해석학
삼각법
선형/비선형 프로그래밍
수량법
수리분석
수치해석
수학 에세이
수학교육
수학사/수학 철학
연구
연산
위상기하학
유한수학
응용수학
이산수학
일반
정수론
조합론
집합론
최적화
측정
함수해석
행렬
확률과 통계
자연생태
전기/자서전
종교/명상/점술
청소년
컴퓨터
해외잡지
기타 언어권 도서
일본 도서
중국 도서
독일 도서
스페인 도서
한국관련도서
문구/비도서
논리
2024년
1999년
2000년
2001년
2002년
2003년
2004년
2005년
2006년
2007년
2008년
2009년
2010년
2011년
2012년
2013년
2014년
2015년
2016년
2017년
2018년
2019년
2020년
2021년
2022년
2023년
2024년
4월
1월
2월
3월
4월
5월
6월
7월
8월
9월
10월
11월
12월
5주
1주
2주
3주
4주
5주
이 분류의 도서 모두 보기
최근 1주 동안 가장 많은 고객들이 구매한 영미도서 순위입니다.
1위
51위
101위
151위
201위
251위
301위
351위
401위
451위
501위
551위
601위
651위
701위
751위
801위
851위
901위
951위
전체선택
장바구니 담기
보관함 담기
마이리스트 담기
601.
새창열기
[외국도서]
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Paperback)
정가제
FREE
해외직수입
Carolyn Talcott
,
Nigam Vivek Nigam
,
Ban Kirigin Tajana Ban Kirigin
(엮은이) |
Springer Nature B.V.
| 2020년 11월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
602.
새창열기
[외국도서]
Mathematical Logic (Paperback)
정가제
FREE
해외직수입
Heinz-Dieter Ebbinghaus
,
Jorg Flum
,
Thomas Wolfgang Thomas
(지은이) |
Springer Nature B.V.
| 2021년 6월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
603.
새창열기
[외국도서]
Axiomatic Thinking I (Paperback)
정가제
FREE
해외직수입
Ferreira Fernando Ferreira
,
Kahle Reinhard Kahle
,
Sommaruga Giovanni Sommaruga
(엮은이) |
Springer Nature B.V.
| 2022년 10월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
604.
새창열기
[외국도서]
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, (Paperback)
정가제
FREE
해외직수입
Graeme Smith
,
Brijesh Dongol
,
Petre Luigia Petre
(엮은이) |
Springer Nature B.V.
| 2019년 9월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
605.
새창열기
[외국도서]
Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings (Paperback)
정가제
FREE
해외직수입
Michael Winter
,
Peter Jipsen
,
Fahrenberg Uli Fahrenberg
(엮은이) |
Springer Nature B.V.
| 2020년 3월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
606.
새창열기
[외국도서]
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferenc (Paperback)
정가제
FREE
해외직수입
Goubault-Larrecq Jean Goubault-Larrecq
,
Konig Barbara Konig
(엮은이) |
Springer Nature B.V.
| 2020년 4월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
607.
새창열기
[외국도서]
Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Paperback)
정가제
FREE
해외직수입
Alexander Raschke
,
Mery Dominique Mery
(엮은이) |
Springer Nature B.V.
| 2021년 5월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
608.
새창열기
[외국도서]
Mathematical Logic : Exercises and Solutions (Paperback)
정가제
FREE
해외직수입
Csirmaz Laszlo Csirmaz
,
Gyenis Zalan Gyenis
(지은이) |
Springer Nature B.V.
| 2022년 3월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
609.
새창열기
[외국도서]
Computability (Paperback)
정가제
FREE
해외직수입
Tourlakis George Tourlakis
(지은이) |
Springer Nature B.V.
| 2022년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
610.
새창열기
[외국도서]
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Paperback)
정가제
FREE
해외직수입
Ferreira Joao F. Ferreira
,
Mendes Alexandra Mendes
,
Menghi Claudio Menghi
(엮은이) |
Springer Nature B.V.
| 2021년 11월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
611.
새창열기
[외국도서]
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferenc (Paperback)
정가제
FREE
해외직수입
Kiefer, Stefan
,
Tasson Christine Tasson
(엮은이) |
Springer Nature B.V.
| 2021년 3월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
612.
새창열기
[외국도서]
Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Paperback)
정가제
FREE
해외직수입
Markus Roggenbach
(엮은이) |
Springer Nature B.V.
| 2021년 4월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
613.
새창열기
[외국도서]
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Paperback)
정가제
FREE
해외직수입
Jean-Yves Beziau
,
Descles Jean-Pierre Descles
,
Moktefi Amirouche Moktefi
(엮은이) |
Springer Nature B.V.
| 2023년 1월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
614.
새창열기
[외국도서]
Axiomatic Thinking II (Paperback)
정가제
FREE
해외직수입
Ferreira Fernando Ferreira
,
Kahle Reinhard Kahle
,
Sommaruga Giovanni Sommaruga
(엮은이) |
Springer Nature B.V.
| 2022년 9월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
615.
새창열기
[외국도서]
Combinatorics on Words : 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings (Paperback)
정가제
FREE
해외직수입
티에리 르크로크
,
Puzynina Svetlana Puzynina
(엮은이) |
Springer Nature B.V.
| 2021년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
616.
새창열기
[외국도서]
A.P. Morse's Set Theory and Analysis (Paperback)
정가제
FREE
해외직수입
Alps Robert A. Alps
(엮은이) |
Springer Nature B.V.
| 2022년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
617.
새창열기
[외국도서]
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics (Paperback)
정가제
FREE
해외직수입
Alex Citkin
,
Vandoulakis Ioannis M. Vandoulakis
(엮은이) |
Springer Nature B.V.
| 2022년 11월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
618.
새창열기
[외국도서]
The Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition (Paperback)
정가제
FREE
해외직수입
Jean-Yves Beziau
,
Vandoulakis Ioannis Vandoulakis
(엮은이) |
Springer Nature B.V.
| 2022년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
619.
새창열기
[외국도서]
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Paperback)
정가제
FREE
해외직수입
Clara Loh
(지은이) |
Springer Nature B.V.
| 2022년 9월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
620.
새창열기
[외국도서]
Reachability Problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings (Paperback)
정가제
FREE
해외직수입
W. Anthony
,
Potapov Igor Potapov
,
Zetzsche Georg Zetzsche
(엮은이) |
Springer Nature B.V.
| 2022년 10월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
621.
새창열기
[외국도서]
The Mathematics of Coordinated Inference : A Study of Generalized Hat Problems (Paperback)
정가제
FREE
해외직수입
S. Christopher
,
Taylor Alan D. Taylor
(지은이) |
Springer Nature B.V.
| 2013년 11월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
622.
새창열기
[외국도서]
Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Paperback)
정가제
FREE
해외직수입
차바 (Peter Csaba)
,
Narciso Marti-oliet
,
Carolyn Talcott
(엮은이) |
Springer Nature B.V.
| 2015년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
623.
새창열기
[외국도서]
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Paperback)
정가제
FREE
해외직수입
Anil Nerode
,
Artemov Sergei Artemov
(엮은이) |
Springer Nature B.V.
| 2016년 2월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
624.
새창열기
[외국도서]
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, A (Paperback)
정가제
FREE
해외직수입
Ichiro Hasuo
(엮은이) |
Springer Nature B.V.
| 2016년 6월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
625.
새창열기
[외국도서]
Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (Paperback)
정가제
FREE
해외직수입
Florin Manea
,
Cezar Campeanu
,
Shallit Jeffrey Shallit
(엮은이) |
Springer Nature B.V.
| 2016년 7월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
626.
새창열기
[외국도서]
Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, (Paperback)
정가제
FREE
해외직수입
Dowek Gilles Dowek
(엮은이) |
Springer Nature B.V.
| 2014년 7월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
627.
새창열기
[외국도서]
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1 (Paperback)
정가제
FREE
해외직수입
Gerwin Klein
,
Ruben Gamboa
(엮은이) |
Springer Nature B.V.
| 2014년 7월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
628.
새창열기
[외국도서]
Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings (Paperback)
정가제
FREE
해외직수입
Daniel Moldt
,
Fabrice Kordon
(엮은이) |
Springer Nature B.V.
| 2016년 6월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
629.
새창열기
[외국도서]
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings (Paperback)
정가제
FREE
해외직수입
Silvia Steila
,
T.V. Gopal
,
Jager Gerhard Jager
(엮은이) |
Springer Nature B.V.
| 2017년 3월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
630.
새창열기
[외국도서]
Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings (Paperback)
정가제
FREE
해외직수입
Peter Hofner
,
Damien Pous
,
Georg Struth
(엮은이) |
Springer Nature B.V.
| 2017년 4월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
631.
새창열기
[외국도서]
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings (Paperback)
정가제
FREE
해외직수입
Mauricio Ayala-Rincon
,
Munoz Cesar A. Munoz
(엮은이) |
Springer Nature B.V.
| 2017년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
632.
새창열기
[외국도서]
Combinatorics on Words : 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017, Proceedings (Paperback)
정가제
FREE
해외직수입
Francesco Dolce
,
Brlek Srecko Brlek
,
Reutenauer Christophe Reutenauer
(엮은이) |
Springer Nature B.V.
| 2017년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
633.
새창열기
[외국도서]
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Paperback)
정가제
FREE
해외직수입
Anil Nerode
,
Artemov Sergei Artemov
(엮은이) |
Springer Nature B.V.
| 2017년 12월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
634.
새창열기
[외국도서]
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Paperback)
정가제
FREE
해외직수입
Alexander Raschke
,
Thai Son
,
Butler Michael Butler
(엮은이) |
Springer Nature B.V.
| 2018년 5월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
635.
새창열기
[외국도서]
Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (Paperback)
정가제
FREE
해외직수입
Frank Stephan
,
Jain Rahul Jain
,
Jain Sanjay Jain
(엮은이) |
Springer Nature B.V.
| 2015년 4월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
636.
새창열기
[외국도서]
Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings (Paperback)
정가제
FREE
해외직수입
Florin Manea
,
Nowotka Dirk Nowotka
(엮은이) |
Springer Nature B.V.
| 2015년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
637.
새창열기
[외국도서]
Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Pr (Paperback)
정가제
FREE
해외직수입
Michael Winter
,
Jose Oliveira
,
Kahl Wolfram Kahl
(엮은이) |
Springer Nature B.V.
| 2015년 10월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
638.
새창열기
[외국도서]
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Paperback)
정가제
FREE
해외직수입
Klaus-Dieter Schewe
,
Atif Mashkoor
,
Butler Michael Butler
(엮은이) |
Springer Nature B.V.
| 2016년 5월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
639.
새창열기
[외국도서]
Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 20 (Paperback)
정가제
FREE
해외직수입
Pattinson Dirk Pattinson
,
Schroder Lutz Schroder
(엮은이) |
Springer Nature B.V.
| 2012년 8월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
640.
새창열기
[외국도서]
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12 (Paperback)
정가제
FREE
해외직수입
Jeremy Avigad
,
Assia Mahboubi
(엮은이) |
Springer Nature B.V.
| 2018년 7월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
641.
새창열기
[외국도서]
The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (Paperback)
정가제
FREE
해외직수입
Kanamori Akihiro Kanamori
(지은이) |
Springer Nature B.V.
| 2013년 1월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
642.
새창열기
[외국도서]
Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 20 (Paperback)
정가제
FREE
해외직수입
Mark-jan Nederhof
,
Philippe De
(엮은이) |
Springer Nature B.V.
| 2012년 7월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
643.
새창열기
[외국도서]
Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, P (Paperback)
정가제
FREE
해외직수입
Kahl Wolfram Kahl
,
Griffin Timothy G. Griffin
(엮은이) |
Springer Nature B.V.
| 2012년 9월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
644.
새창열기
[외국도서]
Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings (Paperback)
정가제
FREE
해외직수입
Lodaya Kamal Lodaya
(엮은이) |
Springer Nature B.V.
| 2013년 1월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
645.
새창열기
[외국도서]
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback)
정가제
FREE
해외직수입
Christine Paulin-Mohring
,
Sandrine Blazy
,
Pichardie David Pichardie
(엮은이) |
Springer Nature B.V.
| 2013년 6월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
646.
새창열기
[외국도서]
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Paperback)
정가제
FREE
해외직수입
Hasegawa Masahito Hasegawa
(엮은이) |
Springer Nature B.V.
| 2013년 5월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
647.
새창열기
[외국도서]
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Paperback)
정가제
FREE
해외직수입
Leonid Libkin
,
de Queiroz Ruy de Queiroz
,
Kohlenbach Ulrich Kohlenbach
(엮은이) |
Springer Nature B.V.
| 2013년 11월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
648.
새창열기
[외국도서]
Evolving Rule-Based Models : A Tool for Design of Flexible Adaptive Systems (Paperback)
정가제
FREE
해외직수입
Angelov Plamen P. Angelov
(지은이) |
Springer Nature B.V.
| 2014년 3월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
649.
새창열기
[외국도서]
Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012, Revised Selected Papers (Paperback)
정가제
FREE
해외직수입
Denys Duchier
,
Yannick Parmentier
(엮은이) |
Springer Nature B.V.
| 2013년 11월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
650.
새창열기
[외국도서]
Fuzziness in Database Management Systems (Paperback)
정가제
FREE
해외직수입
Bosc Patrick Bosc
(엮은이) |
Springer Nature B.V.
| 2014년 10월
86,470
원 →
70,900
원
(
18%
할인), 마일리지
3,550
원 (
5%
적립)
지금
택배
로 주문하면
5월 21일 출고
(중구 서소문로 89-31)
지역변경
장바구니
바로구매
보관함
보관함
마이리스트
알라딘 중고
이 광활한 우주점
판매자 중고
-
-
-
전체선택
장바구니 담기
보관함 담기
마이리스트 담기
1위
51위
101위
151위
201위
251위
301위
351위
401위
451위
501위
551위
601위
651위
701위
751위
801위
851위
901위
951위
검색어(도로명,건물명,지번)를 입력해주세요(지번+도로명 통합 검색)
검색