HOME > Find & Borrow > Advanced Search > Library Catalog Search(KLIN) > Collection Search Result Advanced Search Library Catalog Search(KLIN) Search Keyword : [Begin With / Author:Lamport, Leslie.] Re-search option All Title Author Publisher Re-search within results Select All Add to My eShelf Input number of Page / 1 Pages Select sort item Sort item Title Author Publisher Publishing Year Input Date Number of Loans Select sort order Sort Ascending Descending Select the number of outputs per page 10 20 30 50 100 선택옵션 전송 Inquiry 1 Book LATEX : a document preparation system : user's guide and reference manual 2nd ed Lamport, Leslie Addison-Wesley Pub. Co (1994) Main Library 2 Book / Loan 11 times Specifying systems : the TLA+ language and tools for hardware and software engineers Lamport, Leslie Addison-Wesley (2003) Science & Engineering Library 3 Book / Loan 18 times LATEX : a document preparation system Lamport, Leslie Addison-Wesley Pub. Co (1986) Science & Engineering Library 4 Book / Loan 26 times LATEX : a document preparation system : user's guide and reference manual 2nd ed Lamport, Leslie Addison-Wesley Pub. Co (1994) All Science & Engineering Library Sejong Academic Information Center 1 - 4s total output / of 4matches Material type Book 4 Pub. Year 시작년도 ~ 마지막년도 Search Author Lamport, Leslie 4 Publisher Addison-Wesley Pub. Co 3 Addison-Wesley 1 Location Science & Engineering Library 4 Sci-Info(Stacks2) 3 α Lounge 1 Main Library 1 College Administration Office 1 Sejong Academic Information Center 1 Science & Technology 1 Language English 4 Subject Category Generalities 1 Generalities 1 Technology 2 Manufacture for specific uses 2 URL × Original text × Abstract × Table of Contents × Book Introduction × Author Introduction × Location Information × Select add folder × Save to My eShelf function is need to log in Available after logging in 신청 제목 ×