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 / Loan 18 times LATEX : a document preparation system Lamport, Leslie Addison-Wesley Pub. Co (1986) Science & Engineering 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 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 - 3s total output / of 3matches Material type Book 3 Pub. Year 시작년도 ~ 마지막년도 Search Author Lamport, Leslie 3 Publisher Addison-Wesley Pub. Co 2 Addison-Wesley 1 Location Science & Engineering Library 3 Sci-Info(Stacks2) 3 Sejong Academic Information Center 1 Science & Technology 1 Language English 3 Subject Category 총류 Generalities 1 총류 Generalities 1 기술과학(응용과학) Technology(Applied sciences) 2 특정용도를 위한 제품의 제조 Manufacture of products 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 신청 제목 ×
