{"text_format":"2","workbook":"xlsx","n_sheets":3,"sheets":["Sheet1","Sheet2","Sheet3"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":0,"defined_names":0,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900"}

{"sheet":"Sheet1","index":0,"n_rows":279,"n_cols":6,"rows_kept":279,"cut":false,"hidden":false,"merged":[]}
["Number","Title","Author","publisher","Year"]
[]
[null,"(A) Classical Logic"]
[]
["A 1","Forever Undecided: A Puzzle Guide to Godel","Raymond Smullyan","Alfred A. Knopf",1987]
[2,"Godel, Escher, Bach: An Eternal Golden Braid ","Douglas R. Hofstadter","Basic Books",1999]
[3,"Handbook of Formal Languages: Vol. 1 Word, Language, Grammar","G. Rozenberg(Ed), A. Salomaa(Ed)","Springer",1997]
[4,"Handbook of Formal Languages: Vol. 2 Linear modeling: Backgground and application","G. Rozenberg(Ed), A. Salomaa(Ed)","Springer",1997]
[5,"Handbook of Formal Languages: Vol. 3 Beyond Words","G. Rozenberg(Ed), A. Salomaa(Ed)","Springer",1997]
[6,"Handbook of Philosophical Logic(2/e): Volume 1","D. M. Gabbay(Ed), F. Guenthner(Ed)","Kluwer Academic Publisher",2001]
[7,"Handbook of Philosophical Logic(2/e): Volume 2","D. M. Gabbay(Ed), F. Guenthner(Ed)","Kluwer Academic Publisher",2001]
[8,"Logic and Structure(4/e)","Dirk ban Dalen","Springer",2004]
[9,"Computer Science Handbook(2/e)","Aleen B. Tucker(Ed) 외","Chapman & Hall/CRC",2004]
[10,"Handbook of Theoretical Computer Science: Volume A: Algorithms and Complexity","J. van Leeuwen(Ed) 외","Elseview Science Publisher B.V, The MIT Press",1998]
[11,"Handbook of Theoretical Computer Science: Volume B: Formal Models and Semantics","J. van Leeuwen(Ed) 외","Elseview Science Publisher B.V, The MIT Press",1998]
[12,"Logic in Computer Science: Modelling and Reasoning about Systems","Michael Huth, Mark 꾜무","CAMBRIDGE UNIVERSITY PRESS",2004]
[13,"Mathematical Logic for Computer Science (2/e)","Mordechai Ben-Ari","Springer",2004,"정본 2권"]
[14,"Programming in Prolog (5/e)","William F. Clocksin, Christopher S. Mellish","Springer",2003]
[15,"Handbook of Automated Reasoning: volume 1","Alan Robinson and Andrei Voronkov","The MIT press",2001]
[16,"Handbook of Automated Reasoning: volume 2 ","Alan Robinson and Andrei Voronkov","The MIT press",2001]
[17,"Logic for Applications (2/e)","Anil Nerode and Richard A. Shore","Springer",1997]
[18,"Logic, Logic and Logic","George Boolos","Harvard University Press",1999]
[19,"퍼즐과 함께하는 즐거운 논리","레이먼드 M. 스멀리언 지음, 이종권, 박만엽 옮김","문예출판사",2004]
[20,"Computability and Logic","George S. Boolos, John P. Burgess, and Richard C. Jeffrey","CAMBRIDGE UNIVERSITY PRESS",2002]
[21,"Computation : Finite and Infinite Machines","Marvin L. Minsky","Prentice-hall",1967,"제본 2권"]
[22,"New Computational Paradigms","S. Barry Cooper, Benedikt lowe, and Andrea Sorbi","Springer",2007]
[23,"The Calculus of Computation","Aaron R. Bradley and Zohar Manna","Springer",2007]
[]
[]
[]
[]
[]
[null,"(B) Formal Verification"]
[]
["B 1","Interactive Theorem Proving and Progrm development","Yves Bertor, Pierre Casteran","Springer",2004]
[2,"Specifaction and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","Manfred Broy, Ketil Stolen","Springer",2001]
[3,"Temporal Verification of Reactive Systems: Safety","Zohar Manna, Amir Pnueli","Springer",1995]
[4,"The Temporal Logic of Reactive and Concurrent Systems: Specification","Zohar Manna, Amir Pnueli","Springer-Verlag",1992]
[5,"Duration Calculus: A Formal Approach to Real-Time Systems","Zhou Chaochen, Michael R. Hansen","Springer",2004]
[6,"Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking","Doron Drusinsky","Newnes",2006]
[7,"Virtual Machines","Iain D.Craig","Springer",2006]
[8,"Formal Models of Operating System Kernels","Iain D. Craig","Springer",2007]
[9,"Verification of Sequential and Concurrent Programs(2/e)","Krzysztof R. Apt, Ernst-Rudiger Olderog","Springer",1997]
[10,"Interactive Computation: The New Paradigm","Dina Goldin(Ed), Scott A. Smolkaa(Ed), Peter Wegner(Ed)","Springer",2006]
[11,"Verification of Reactive Systems: Formal Methods and Algorithms","Klaus Schneider","Springer",2004]
[12,"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","Jean-Raymond Abrial(Ed), Egon Borger(Ed), Hans Langmaack(Ed)","Springer",1996]
[13,"Systems and Software Verification: Model-Checking Techniques and Tools","B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A.Petit, L. Petrucci, Ph. Schnoebelen with P. Mc Kenzie(Tr)","Springer",2001,"정본 1권, 제본 1권"]
[14,"A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors","Reino Kurki-Suonio","Springer",2005]
[15,"A Roadmap for Formal Property Verification","Pallab Dasgupta","Springer",2006]
[16,"Model Checking","Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled","The MIT Press",1999]
[17]
[18,"Software Abstractions","Daniel Jackson","The MIT Press",2006]
[19,"The Spin Model Checker","Gerard J. Holzmann","Addison Wesley",2004,"정본 2권"]
[20,"Unfoldings: A Partial Order Approach to Model Checking","Javier Esparza and Keijo Heljanko","Springer",2008]
[21,"Temporal Logic and State Systems","Fred Kroger and Stephan Merz","Springer",2008]
[22,"Isabelle / HOL : A Proof Assistant for Higher-Order Logic ","Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel","Springer",2002]
[23,"Logics of Specification Languages","Dines Bjorner and Martin Henson","Springer",2007]
[24,"25 Years of Model Checking","Orna Grumberg and Helmut Veith","Springer",2008]
[25,"Principles of the Spin Model Checker","Mordechai Ben-Ari","Springer",2007]
[26,"Principles of Model Checking","Christel Baier and Joost-Pieter Katoen","The MIT Press",2007]
[27,"Decision Procedures","Daniel Kroening and Ofer Strichman","Springer",2008,"정본 2권"]
[28,"Semantics with Applications","Hanne Riis Nielson and Flemming Nielson","Springer",2007]
[29,"Modeling Distributed Systems","Wan Fokkink","Springer",2007]
[30,"Automated Theorem Proving in Software Engineering","Johann M. Schumann","Springer",2001]
[]
[]
[]
[]
[]
[]
[null,"(C) Concurrency Distributed Embedded System"]
[]
["C 1","Handbook of Networked and Embedded Control Systems","Dimitrios Hristu-Varsakelis(Ed), William S. Levine(Ed)","Birkhauser",2005]
[2,"Introduction to Distributed Algorithms(2/e)","Gerard Tel","CAMBRIDGE UNIVERSITY PRESS",2001]
[3,"Concurrency: State Models & Java Programming","Jeff Magee, Jeff Kramer","John Wiley & Sond, Ltd",2006]
[4,"Principles of Concurrent and Distributed Programming(2/e)","M. Ben-Ari","ADDISON-WESLEY",2006]
[5,"Fault-Tolerant Systems","Israel Koren and C. Mani Krishna","Morgan Kaufmann",2006]
[6,"Handbook of Real-Time and Embedded Systems","Insup Lee, Joseph Y-T. Leung, and Sang H. Son","Chapman & Hall/CRC",2006]
[7,"Design and Analysis of Distributed Algorithms","Nicola Santoro","Wiley",2007]
{"$rows_empty":9}
[null,"(D) Process Algebra"]
[]
["D 1","Process Algebra with Timing","J. C. M. Baeten, C. A. Middelburg","Springer",2002]
[2,"Introduction to Process Algebra","Wan Fokkink","Springer",2000]
[3,"Communicating Sequential Processes","C. A. R. Hoare","Prentice Hall",1985]
[4,"Communicating and Mobile Systems: the π-Calculus","Robin Milner","CAMBRIDGE UNIVERSITY PRESS",2004,"정본 1권, 제본 1권"]
[5,"Process Algebra","J. C. M. Baeten, W. P. Weijland","CAMBRIDGE UNIVERSITY PRESS",1990,"제본 2권"]
[6,"Communication and Concurrency","Robin Milner","Prentice Hall",1989,"정본 1권, 제본 1권"]
[7]
{"$rows_empty":8}
[null,"(E) Practical Programming Language"]
[]
["E 1","The Java™ Programming Language(4/e)","Ken Arnold, James Gosling, David Holmes","Addison Wesley",2005]
[2,"The Java™ Languages Specification(3/e)","James Gosling, Bill Joy, Guy Steele, Gilad Bracha","Addison Wesley",2005]
[3,"The C Programming Language(2/e)","Brian W. Kernighan, Dennis M. Ritchie","Prentice Hall PTR",1988]
[4,"The C++ Standard Library: A Tutorial and Reference","Nicolai M. Josuttis","Addison Wesley",2006]
[5,"The C++ Programming Language(s/e)","Bjarne Stroustrup","Addison Wesley",2000]
[6,"Advanced Linux Programming","Mark Mitchell, Jeffrey Oldham, Alex Samuel","NewRiders",2001]
[7,"Advanced Programming in the UNIX Environment","W. Richard Stevens","Addison Wesley",1993]
[8,"AspectJ Cookbook","Russ Miles","O'Reilly",2005]
[9,"AspectJ in Action","Ramnivas Laddad(Author), 금영욱(역)","도서출판 그린",2005]
[10,"The Practice of Programming","Brian W. Kernighan, Rob Pike","Addison Wesley",1999]
[11,"Professional Java™ Development with the Spring Framework","Rod johnson, Juergen Hoeller, Alef Arendsen, Thomas Risberg, Colin Sampaleanu","Wiley",2005]
[12,"Why Programs Fail: A Guide to Systematic Debugging","Andreas Zeller","dpunkt, Morgan Kaufmann",2005]
[13,"Dreaming in Code ","Scott Rosenberg","Crown",2007]
[14,"컴퓨터 프로그램의 구조와 해석","해럴드 애빌슨 외","인사이트",2007]
[15]
[16,"The Prgmatic Programmer","Andrew Hunt and David Thomas","Addison Wesley",2000]
[17,"Debugging","David J. Agans","Amacom",2003]
[18,"Debugging by Thinking","Robert Charles Metzger","Elsevier Disital Press",2003]
[19,"Beautiful Code","Andy Oram and Greg Wilson ","O'Reilly",2007]
[20,"The Functional Approach Programming","Guy Cousineau and Michel Mauny","Cambrige",2003]
[21,"ML for the Working Programmer","L. C. Paulson","Cambrige",2006]
[22,"Expert F#","Don Syme, Adam Granicz and Antonio Cisternino","Apress",2007]
[23,"Elements of ML Programming","Jeffrey D. Ullman","Prentice Hall",1998]
[24,"The Little Mler","Matthias Felleisen and Daniel P. Friedman","The MIT Press",1998]
[25,"The Latex Companion ","Frank Mittelbach and Michel Goossens","Addison Wesley",2003]
[26,"Guide to Latex","Helmut Kopka and Patrick W. Daly","Addison Wesley",2003]
[27,"The Java Class Libraries Second Edition Volume 1","Patrick Chan, Rosanna Lee, and Douglas Kramer","Addison Wesley",1998]
[28,"The Java Class Libraries Second Edition Volume 2","Patrick Chan, Rosanna Lee, and Douglas Kramer","Addison Wesley",1998]
[29,"The Java Class Libraries Second Edition Volume 1, Supplement for the Java 2 Platform, Standard Edition, v1.2","Patrick Chan, Rosanna Lee, and Douglas Kramer","Addison Wesley",1998]
{"$rows_empty":9}
[null,"(F) Programming Language Theory"]
[]
[" F 1","Essentials of Programming Languages(2/e)","Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes","The MIT Press",2001]
[2,"Concepts of Programming Languages(7/e)","Robert W. Sebesta","Pearson Addison Wesley",2006]
[3,"Programming Languages: Principles and Practice(2/e)","Kenneth C. Louden","Thomson Brooks/Cole",2003]
[4,"Programming Languages: Design and Implementation(4/e)","Terrence W. Pratt, Marvin V. Zelkowitz","Prentice Hall",2001]
[5,"Programming Languages: Principles and Paradigms(2/e)","Allen B. Tucker, Robert E. Noonan","McGraw-Hill",2007]
[6,"Introduction to Automata Theory, Languages, and Computation(3/e)","John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman","Addison Wesley",2007]
[7,"Principles of Program Analysis","Flemming Nielson, Hanne Riis Nielson, Chris Hankin","Springer",2005]
[8,"Theories of Programming Languages","John C. Reynolds","Cambridge University Press",1998,"제본 3권"]
[9,"The Formal Semantics of Programming Languages An Introduction","Glynn Winskel","The MIT Press",1994,"제본 4권"]
[10,"Theorietical Introduction to Programming","Bruce Mills","Springer",2005]
[11,"Types and Programming Languages ","Benjamin C. Pierce","The MIT Press",2002]
[12,"Compilers","Aho, Lam, Sethi, and Ullman","Pearson Addison Wesley",2007]
[]
[]
[]
[null,"(G) Runtime Verification"]
[]
["G 1","Distributed Event-Based Systems","Gero Muhl, Ludger Fiege, Peter R. Pietzuch","Springer",2006]
[2,"Specifying Systems: The TLA+ Language and Tools for hardware and Software Engineers","Leslie Lamport","Addison Wesley",2003]
[3,"The Power of Events: An Introduction to complex Event Processing in Distributed Enterprise Systems","David Luckham","Addison Wesley",2002]
[4,"Come, let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","David Harel, Rami Marelly","Springer",2003]
[5,"Software Pioneers: Contributions to Software Engineering","Manfred Broy(Ed), Ernst Denert(Ed)","Springer",2002,"분류가 모호(4DVDs)"]
[6]
{"$rows_empty":7}
[null,"(H) Security"]
[]
["H 1","network Security: The Complete Reference","Roberta Bragg, Mark Rhodes-Ousley, Keith Strassberg","McGraw-Hill/Osborne",2004]
[2,"The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities","Mark Down, John McDonald, Justin Schuh","Addison Wesley",2007]
[3,"Security in Computing(4/e)","Charles P. Pfleeger, Shari Lawrence Pfleeger","Prentice Hall",2007]
[4,"The Art of Software Security Testing","Chris Wysopal, Lucas Nelson, Dino Dai Zovi, Elfriede Dustin","symantec press, Addison Wesley",2007]
[5,"The Modelling and Analysis of Security Protocols: the CSP Approach","P. Y. A. Ryan, S. A. Schneider","Addison Wesley",2001]
[6,"Core SecurityPatterns: Best Practices and Strategies for J2EE, Web Services, and Identity Management","Christopher Steel, Ramesh Nagappan, Ray Lai","Prentice Hall",2006]
[7,"Software Security: Building Security In","Gary McGraw","Addison Wesley",2006,"1CD"]
[8,"Formal Aspects of Security","Ali E. Abdallag(Ed), Peter Ryan(Ed), Steve Schneider(Ed)","Springer",2003]
[9,"Security 전문가 비밀노트","Douglas Toombs  외 19명","Microsoft"]
[10,"Prime Numbers","Daivd Wells","Wiley",2004]
[11,"Prime Numbers A Computational Perspective","Richard Crandall and Carl Pomerance","Springer",2005]
[12,"Applied Cryptography","Bruce Schneier","Wiley",1996]
[13,"Applied Cryptanalysis","Mark Stamp and Richard M. Low","Wiley",2007]
[14,"Introduction to Cryptography","David Bishop","Jones and Bartlett",2002]
[]
[]
[]
[]
[null,"(I) International Conference Proceeding"]
[]
["I 1","Embedded Software and Systems(ICESS 2007)","Yann-hang Lee, Heung-Nam Kim, Jong Kim, YongWan Park, Laurence T. Yang, Sung Won Kim (Eds.)","Springer",2007]
[2,"Programming Languages and Systems(ESOP 2007)","Rocco De Nicola (Ed)","Springer",2007]
[3,"Fundamental Approaches to Software Engineering(FASE 2007)","Matthew B. Dwyer, Antonia Lopes (Eds)","Springer",2007]
[4,"Foundations of Software Science and Computational Structures(FOSSACS 2007)","Helmut Sei이(Ed)","Springer",2007]
[5,"Tools and Algorithms for the Construction and Analysis of Systems(TACAS 2007)","Orna Grumberg, Michael Huth (Eds)","Springer",2007]
[6,"Concurrency Theory","Insup Lee, Scott A. Smolka (Eds)","Springer",2007]
[7,"Formal Methods(FM99) Vol. I","Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds)","Springer",2007]
[8,"Formal Methods(FM99) Vol. II","Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds)","Springer",2007]
[9,"Software Engineering Notes(ISSTA 00)","Mary Jean Harrold(Ed)","ACM SIGSOFT",2000]
[10,"SPLC 2005","?","?",2005]
[11,"ICSE 2004","?","?",2004]
[12,"2005 IEEE International Conference on Robotics & Automation 2005","?","IEEE",2005]
[13,"Pre-Proceedings of WISA 2006","?","?",2006]
[14,"EMSOFT 2006","?","ACM & IEEE",2006]
[15,"Runtime Verification 2001 (RV '01)","Klaus Havelund, Grigore Rosu(Eds)","?",2001]
[16,"Runtime Verification 2002 (RV '02)","Klaus Havelund, Grigore Rosu(Eds)","?",2002]
[17,"Automated Technology for Verification and Analysis 2007","Kedar S. Namjoshi et. al.","Springer",2007]
[18,"Automated Technology for Verification and Analysis 2008","Sungdeok Cha and Moonzoo Kim ","Springer",2008]
[19,"Model Checking Software 2008","Klaus Havelund et. al.","Springer",2008]
[20,"Testing of Software and Communicating Systems 2008","Kenji Suzuki et. al.","Springer",2008]
[21,"Runtime Verification 2008","Martin Leucker","Springer",2008]
{"$rows_empty":14}
[null,"(M) English"]
[]
["M 1","Writing for Computer Science ","Justin Zobel ","Springer",2004,"정본 1권, 제본 1권"]
[2,"Essay Writing","박광희 ","Pearson Longman",2006]
[3,"Writing Smart ","Marcia Lerner","The Princeton Review",2004]
[4,"Keys For Writers","Ann Raimes ","Houghton Mifflin",1996]
[5,"Exercise booklet for Keys for Writers","Barbara G. Flanagan","Houghton Mifflin",1996]
[6,"How to Write & Publish Engineering Papers and Reports ","Herbert B. Michaelson","Oryx Press",1990]
[7,"Writing the Doctoral Dissertation","Gordon B. Davis and Clyde A. Parker","Barron's",1997]
[8,"The Elements of Style","William Strunk jr. and E. B. White","Longman",2000]
[9,"Collins Cobuild Advanced Learner's English Dictionary",null,"교보문고"]
[10,"Oxford Advanced Learner's Dictionary"]
[11,"Oxford Thesaurus"]
[12,"성문 종합영어"]
[13,"성문 종합영어 학습서"]
[]
[]
[]
[]
[]
[null,"(N) Algorithms"]
[]
["N 1","The Art of Computer Programming Volume 1","Donald E. Knuth","Addison Wesley",1997]
[2,"The Art of Computer Programming Volume 2","Donald E. Knuth","Addison Wesley",1997]
[3,"The Art of Computer Programming Volume 3","Donald E. Knuth","Addison Wesley",1997]
[4,"Introduction to Algorithms","Thomas H. Cormen et al","The MIT Press",2007]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[]
[]
[]
[null,"(O) OS"]
[]
["O 1","Linux Kernel In a Nutshell","Greg Kroah-Hartman","O'Reilly",2006]
[2,"The Linux Kernel Primer","Claudia Salzberg Rodriguez, Gordon Fischer, and Steven Smolski","Prentice Hall",2006]
[3,"Operating System Concepts","Silberschatz, Galvin, and Gagne","Wiley",2003]
[4,"Redhat Linux",null,null,2004]

{"sheet":"Sheet2","index":1,"n_rows":0,"n_cols":0,"rows_kept":0,"cut":false,"hidden":false,"merged":[]}

{"sheet":"Sheet3","index":2,"n_rows":0,"n_cols":0,"rows_kept":0,"cut":false,"hidden":false,"merged":[]}