Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

ยท
ยท Springer
eBook
516
ํŽ˜์ด์ง€
๊ฒ€์ฆ๋˜์ง€ ์•Š์€ ํ‰์ ๊ณผ ๋ฆฌ๋ทฐ์ž…๋‹ˆ๋‹ค. ย ์ž์„ธํžˆ ์•Œ์•„๋ณด๊ธฐ

eBook ์ •๋ณด

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

์ด eBook ํ‰๊ฐ€

์˜๊ฒฌ์„ ์•Œ๋ ค์ฃผ์„ธ์š”.

์ฝ๊ธฐ ์ •๋ณด

์Šค๋งˆํŠธํฐ ๋ฐ ํƒœ๋ธ”๋ฆฟ
Android ๋ฐ iPad/iPhone์šฉ Google Play ๋ถ ์•ฑ์„ ์„ค์น˜ํ•˜์„ธ์š”. ๊ณ„์ •๊ณผ ์ž๋™์œผ๋กœ ๋™๊ธฐํ™”๋˜์–ด ์–ด๋””์„œ๋‚˜ ์˜จ๋ผ์ธ ๋˜๋Š” ์˜คํ”„๋ผ์ธ์œผ๋กœ ์ฑ…์„ ์ฝ์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
๋…ธํŠธ๋ถ ๋ฐ ์ปดํ“จํ„ฐ
์ปดํ“จํ„ฐ์˜ ์›น๋ธŒ๋ผ์šฐ์ €๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ Google Play์—์„œ ๊ตฌ๋งคํ•œ ์˜ค๋””์˜ค๋ถ์„ ๋“ค์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
eReader ๋ฐ ๊ธฐํƒ€ ๊ธฐ๊ธฐ
Kobo eReader ๋“ฑ์˜ eBook ๋ฆฌ๋”๊ธฐ์—์„œ ์ฝ์œผ๋ ค๋ฉด ํŒŒ์ผ์„ ๋‹ค์šด๋กœ๋“œํ•˜์—ฌ ๊ธฐ๊ธฐ๋กœ ์ „์†กํ•ด์•ผ ํ•ฉ๋‹ˆ๋‹ค. ์ง€์›๋˜๋Š” eBook ๋ฆฌ๋”๊ธฐ๋กœ ํŒŒ์ผ์„ ์ „์†กํ•˜๋ ค๋ฉด ๊ณ ๊ฐ์„ผํ„ฐ์—์„œ ์ž์„ธํ•œ ์•ˆ๋‚ด๋ฅผ ๋”ฐ๋ฅด์„ธ์š”.
๋ถˆ๋ฒ• ์ฝ˜ํ…์ธ  ์‹ ๊ณ 

Sergei Artemov ์ž‘๊ฐ€์˜ ์ฑ… ๋”๋ณด๊ธฐ

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4โ€“7, 2020, Proceedings
Sergei Artemov
์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ54.49โ‚ฌ38.14
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Sergei Artemov
์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ54.49โ‚ฌ38.14
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10โ€“13, 2022, Proceedings
Sergei Artemov
โ‚ฌ81.74โ‚ฌ57.22
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Sergei Artemov
์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ54.49โ‚ฌ38.14

๋น„์Šทํ•œ eBook

Recursion Theory: Volume 42
Anil Nerode
42๊ถŒ
โ‚ฌ110.09
How to Solve It: A New Aspect of Mathematical Method
George Polya
โ‚ฌ22.88โ‚ฌ16.02
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bo Bennett
โ‚ฌ9.24
Automata Theory and its Applications
Bakhadyr Khoussainov
21๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ54.49โ‚ฌ38.14