보안문제해결
현재 사용자 께서는 로봇에 의한 과도한 접속으로 판단되어 제한된 정보만 보여지고 있습니다.

모든 정보를 이용하시려면 아래 보안문자를 입력해 주세요.
captcha-img
문제해결에 어려움이 있다면? badatime2@gmail.com
logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

알라딘
교보문고
yes24
영풍문고
쿠팡
G마켓
11번가

도서목록 제공

Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape

Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape (Paperback)

Peter Sutton, Silva Alexandra Silva, Staton Sam Staton (엮은이)
Springer Nature B.V.
72,980원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 69,330원 -5% 0원
2,080원
 67,250원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중
책 정보
책 소개
목차
저자소개
리뷰
책속에서
추천도서

책 이미지

Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape
eBook 미리보기

책 정보

· 제목 : Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape (Paperback) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783662595664
· 쪽수 : 368쪽
· 출판일 : 2019-07-10

저자소개

Peter Sutton (지은이)    정보 더보기
펼치기
Silva Alexandra Silva (엮은이)    정보 더보기
펼치기
Silva Alexandra Silva의 다른 책 >
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings (Paperback)
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings (Paperback)
Silva Alexandra Silva, Wassermann Renata Wassermann, de Queiroz Ruy de Queiroz
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Paperback)
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Paperback)
Silva Alexandra Silva, Leino K. Rustan M. Leino
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Paperback)
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Paperback)
Silva Alexandra Silva, Leino K. Rustan M. Leino
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th I (Paperback)
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th I (Paperback)
Silva Alexandra Silva, Bouajjani Ahmed Bouajjani
Staton Sam Staton (엮은이)    정보 더보기
펼치기

추천도서

분야의 베스트셀러 >
괴테는 모든 것을 말했다 - 제172회 아쿠타가와상 수상작
괴테는 모든 것을 말했다 - 제172회 아쿠타가와상 수상작
스즈키 유이 , 이지수
진보를 위한 주식투자 - 광수네 복덕방, 모두의 투자 이야기
진보를 위한 주식투자 - 광수네 복덕방, 모두의 투자 이야기
이광수
2026 큰별쌤 최태성의 별★별한국사 한국사능력검정시험 심화(1, 2, 3급) 상 - 한국사능력검정시험 심화(1,2,3급)에 대비한 맞춤 기본서
2026 큰별쌤 최태성의 별★별한국사 한국사능력검정시험 심화(1, 2, 3급) 상 - 한국사능력검정시험 심화(1,2,3급)에 대비한 맞춤 기본서
최태성
2026 큰별쌤 최태성의 별★별한국사 한국사능력검정시험 심화(1, 2, 3급) 하 - 한국사능력검정시험 심화(1,2,3급)에 대비한 맞춤 기본서
2026 큰별쌤 최태성의 별★별한국사 한국사능력검정시험 심화(1, 2, 3급) 하 - 한국사능력검정시험 심화(1,2,3급)에 대비한 맞춤 기본서
최태성
혼모노
혼모노
성해나
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책