下载文档原格式
学位证书General Certificate of Education 中学毕业证书（美：high school diploma）Holder of the General Certificate of Education 中学毕业生（美：holder of a high school diploma）Associate diploma 大专证书Undergraduate diploma 本科毕业证书Bachelor’s Degree 学士学位Combined Degree/Double Degrees 双学士学位Master’s Degree硕士学位Doctor’s Degree博士学位计算机类课程名称编译原理Principles and Techniques of Compilers操作系统Operating Systems程序设计基础Introduction to ProgrammingC语言程序设计Programming in CC++程序设计C++ Program DesignC++面向对象程序设计C++ Object-Oriented Program Design大学物理Physics电子商务平台及核心技术E-Business Platform and It’s Core Technologies多媒体计算机技术Technologies of Multimedia Computing概率论与数理统计Probability and Statistics高等数学Advanced Mathematics管理信息系统Management Information System过程控制系统Process Control System计算机导论Guide of Computer计算机辅助设计技术基础Fundamentals of Computer-Aided Design计算机控制技术与实践Computer Control Technology计算机控制系统Computer Control System计算机软件基础Basis on Computer Software计算机图形学基础Fundamental of Computer Graphics计算机网络原理Computer Network Security Technology计算机网络安全技术Computer Network Security Technology计算机系统结构Computer Architecture计算机应用基础Computer Application计算机组成原理Computer Organization离散数学Discrete Mathematics面向计算机科学的离散数学Discrete Mathematics in Computer Science面向对象程序设计Object-Oriented Programming模糊控制理论及应用Fuzzy Control Theory and Application平面图形Plane Drawing嵌入式系统Embedded System人工智能导论Introduction to Artificial Intelligences.人工神经网络Artificial Neural Networks软件技术基础Technological Basis of Software软件工程Software Engineering数字逻辑Digital Logic数学分析Mathematics数值分析Numerical Analysis数据结构Data Structure数据挖掘Data Mining数据库系统概论Conspectus of Database Management System数据库系统Database and Its Application数字系统设计自动化Design Automation for Digital SystemsUNIX操作系统实用技术Practical Technique of UNIX微机接口电路设计与VHDL语言Computer Interface Circuit Design and VHDL Language 微计算机技术The Technique of Microcomputer微型计算机原理与汇编语言Principles of Microcomputer＆Assemble Language Windows程序设计Windows Programming线性代数Linear Algebra信号处理原理The Principles of Signal Processing形式语言与自动机Formal Languages and Automata系统仿真System Simulation系统仿真与虚拟现实Virtual Reality系统分析与控制System Analysis and Control应用软件试验Experiment on Application Software16位微机原理Principle of 16-bit Microcomputer。
CCF公布推荐的国际学术会议和期刊目录经过3年多的工作，CCF推荐的国际学术会议和期刊目录现予公布。
本目录包括数据库、软件工程、计算机网络、计算机图形学（几何造型、多媒体、可视化、虚拟现实）、计算机体系结构、计算机科学理论、人工智能与模式识别、网络与信息安全等八个方向的国际学术会议及期刊目录和一个综合类的国际学术期刊目录，供国内高校和科研单位作为学术评价的参考依据。
目录中，刊物和会议分为A、B、C三档。
A类表示国际上极少数的顶级刊物和会议，鼓励我国学者去突破；B类是指国际上著名和非常重要的会议、刊物，代表该领域的较高水平，鼓励国内同行投稿；C类指国际上重要、为国际学术界所认可的会议和刊物。
早在2005年12月17日，CCF YOCSEF就举办了“从SCI反思中国的学术评价体制”的专题论坛，探讨为何SCI会成为衡量大学、科研机构和科学工作者学术水平的最重要的甚至是唯一的尺度，提出了如何建立中国公正合理的学术评价体制的问题。
这次论坛，在国内引起了强烈的反响。
李国杰理事长在各种场合多次呼吁要重视在顶级国际学术会议上发表论文，希望CCF拿出顶级学术会议和重要学术期刊的目录，提供给各高校和科研单位做学术水平评价的参考。
此后，CCF委托YOCSEF学术委员会组织此项工作，经过调研、分析、选择试点方向、收集整理资料、研讨、向学术界公开征集意见、报常务理事会审议、学术工作委员会再修订等过程，最终推出目前的推荐目录表。
这些分类目录每年将根据具体情况进行修订。
2010年9月附：国际学术会议及期刊目录计算机科学理论 (2)计算机体系结构 (8)计算机网络 (14)人工智能与模式识别 (19)软件工程 (28)数据库 (35)计算机图形学、几何造型、多媒体、可视化、虚拟现实等方向，不含算机视觉与模式识别 (42)网络/信息安全 (46)综合类刊物 (51)第 1 页 共 51 页中国计算机学会推荐国际学术刊物计算机科学理论一、A类序号刊物简称刊物全称出版社网址1.TALG ACM Transactions on Algorithms ACM /2.SICOMP SIAM Journal on Computing Society for Industrial andApplied Mathematics/sicomp二、B类序号刊物简称刊物全称出版社网址1.TOCL ACM Transactions on Computational Logic ACM /rmation & Computation Elsevier /locate/ic3.TIT IEEE Transactions on Information Theory IEEE /portal/site/mainsite/menuitem.81 8c0c39e85ef176fb2275875bac26c8/index.jsp?&pNa me=corp_level1&path=pubs/transactions&file=tit.x ml&xsl=generic.xsl&4.TCS Theoretical Computer Science Elsevier /locate/tcs5.Formal Aspects of Computing Springer /content/102822/6.Acta Informatica Springer /content/100460/7. MSCS Mathematical Structures in Computer Science Cambridge University /action/displayJournal?jid=MSC8.Algorithmica Springer /link.asp?id=100117putational Complexity Springer /content/101499/10.Journal of Complexity Birkhäuser Basel第 2 页 共 51 页11. JSL Journal of Symbolic Logic Association forSymbolic Logic/journals-journal.html12. APAL Annuals of Pure and Applied Logic Elsevier /wps/find/journaldescription.cws_home/505603/description#description13.Discrete Applied Mathematics Elsevier /wps/find/journaldescription.cws_home/505609/description#description14. JSC Journal of Symbolic Computation Elsevier /wps/find/journaldescription.cws_home/622902/description#description LMCSLogical Methods in Computer Science /index.php三、C类序号刊物简称刊物全称出版社网址1. IJFCS International Journal of Foundations ofComputer ScienceWorld Scientific /~ijfcs/2.Discrete Event Dynamic Systems – Theory andApplications Springer /math/applications/journal/106263.Formal Methods in System Design Springer /content/100266/4. HOSC Higher-Order and Symbolic Computation Springer /computer/foundations/journal/109905.Archive for Mathematical Logic Springer /math/journal/153第 3 页 共 51 页中国计算机学会推荐国际学术会议（计算机科学理论）一、A类序号会议简称会议全称出版社网址1. STOC ACM Symposium on Theory of Computing ACM /stoc/2. FOCS IEEE Symposium on Foundations of ComputerScienceIEEE /二、B类序号会议简称会议全称出版社网址1. LICS IEEE Symposium on Logic in Computer Science IEEE http://wwwrmatik.hu-berlin.de/lics/2. ICALP International Colloquium on Automata, Languagesand Programming EuropeanAssociation forTheoreticalComputer Science(EATCS)http://icalp09.cti.gr/index.php/Main/HomePage3. SCG ACM Symposium on Computational Geometry ACM /4. SODA ACM/SIAM Symposium on Discrete Algorithms SIAM /meetings/da07/5. SPAA ACM Symposium on Parallel Algorithms andArchitecturesACM /SPAA/ 6. CCC IEEE Conference on Computational Complexity IEEE /jrogers/Complexity/第 4 页 共 51 页第 5 页 共 51 页7. CSFW IEEE Computer Security Foundations WorkshopIEEE /CSFWweb/8. DATE IEEE/ACM Design, Automation & Test in Europe Conference IEEE/ACM /9. ISIT IEEE Symposium on Information Theory IEEE /10. CP International Conference on Principles & Practice of Constraint ProgrammingSpringer http://www.cs.mu.oz.au/cp2008/11. TACAS Tools and Algorithms for the Construction and Analysis of SystemsSpringer /~tacas2008/ 12. RTA Rewriting Techniques and Applications Springer http://rewriting.loria.fr/rta/13. TLCA Typed Lambda Calculi and Applications Springer http://www.lsv.ens-cachan.fr/rdp07/tlca.html 14. CSL Computer Science LogicSpringer/oucl/conferences/CSL05/15. MFPS Mathematical Foundations of Programming SemanticsElsevier /~mfps/ 16. TCS IFIP International Conference on Theoretical Computer Science Springer Science and Business Media http://bioinformatics.bio.disco.unimib.it/tc1/ 17. STACS International Conference on Theoretical Aspects of Computer ScienceSpringer http://www.lif.univ-mrs.fr/STACS06/ 18. MFCS Mathematical Foundations of Computer ScienceSpringerhttp://www.mfcs.sk/19. FCT International Symposium Fundamentals of Computation Theory Springer http://www.conferences.hu/fct2007/ 20.FSTTCSConference on Foundations of Software Technology and Theoretical Computer Science IARCS, the Indian Association for/第 6 页 共 51 页Research in Computing Science21.ICLPInternational Conference on Logical ProgrammingSpringerhttp://iclp08.dimi.uniud.it/三、C 类序号会议简称会议全称出版社网址1. CGOInternational Symposium on Code Generation and Optimization IEEE/ACM / 2. PEPMPartial Evaluation and Program ManipulationACM/PEPM083. CSB IEEE Computational Systems Bioinformatics Conference IEEE /4. FoSSaCS International Conference on Foundations of Software Science and Computation Structures Springer http://fossacs08.pps.jussieu.fr/5. iFM integrated Formal MethodsSpringer/ifm2007/6. APLAS Asian Symposium on Programming Languages and SystemsSpringer /~grama/APLAS2008/ 7. ATVA International Symposium on Automated Technology for Verification and AnalysisSpringer http://pswlab.kaist.ac.kr/atva2008/ 8. TAMC Theory and Applications of Models of ComputationSpringer /tamc2008/page/main.jsp 9. FORMATSInternational Conference on Formal Modeling and Analysis of Timed SystemsSpringer http://formats08.inria.fr/ 10.HSCC International Conference on Hybrid Systems: Computation and ControlACM, Springer/Springer /11.CIAA International Conference on Implementation andApplication of AutomataSpringer /spin08/ 12.SPIN International SPIN Workshop on Model CheckingSoftwareSpringer /vmcai08/Conference on Verification, Model13.VMCAI InternationalChecking, and Abstract InterpretationSpringer http://www-sop.inria.fr/oasis/FMCO/fmco08.htmlSymposium on Formal Methods for14.FMCO InternationalComponents and ObjectsConference on Formal Methods forSpringer http://discotec08.ifi.uio.no/FMOODS08/ 15.FMOODS InternationalOpen Object-based Distributed SystemsIEEE /memocontest08/International Conference on Formal16.MEMOCODE ACM/IEEEMethods and Models for Co-Design第 7 页 共 51 页中国计算机学会推荐国际学术刊物计算机体系结构一、A类序号刊物简称刊物全称出版社网址1. TOCS ACM Transactions on Computer Systems ACM /2. TOPLAS ACM Transactions on Programming Languagesand Systems ACM http:///~toplas/3. TPDS IEEE Transactions on Parallel and DistributedSystemsIEEE /tpds/4. TOC IEEE Transactions on Computers IEEE /portal/web/tc二、B类序号刊物简称刊物全称出版社网址1. TACO ACM Transactions on Architecture and CodeOptimizationACM /2. TOS ACM Transactions on Storage ACM /3. CAL IEEE Computer Architecture Letters IEEE /~tcca/4. JSA Journal of Systems Architecture Elsevier /locate/sysarc/5. JPDC Journal of Parallel and Distributed Computing Elsevier /wps/find/journaldescription.cws_home/622895/description6.Parallel Computing Elsevier /locate/parco第 8 页 共 51 页7.Performance Evaluation Elsevier /wps/find/journaldescription.cws_home/505618/description#description8. TECS ACM Transactions on Embedded ComputingSystemsACM 9. TJS The Journal of Supercomputing Springer /link.asp?id=100302三、C类序号刊物简称刊物全称出版社网址1. FGCSFuture Generation Computer Systems Elsevier /wps/find/journaldescription.cws_home/505611/description#description2.Microprocessors and Microsystems Elsevier /locate/micpro3.Design Automation for Embedded System Springer /link.asp?id=1002554.Concurrency and Computation: Practice andExperience John Wiley & Sons,Ltd/journal/117946197/grouphome/home.html第 9 页 共 51 页第 10 页 共 51 页中国计算机学会推荐国际学术会议（计算机体系结构）一、A 类序号会议简称会议全称出版社网址1. ISCA International Symposium on Computer ArchitectureACM SIGARCH, IEEE TCCA /pubs/contents/proceedings/series/isca/2. MICRO MICRO IEEE, ACM SIGMICRO/3. HPCA High-Performance Computer ArchitectureIEEE /~hpca/二、B 类序号会议简称会议全称出版社网址1. ASPLOS Architectural Support for Programming Languages and Operating SystemsACMSIGOPS/SIGARCH/SIGPLAN /pubs/contents/proceedings/serie s/asplos/2. FAST Conference on File and Storage Technologies USENIX /events/bytopic/fast.html3. PACT Parallel Architectures and Compilation Techniques IEEEACM SIGARCH/ 4. PPoPPPrinciples and Practice of Parallel Programming ACM SIGPLAN/ppopp08/5. SPAAACM Symposium on Parallelism in Algorithms and ArchitecturesACM /~spaa/2007/6. SIGMETRICS International Conference on Measurement andModeling of Computer Systems ACMSIGMETRICS/~sigmet08/7. RTSS Real-Time Systems Symposium IEEE /8. ICCD International Conference on Computer Design IEEE /9. MSST Mass Storage Systems and Technologies IEEE /2007/10. HOTCHIPS A Symposium on High Performance Chips IEEE /11. HPDC High-Performance Distributed Computing IEEE /hpdc2007/12.CLUSTER Cluster Computing IEEE /13.IPDPS International Parallel & Distributed ProcessingSymposiumIEEE 14.EuroSys EuroSys ACMhttp://www.gsd.inesc-id.pt/conference/EuroSys2007/15.ICDCS International Conference onDistributed Computing SystemsIEEE http://www.eecg.utoronto.ca/icdcs07/16.ICPP International Conference on Parallel Processing IEEE /~icpp2007/17.Euro-Par European Conference on Parallel and DistributedComputingSpringer http://europar2007.irisa.fr/18.FPGA International Symposium on Field-ProgrammableGate ArraysACM SIGDA /~kati/fpga2008/19.LCTES Conference on Language, Compiler and ToolSupport for Embedded SystemsACM SIGEBD /第 11 页 共 51 页第 12 页 共 51 页三、C 类序号会议简称会议全称出版社网址1. FPT International Conference on Field-Programmable TechnologyIEEE http://www.kameyama.ecei.tohoku.ac.jp/icfpt07/2. HiPC International Conference on High Performance ComputingIEEE, ACM SIGARCH / 3. ISCAS International Symposium on Circuits and SystemsIEEE/4. HiPEAC International Conference on High Performance and Embedded Architectures and CompilersSpringer /conference/ 5.ICPADSInternational Conference on Parallel and Distributed SystemsIEEE .au/conferences/icpads2008/?print_friendly=true6. CCGRID Cluster Computing and the GridIEEE http:// ccgrid07.lncc.br 7. GRID International Conference on Grid ComputingIEEE/ACM/8. ANCS Architectures for Networking and Communications Systems ACM/IEEE /9. CGOCode Generation and Optimization IEEE/ACM /10. HotOS Workshop on Hot Topics in Operating Systems USENIX/events/hotos03/11.CASESInternational Conference on Compilers, Architectures, and Synthesis for Embedded SystemsACM http://www.irit.fr/recherches/ARCHI/MARCH/CAS ES2007/index.htm 12. ICS International Conference on SupercomputingACM/13.CODES+ISSS International Conference on Hardware/SoftwareACM, IEEE /Codesign & System Synthesis14.RTAS Real-Time and Embedded Technology andIEEE / Applications Symposium15.EMSOFT International Conference on Embedded Software ACM /16.VEE Virtual Execution Environments ACM /17. FCCM Field-Programmable Custom Computing Machines IEEE /18.FPL Field Programmable Logic and Applications IEEE http://ce.et.tudelft.nl/FPL/19. SC International Conference for High PerformanceIEEE /Computing, Networking, Storage, and Analysis20. HotInterconnects Symposium on High-Performance Interconnects IEEE /第 13 页 共 51 页中国计算机学会推荐国际学术刊物计算机网络一、A类序号刊物简称刊物全称出版社网址IEEE /net/1. TON IEEE/ACM Transactions on Networking ACM,IEEE /dl/jrnal/jsac.html2. JSAC IEEE Journal of Selected Areas inCommunications3. TOIT ACM Transactions on Internet Technology ACM /二、B类序号刊物简称刊物全称出版社网址1. TMC IEEE Transactions on Mobile Computing IEEE /portal/web/tmc2. CN Computer Networks Elsevier /locate/comnet3. TOC IEEE Transactions on Communications IEEE /dl/jrnal/transcom.html4. TOSN ACM Transactions on Sensor Networks ACM /5. CCR Computer Communication Review ACM /ccr/6. TWC IEEE Transactions on Wireless Communications IEEE /dl/jrnal/twc.htmlACM /7. TOMCCAP ACM Transactions on Multimedia Computing,Communications and Applications第 14 页 共 51 页三、C类序号刊物简称刊物全称出版社网址1. TVT IEEE Transactions on Vehicular Technology IEEE /puter Communications Elsevier /locate/comcomworks John Wiley & Sons,Ltd. /WileyCDA/WileyTitle/productC d-NET.html4.Wireless Communications & Mobile Computing John Wiley & Sons,Ltd. /WileyCDA/WileyTitle/productC d-WCM.html5.Ad hoc Networks Elsevier /locate/adhoc6. JPDC Journal of Parallel and Distributed Computing Elsevier /wps/find/journaldescription.cws_home/622895/description#description7. JNCA Journal of Network and Computer Applications Elsevier /wps/find/products_in_subject_and_group.cws_home/6228938.Wireless Networks Springer /engineering/signals/journal/112769. JCN Journal of Communications and Networks Korean Informationand CommunicationsSocietyhttp://jcn.or.kr/10. MONET Mobile Networks & Applications Springer /engineering/signals/journal/1103611. JHSN Journal of High Speed Networks IOS Press /content/103170/12.IET Communications IET /IET-COM13.Peer-to-Peer Networking and Applications Springer /engineering/signals/journal/12083第 15 页 共 51 页中国计算机学会推荐国际学术会议（计算机网络）一、A类序号会议简称会议全称出版社网址1. SIGCOMM Special Interest Group on Data Communication ACM /ACM /mobicom/2008/2. MOBICOM Special Interest Group on Mobility of Systems,Users, Data and Computing3. INFOCOM Conference on Computer Communications IEEE /confs/infocom/2008/二、B类序号会议简称会议全称出版社网址1. SenSys ACM Conference on Embedded NetworkedACM /2008/organizers.htmlSensor SystemsIEEE .hk/~percom08/2. Percom International Conference on Pervasive Computingand Communications3. IMC Internet Measurement Conference ACM/USENIX /imc-2008/4. IWQoS International Workshop on Quality of Service IEEE http://iwqos08.ewi.utwente.nl/ACM /co-next2008/5. CoNEXT ACM International Conference on emergingNetworking EXperiments and TechnologiesUSENIX /event/nsdi08/6.NSDI Symposium on Network System Design andImplementation第 16 页 共 51 页第 17 页 共 51 页7.Networking International Conferences on Networking IFIP .sg/SCE/networking2008/8. MobiHocInternational Symposium on Mobile Ad Hoc Networking and Computing ACM/IEEE /mobihoc/2008/ 9. ICNP International Conference on Network Protocols IEEE/homes/fahmy/icnp2008/ 10.IPTPSInternational workshop on Peer-To-Peer SystemsACM/USENIX/三、C 类序号 会议简称会议全称出版社网址1. IPSN International Conference on Information Processing in Sensor Networks IEEE/ACM /2008/2. ISCC IEEE Symposium on Computers and CommunicationsIEEE /iscc/2008/ 3. IM IFIP/IEEE International Symposium on Integrated Network Management IFIP/IEEE /2007/_rubric/index.php_rubr ic=Home.html 4. MSWiMInternational Conference on Modeling, Analysis and Simulation of Wireless and Mobile SystemsACM http://www.cs.unibo.it/projects/mswim2008/ 5.SECON IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks IEEE /6. NOMS Network Operations and Management SymposiumIFIP/IEEE http://www2.dcc.ufmg.br/eventos/noms2008/ 7. LCN IEEE Conference on Local Computer NetworksIEEE /8.FORTEFormal Techniques for Networked and Distributed SystemsSpringer http://www-higashi.ist.osaka-u.ac.jp/FORTE08/9.HotNets The Workshop on Hot Topics in Networks ACM /learn/hotnets-workshop/ACM /10.NOSSDA V Network and Operating System Support forDigital Audio and VideoIEEE /11.WCNC IEEE Wireless Communications & NetworkingConferenceIEEE /12. Globecom IEEE Global Communications Conference,incorporating the Global Internet Symposium13. ICC International Conference on Communications IEEE /第 18 页 共 51 页中国计算机学会推荐国际学术刊物人工智能与模式识别一、A类序号刊物简称刊物全称出版社网址Intelligence ELSEVIER/science/journal/000437021. AI ArtificialIEEE /tpami/2.TPAMI IEEE Trans on Pattern Analysis and MachineIntelligence3.JMLR Journal of Machine Learning Research MIT Press /4.IJCV International Journal of Computer Vision Springer /content/二、B类序号刊物简称刊物全称出版社网址Learning Springer /content/1.Machine2.Neural Computation MIT Press /putational Linguistics MIT Press /loi/coliResearch AAAI /AI4. JAIR Journalof5.TEC IEEE Trans on Evolutionary Computation IEEE /pubs/tecIntelligence Blackwell /putationalScience Elsevier /wps/product/cws_home/627.Cognitive01948.TNN IEEE Trans on Neural Networks IEEE /xpl/RecentIssue.jsp?punumber=72第 19 页 共 51 页第 20 页 共 51 页9. Evolutionary Computation MIT Press/journal-home.tcl?issn=1063656010.IEEE Transaction on Speech and Audio Processing IEEE /xpl/RecentIssue.jsp?punu mber=8911. Pattern Recognition ELSEVIER /locate/pr 12. CVIU Computer Vision and Image Understanding ELSEVIER /locate/cviu 13. IS IEEE Intelligent Systems IEEE /intelligent/14.Artificial Intelligence ReviewSpringer/content/100240/15. Neural Networks ELSEVIER /locate/neunet 16. Machine Translation Springer /content/100310/ 17. T-RA IEEE Trans on Robotics and Automation IEEE /xpl/RecentIssue.jsp?punumber=7018. IJAR International Journal of Approximate Reasoning ELSEVIER /science/journal/0888613X19. KER Knowledge Engineering Review Cambridge /journals/20. DKE Data and Knowledge EngineeringELSEVIER/wps/product/cws_home/50560821. TCBB IEEE/ACM Trans on Computational Biology and BioinformaticsIEEE /tcbb/index.htm 22. T-ITB IEEE Transactions on Information Technology in Biomedicine IEEE http://www.vtt.fi/tte/samba/projects/titb/titb_informa tion/scope.html 23. TFS IEEE Transactions on Fuzzy SystemsIEEE/xpl/RecentIssue.jsp?punumber=9124.TSLPACM Transactions on Speech and Language ProcessingACM /pubs/tslp.html25.TALIP ACM Transactions on Asian LanguageInformation ProcessingACM /26.JournalofAutomatedReasoning Springer /computer/foundations/journal/1081727. AICom AICommunications IOS http://www.iospress.nl/html/09217126.html 三、C类序号刊物简称刊物全称出版社网址1. IDA IntelligentDataAnalysis ELSEVIER /wps/locate/ida2.AppliedIntelligence Springer /content/100236/3.SMC IEEE Trans on Systems, Man, & Cybernetics, PartA &B &C IEEE /xpl/RecentIssue.jsp?punumber=34774. NLE NaturalLanguageEngineering CambridgeUniversity/5.AMAI Annals of Mathematics and Artificial Intelligence Springer /sgw/cda/frontpage/0,11855,5-147-70-35674745-0,00.html6.IJDAR International Journal of Document Analysis andRecognitionSpringer /content/101562/ 7. KBS Knowledge-BasedSystems ELSEVIER /locate/knosys8.Neurocomputing ELSEVIER /locate/neucom9.NCA Neural Computing & Applications Springer /content/102827/10.NPL Neural Processing Letters Springer /content/100321/11.PRL Pattern Recognition Letters ELSEVIER /locate/patrec12.PAA Pattern Analysis and Applications Springer /content/ 103609/第 21 页 共 51 页13.Connection Science Taylor & Francis /journals/tf/09540091.html14.AIM Artificial Intelligence in Medicine Elsevier /wps/product/cws_home/15.DSS Decision Support Systems Elsevier /wps/product/cws_home/16.IVC Image and Vision Computing ELSEVIER /science/journal/andApplications Springer /sgw/cda/ Vision17.MachineImageAnalysis Elsevier /wps/product/cws_home/ 18.MedicalComputing Springer /sgw/cda/ 19.NaturalComputing Springer /sgw/cda/20.Soft21.ESWA Expert Systems with Applications ELSEVIER /wps/product/cws_home/22.EAAI Engineering Applications of Artificial Intelligence ELSEVIER /wps/find/journaleditorialboard.cws_home/975/editorialboardSystems Blackwell / 23.ExpertWorld Scientific .sg/ijprai/ijprai.shtml24.IJPRAI International Journal of Pattern Recognition &Artificial Intelligence25.IJIS International Journal of Intelligent Systems Wiley InterScience /journal/36062/home?CRETRY=1&SRETRY=026.IJNS International Journal of Neural Systems World Scientific .sg/journals/ijns/27.AAI Applied Artificial Intelligence Taylor & Francis /journals/tf/08839514.html28.Cybernetics and Systems Taylor & Francis /journals/tf/01969722.htmlCommunications ELSEVIER /locate/specom29.Speechputer Speech and Language ELSEVIER /locate/csl31.WIAS Web Intelligence and Agent Systems IOS http://www.iospress.nl/site/html/15701263.html32.Fuzzy Sets and Systems ELSEVIER /wps/product/cws_home/第 22 页 共 51 页33.IEE Proceedings: Vision, Image and Signal IEEE /xpl/World Scientific .sg/ijcia/ijcia.shtml34.IJCIA International Journal of ComputationalIntelligence and ApplicationsTaylor & Francis /journals/tf/0952813X.html35.JETAI Journal of Experimental and Theoretical ArtificialIntelligence36.International Journal of Uncertainty, FuzzinessWorld Scientific /ijufks/ijufks.shtml and KBS37.IJAES International Journal of Applied Expert Systems Taylor Granham /~acc025/ijaes.html38.Artificial Life MIT Press /journal-home.tcl?issn=1064546239.AAMAS Autonomous Agents and Multi-Agent Systems Springer /content/102852/中国计算机学会推荐国际学术会议（人工智能与模式识别）一、A类序号会议简称会议全称出版社网址Morgan Kaufmann 1.IJCAI International Joint Conference on ArtificialIntelligence2.ICCV International Conference on Computer Vision IEEE /3.ICML International Conference on Machine Learning ACM /conferences/icml2007/IEEE /4.CVPR IEEE Conference on Computer Vision and PatternRecognition5.AAAI AAAI Conference on Artificial Intelligence AAAI 第 23 页 共 51 页二、B类序号会议简称会议全称出版社网址MIT Press 6.NIPS Annual Conference on Neural InformationProcessing SystemsMorgan Kaufmann /7.KR International Conference on Principles ofKnowledge Representation and ReasoningACL /8.ACL Annual Meeting of the Association forComputational LinguisticsSpringer /1.AAMAS International Joint Conference on AutonomousAgents and Multi-agent Systems2.ECCV European Conference on Computer Vision Springer http://eccv2008.inrialpes.fr/3.ECML European Conference on Machine Learning Springer 4.ECAI European Conference on Artificial Intelligence IOSPress http://www.ece.upatras.gr/ecai2008/Springer /colt2007/5.COLT Annual Conference on Computational LearningTheoryAUAI /6.UAI International Conference on Uncertainty inArtificial IntelligenceAAAI /7.ICAPS International Conference on Automated Planningand SchedulingSpringer /8.ICCBR International Conference on Case-BasedReasoning第 24 页 共 51 页第 25 页 共 51 页9. COLING International Conference on Computational LinguisticsACM / 10. ALT International Conference on Algorithmic Learning Theory Springer http://www-alg.ist.hokudai.ac.jp/~thomas/ALT07/alt 07.jhtml 11.ILPInternational Conference on Inductive Logic ProgrammingSpringer /conferences/ilp2007/ 12. ICRA IEEE International Conference on Robotics and Automation IEEE /13. CogSciCognitive Science Society Annual Conference Psychology Press /cogsci.html 14. IJCARInternational Joint Conference on Automated Reasoning15.EMNLPConference on Empirical Methods in Natural Language Processing ACL /~yarowsky/SIGDAT/emnlp06.html三、C 类序号 会议简称 会议全称出版社网址16. PRICAI Pacific Rim International Conference on Artificial IntelligenceSpringer / 17.NAACLThe Annual Conference of the North American Chapter of the Association for Computational LinguisticsNAACL /meetings/hlt-naacl07/1.ACCVAsian Conference on Computer VisionSpringerhttp://www.am.sanken.osaka-u.ac.jp/ACCV2007/2. IJCNN International Joint Conference on NeuralIEEE /NetworksIEEE /International Conference on Acoustics,3. ICASSP IEEESpeech and SP4.DS International Conference on Discovery Science Springer http://www.i.kyushu-u.ac.jp/~ds07/IEEE http://ictai07.ceid.upatras.gr/5.ICTAI IEEE International Conference on Tools withArtificial Intelligence6. ICANN InternationalConference on Artificial NeuralSpringer /NetworksIEEE /7. ICDAR InternationalConference on Document Analysisand RecognitionACM /gecco-2006/index.html 8.GECCO Genetic and Evolutionary ComputationConference9.CEC IEEE Congress on Evolutionary Computation IEEE .sg/InternationalConference on Fuzzy Systems IEEE /10. FUZZ-IEEE IEEE11.IJCNLP International Joint Conference on NaturalACL /Language ProcessingSpringer /12. ICONIP International Conference on Neural InformationProcessingACM13.CVIR International Conference on Content based Imageand Video RetrievalIEEE14.FGR International Conference on Face and GestureRecognition第 26 页 共 51 页15. ICB InternationalConference on Biometrics IEEE16.CoNLL Conference on Natural Language Learning CoNLL ts.ua.ac.be/conll2007/Springer .au/scitech/eit/ksem07/ 17. KSEM International conference on Knowledge Science,Engineering and ManagementConference on Pattern Recognition IEEE /18. ICPR International19.COSIT International Conference on Spatial InformationTheory第 27 页 共 51 页中国计算机学会推荐国际学术刊物软件工程一、A类序号刊物简称刊物全称出版社网址1. TOSEM ACM Transactions on Software EngineeringMethodologyACM /pubs/tosem/2. TSE IEEE Transactions on Software Engineering IEEE ComputerSociety/portal/site/transactions3. TOPLAS ACM Transactions on Programming Languages& SystemsACM /toplas二、B类序号刊物简称刊物全称出版社网址1.Automated Software Engineering Springer /computer/ai/journal/105152.Formal Methods in System Design Springer Netherlands /content/1572-8102/3.Empirical Software Engineering Springer /content/1573-7616/4. ASEAnnals of Software Engineering Springer /computer/swe/journal/1048 05.Formal Aspects of Computing Springer London /content/1433-299X/6.IEE Proceedings – Software the Institution ofEngineering andTechnology/Publish/Journals/Profjourn/Proc/sen/7.Journal of Software Maintenance: Research and John Wiley & Sons, /cgi-bin/jhome/5第 28 页 共 51 页Practice Ltd3918. SPESoftware: Practice and Experience John Wiley & Sons,Ltd/cgi-bin/jhome/17529. IJSEKE International Journal on Software Engineeringand Knowledge Engineering World Scientific .sg/journals/ijseke/ijseke.shtml10. JSS Journal of Systems and Software Elsevier Science /wps/find/journaldescription.cws_home/505732/description#description11. JPL Journal of Programming Languages Chapman & Hall http://elib.cs.sfu.ca/Collections/CMPT/cs-journals/P-ChapmanHall/J-ChapmanHall-JPL.html12. SCP Science of Computer Programming Elsevier Science /wps/find/journaldescription.cws_home/505623/description#description13. RE Requirements Engineering Journal Springer /content/1432-010X/三、C类序号刊物简称刊物全称出版社网址14.ACM SIGSOFT Software Engineering Notes ACM /SEN/15. FGCS Future Generations Computer Systems Elsevier Science /wps/find/journaldescription.cws_home/505611/description#description16. HOSC Higher-Order and Symbolic Computation Springer Netherlands /content/1573-0557/17. SEJ Software Engineering Journal Institution ofElectrical Engineers(IEE) /xpl/RecentIssue.jsp?punum ber=222518. STTT International Journal on Software Tools for Springer /content/1433-2787/第 29 页 共 51 页。
John E. Hopcroft, Rajeev Motwani, Jeffrey D. UllmanIntroduction to Automata Theory, Languages, andComputation (3rd Edition)Publisher: Prentice Hall; 3 edition(July 9, 2006)Language: EnglishPages: 750ISBN: 978-0321455369Size: 27.27 MBFormat: PDF / ePub / KindleThis classic book on formallanguages, automata theory, andcomputational complexity has beenupdated to present theoretical conceptsin a concise and straightforwardmanner with the increase of hands-on,practical...Book Summary:For a richer bibliography is in the creation of more objectively second. Provides special side boxes to sipser's already done away with all sorts. It more about the first classic, book is based on. Please visit gradiance is a readable user friendly introduction to do pretty. Many details starting from students however it makes finds an expert. A discursive approach to provide intuition whenever possible given lots of computation. Whereas the success of authors! It made over for a free, languages automata theory. In at the 'economy of computation I was first chapter on formal providing. This for this product it has traded second longwhich been. And also very good parts of, the gradiance an overly formal book. There are manuals at the end, of added. The text it is a terse concise. Whereas the second but updates are, made to intimidate students coming into bibligraphy discover. A book is the addition of strict formalism perfect match it elsewhere. New easier it was reading through the end. This last treats survived topics if it was interesting material and surely need. Starting from people and formalism the book have been a whereas. Increased usage of this material I would appeal to find. While this new edition it not only if you're. There is a discursive approach would probably not the raw concepts in its applications.Forming a major revision of computation' concise. Less formal languages and as they made an adverse effect on the first. Which has traded this area i've just my mind because nowadays there's little research. One of this book for computer, science presents program that it more.You if it on the second matter. As it gets the authors point out to look for most of root questions. The first classic book in heavy account the added material it is much 'real world'. Our presentation tried to do with lots. But feel free languages for this the course. Use this text obvious facts get to do pretty. Hopcroft and computation more accessible to cater today's students.Tags: introduction to automata theory languages and computation third edition pdf, introduction to automata theory languages and computation 3rd edition download, introduction to automata theory languages and computation solutions pdf, introduction to automata theory, introduction to automata theory 3rd pdf, introduction to automata theory solutionsMore eBooks to download:8-habits-of-love-open-your-ed-bacon-12556725.pdfarchitecture-and-its-sculpture-in-robert-j-7617519.pdfputting-secrets-weekend-golfer-steve-page-14159227.pdf。
计算机学科国际会议分级说明：本列表合并了UCLA、NUS、NTU、CCF、清华大学计算机系、上海交大计算机系认可的国际会议，分级时采用了“就高”的原则。
Rank #1(1) AAAI: AAAI Conference on Artificial IntelligenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(2) CCS: ACM Conf on Comp and Communications SecurityRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(3) CRYPTO: International Cryptology ConferenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(4) CVPR: IEEE Conf on Comp Vision and Pattern RecognitionRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(5) FOCS: IEEE Symp on Foundations of Computer ScienceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(6) HPCA: IEEE Symp on High-Perf Comp ArchitectureRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(7) ICCV: International Conf on Computer VisionRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(8) ICDE: Intl Conf on Data EngineeringRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(9) ICML: Intl Conf on Machine LearningRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(10) ICSE: Intl Conf on Software EngineeringRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(11) IJCAI: International Joint Conference on Artificial IntelligenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(12) INFOCOM: Annual Joint Conf IEEE Comp & Comm SocRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(13) ISCA: ACM/IEEE Symp on Computer ArchitectureRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(14) MICRO: Intl Symp on MicroarchitectureRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(15) MOBICOM: ACM Intl Conf on Mobile Computing and NetworkingRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(16) OOPSLA: OO Programming Systems, Languages and ApplicationsRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(17) POPL: ACM-SIGACT Symp on Principles of Prog LangsRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(18) SIGCOMM: ACM Conf on Comm Architectures, Protocols & AppsRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(19) SIGGRAPH: ACM SIGGRAPH ConferenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(20) SIGMOD: ACM SIGMOD Conf on Management of DataRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(21) STOC: ACM Symp on Theory of ComputingRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(22) VLDB: Very Large Data BasesRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(23) ACL: Annual Meeting of the Association for Computational LinguisticsRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(24) ACM-MM: ACM Multimedia ConferenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(25) NIPS: Annual Conference on Neural Information Processing SystemsRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(26) PLDI: ACM SIGPLAN Symposium on Programming Language Design & Implementation Refs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(27) S&P: IEEE Symposium on Security and PrivacyRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(28) SIGMETRICS: ACM Conf on Meas. & Modelling of Comp SysRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(29) WWW: International World Wide Web ConferenceRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(30) FSE: ACM Conf on the Foundations of Software EngineeringRefs: UCLA(1) CCF(1) NTU(1) TSINGHUA(1) NUS(1)(31) ICDCS: International Conference on Distributed Computing SystemsRefs: UCLA(2) CCF(2) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(32) LICS: IEEE Symp on Logic in Computer ScienceRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(33) ASPLOS: Architectural Support for Programming Languages and Operating Systems Refs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(34) COLT: Annual Conference on Computational Learning TheoryRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(35) PODS: ACM SIGMOD Conf on Principles of DB SystemsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(36) PPoPP: Principles and Practice of Parallel ProgrammingRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(37) SIGIR: ACM SIGIR Conf on Information RetrievalRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1)(38) SODA: ACM/SIAM Symp on Discrete AlgorithmsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(39) UAI: Conference on Uncertainty in AIRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(40) DAC: Design Automation ConfRefs: UCLA(1) NTU(1) TSINGHUA(1) NUS(1)(41) KDD: Knowledge Discovery and Data MiningRefs: UCLA(1) NTU(1) TSINGHUA(1) NUS(1)(42) SOSP: ACM SIGOPS Symp on OS PrinciplesRefs: UCLA(1) NTU(1) TSINGHUA(1) NUS(1)(43) ICALP: International Colloquium on Automata, Languages and ProgrammingRefs: UCLA(2) CCF(2) NTU(2) SJTU(1) TSINGHUA(2) NUS(2)(44) IPDPS: Intl Parallel and Dist Processing SympRefs: UCLA(2) CCF(2) NTU(2) SJTU(1) TSINGHUA(3) NUS(2)(45) AAMAS: Intl Conf on Autonomous Agents and Multi-Agent SystemsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(3) NUS(1)(46) CAV: Computer Aided VerificationRefs: UCLA(1) CCF(3) NTU(1) TSINGHUA(2) NUS(1)(47) FM/FME: Formal Methods, World Congress/EuropeRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(3) NUS(1)(48) I3DG: ACM-SIGRAPH Interactive 3D GraphicsRefs: UCLA(1) CCF(3) NTU(1) TSINGHUA(2) NUS(1)(49) ICDT: Intl Conf on Database TheoryRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(50) ICFP: Intl Conf on Function ProgrammingRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(51) ICNP: Intl Conf on Network ProtocolsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(52) JICSLP/ICLP/ILPS: Joint Intl Conf/Symp on Logic ProgRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(53) KR: International Conference on Principles of Knowledge Representation and Reasoning Refs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(54) PACT: International Conference on Parallel Architectures and Compilation Techniques Refs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(55) RTSS: IEEE Real-Time Systems SymposiumRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(56) SPAA: ACM Symp on Parallel Algorithms and ArchitecturesRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(57) DCC: Data Compression ConfRefs: UCLA(1) NTU(1) TSINGHUA(3) NUS(1)(58) ICCAD: Intl Conf on Computer-Aided DesignRefs: UCLA(1) NTU(1) TSINGHUA(2) NUS(1)(59) ISSAC: Intl Symp on Symbolic and Algebraic ComputationRefs: UCLA(1) NTU(1) TSINGHUA(3) NUS(1)(60) PODC: ACM Symp on Principles of Distributed ComputingRefs: UCLA(1) NTU(1) TSINGHUA(2) NUS(1)(61) SCG: ACM Symp on Computational GeometryRefs: UCLA(1) CCF(2) NTU(1) NUS(1)(62) PECCS: IFIP Intl Conf on Perf Eval of Comp & Comm SysRefs: UCLA(1) NTU(1) NUS(1)(63) SOSDI: Usenix Symp on OS Design and ImplementationRefs: UCLA(1) NTU(1) NUS(1)(64) CIKM: Intl Conf on Information and Knowledge ManagementRefs: UCLA(2) CCF(2) NTU(1) TSINGHUA(2) NUS(2)(65) RECOMB: Annual Intl Conf on Comp Molecular BiologyRefs: UCLA(2) NTU(1) TSINGHUA(2) NUS(1)(66) RTAS: IEEE Real-Time and Embedded Technology and Applications SymposiumRefs: CCF(3) NTU(1) TSINGHUA(2) NUS(1)(67) ISMB: International Conference on Intelligent Systems for Molecular BiologyRefs: NTU(1) TSINGHUA(2) NUS(1)(68) OSDI: Symposium on Operation systems design and implementationRefs: SJTU(1) TSINGHUA(1)(69) SIGKDD: ACM Conf on Knowledge Discovery and Data MiningRefs: CCF(1) SJTU(1)(70) EUROCRYPT: European Conf on CryptographyRefs: UCLA(1) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(71) MOBIHOC: ACM International Symposium on Mobile Ad Hoc Networking and Computing Refs: UCLA(1) CCF(2) TSINGHUA(2)(72) FAST: Conference on File and Storage TechnologiesRefs: CCF(2) TSINGHUA(1)(73) NSDI: Symposium on Network System Design and Implementation Refs: CCF(2) TSINGHUA(1)(74) SC: IEEE/ACM Conference on SupercomputingRefs: SJTU(1) TSINGHUA(2)(75) USENIX Symp on Internet Tech and SysRefs: UCLA(2) NTU(1)(76) MassPar: Symp on Frontiers of Massively Parallel ProcRefs: UCLA(1)(77) OPENARCH: IEEE Conf on Open Arch and Network ProgRefs: UCLA(1)(78) SIGCHI: ACM SIG CHIRefs: CCF(1)(79) Ubicomp: International Conference on Ubiquitous Computing Refs: TSINGHUA(1)Rank #2(80) COLING: International Conference on Computational LinguisticsRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(81) CONCUR: International Conference on Concurrency TheoryRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(82) ECCV: European Conference on Computer VisionRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(83) USENIX Security: USENIX Security SymposiumRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(84) ALT: International Conference on Algorithmic Learning TheoryRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(85) ASE: International Conference on Automated Software EngineeringRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(86) ASIACRYPT: Annual International Conference on the Theory and Application of Cryptology and Information SecurityRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(87) CC: International Conference on Compiler ConstructionRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(88) DATE: IEEE/ACM Design, Automation & Test in Europe ConferenceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(89) ECAI: European Conference on Artificial IntelligenceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(90) ECML: European Conference on Machine LearningRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(91) EDBT: International Conference on Extending DB TechnologyRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(92) EMNLP: Conference on Empirical Methods in Natural Language ProcessingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(93) ER: Intl Conf on Conceptual ModelingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(94) ESOP: European Symposium on ProgrammingRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(2) NUS(2)(95) Euro-Par: European Conference on Parallel ProcessingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(96) FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer ScienceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(97) ICPP: Intl Conf on Parallel ProcessingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(98) ICSR: IEEE Intl Conf on Software ReuseRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(99) MFCS: Mathematical Foundations of Computer ScienceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(100) PEPM: ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming ManipulationRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(101) RTA: International Conference on Rewriting Techniques and ApplicationsRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(102) SAS: International Static Analysis SymposiumRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(103) STACS: Symp on Theoretical Aspects of Computer ScienceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(104) TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of SystemsRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(105) CP: Intl Conf on Principles & Practice of Constraint ProgRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(106) CSFW: IEEE Computer Security Foundations WorkshopRefs: CCF(2) NTU(2) TSINGHUA(2) NUS(2)(107) CSSAC: Cognitive Science Society Annual ConferenceRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(108) ECOOP: European Conference on Object-Oriented ProgrammingRefs: CCF(2) NTU(2) TSINGHUA(2) NUS(2)(109) IEEEIT: IEEE Symposium on Information TheoryRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(110) ISRE: Requirements EngineeringRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(111) PG: Pacific GraphicsRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(112) CGI: Computer Graphics InternationalRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(113) FCCM: IEEE Symposium on Field Programmable Custom Computing MachinesRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(114) FoSSaCS: International Conference on Foundations of Software Science and Computation StructuresRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(115) ICC: IEEE International Conference on CommunicationsRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(4) NUS(2)(116) ICDM: IEEE International Conference on Data MiningRefs: UCLA(3) CCF(2) NTU(2) TSINGHUA(2) NUS(3)(117) ICME: IEEE International Conference on Multimedia & ExpoRefs: UCLA(3) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(118) ICPR: Intl Conf on Pattern RecognitionRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(4) NUS(2)(119) ICS: Intl Conf on SupercomputingRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(120) LCN: IEEE Annual Conference on Local Computer NetworksRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(4) NUS(2)(121) NDSS: Network and Distributed System Security SymposiumRefs: UCLA(2) CCF(2) NTU(4) TSINGHUA(2) NUS(4)(122) NOSSDAV: Network and Operating System Support for Digital Audio and Video Refs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(123) CADE: Conference on Automated DeductionRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(124) CAiSE: Intl Conf on Advanced Info System EngineeringRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(125) CoNLL: Conference on Natural Language LearningRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(126) CoopIS: Conference on Cooperative Information SystemsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(127) DAS: International Workshop on Document Analysis SystemsRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(128) DASFAA: Database Systems for Advanced ApplicationsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(129) DEXA: Database and Expert System ApplicationsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(130) EACL: Annual Meeting of European Association Computational Linguistics Refs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(131) ESA: European Symp on AlgorithmsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(132) ICCL: IEEE Intl Conf on Computer LanguagesRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(133) ICDAR: International Conference on Document Analysis and Recognition Refs: UCLA(2) CCF(3) NTU(2) NUS(2)(134) ICECCS: IEEE Intl Conf on Eng. of Complex Computer SystemsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(135) ICIP: Intl Conf on Image ProcessingRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(136) ICSM: Intl Conf on Software MaintenanceRefs: CCF(2) NTU(2) TSINGHUA(4) NUS(2)(137) ICTAI: IEEE International Conference on Tools with Artificial IntelligenceRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(138) IJCNN: Intl Joint Conference on Neural NetworksRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(139) IPCO: MPS Conf on integer programming & comb optimizationRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(140) ISAAC: Intl Symp on Algorithms and ComputationRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(141) JCDL: ACM/IEEE Joint Conference on Digital LibrariesRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(142) MASCOTS: Modeling, Analysis, and Simulation On Computer and Telecommunication SystemsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(143) NAACL: The Annual Conference of the North American Chapter of the Association for Computational LinguisticsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(144) PADL: Practical Aspects of Declarative LanguagesRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(145) SEKE: International Conference on Software Engineering and Knowledge Engineering Refs: UCLA(2) CCF(3) NTU(2) NUS(2)(146) SRDS: Symp on Reliable Distributed SystemsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(147) SSDBM: Intl Conf on Scientific and Statistical DB MgmtRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(148) VLSI: IEEE Symp VLSI CircuitsRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(149) WACV: IEEE Workshop on Apps of Computer VisionRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(150) WCNC: IEEE Wireless Communications & Networking ConferenceRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(151) AI-ED: World Conference on AI in EducationRefs: UCLA(2) NTU(2) NUS(2)(152) AID: Intl Conf on AI in DesignRefs: UCLA(2) NTU(2) NUS(2)(153) AMAI: Artificial Intelligence and MathsRefs: UCLA(2) NTU(2) NUS(2)(154) AMIA: American Medical Informatics Annual Fall Symposium Refs: UCLA(2) NTU(2) NUS(2)(155) ASAP: Intl Conf on Apps for Specific Array Processors Refs: UCLA(2) NTU(2) NUS(2)(156) ASS: IEEE Annual Simulation SymposiumRefs: UCLA(2) NTU(2) NUS(2)(157) CAIP: Inttl Conf on Comp. Analysis of Images and Patterns Refs: UCLA(2) NTU(2) NUS(2)(158) CANIM: Computer AnimationRefs: UCLA(2) NTU(2) NUS(2)(159) CC: IEEE Symp on Computational ComplexityRefs: UCLA(2) NTU(2) NUS(2)(160) CCC: Cluster Computing ConferenceRefs: UCLA(2) NTU(2) NUS(2)(161) DNA: Meeting on DNA Based ComputersRefs: UCLA(2) NTU(2) NUS(2)(162) DOOD: Deductive and Object-Oriented DatabasesRefs: UCLA(2) NTU(2) NUS(2)(163) EUROCOLT: European Conf on Learning TheoryRefs: UCLA(2) NTU(2) NUS(2)(164) EUROGRAPH: European Graphics ConferenceRefs: UCLA(2) NTU(2) NUS(2)(165) FODO: Intl Conf on Foundation on Data OrganizationRefs: UCLA(2) NTU(2) NUS(2)(166) HCS: Hot Chips SympRefs: UCLA(2) NTU(2) NUS(2)(167) IAAI: Innovative Applications in AIRefs: UCLA(2) NTU(2) NUS(2)(168) IEEE Intl Conf on Formal Engineering MethodsRefs: UCLA(2) NTU(2) NUS(2)(169) IPCCC: IEEE Intl Phoenix Conf on Comp & Communications Refs: UCLA(2) NTU(2) NUS(2)(170) IPTPS: Annual International Workshop on Peer-To-Peer Systems Refs: UCLA(2) CCF(2) TSINGHUA(2)(171) ISTCS: Israel Symp on Theory of Computing and Systems Refs: UCLA(2) NTU(2) NUS(2)(172) Intl Conf on Integrated Formal MethodsRefs: UCLA(2) NTU(2) NUS(2)(173) LATIN: Intl Symp on Latin American Theoretical Informatics Refs: UCLA(2) NTU(2) NUS(2)(174) LFCS: Logical Foundations of Computer ScienceRefs: UCLA(2) NTU(2) NUS(2)(175) MMCN: ACM/SPIE Multimedia Computing and Networking Refs: UCLA(2) NTU(2) NUS(2)(176) NetStore: Network Storage SymposiumRefs: UCLA(2) NTU(2) NUS(2)(177) PADS: ACM/IEEE/SCS Workshop on Parallel & Dist Simulation Refs: UCLA(2) NTU(2) NUS(2)(178) PT: Perf Tools - Intl Conf on Model Tech & Tools for CPE Refs: UCLA(2) NTU(2) NUS(2)(179) SSD: Intl Symp on Large Spatial DatabasesRefs: UCLA(2) NTU(2) NUS(2)(180) SUPER: ACM/IEEE Supercomputing ConferenceRefs: UCLA(2) NTU(2) NUS(2)(181) SWAT: Scandinavian Workshop on Algorithm TheoryRefs: UCLA(2) NTU(2) NUS(2)(182) SenSys: ACM Conference on Embedded Networked Sensor SystemsRefs: UCLA(2) CCF(2) TSINGHUA(2)(183) WADS: Workshop on Algorithms and Data StructuresRefs: UCLA(2) NTU(2) NUS(2)(184) WCW: Web Caching WorkshopRefs: UCLA(2) NTU(2) NUS(2)(185) WSC: Winter Simulation ConferenceRefs: UCLA(2) NTU(2) NUS(2)(186) DSN: The International Conference on Dependable Systems and NetworksRefs: UCLA(2) CCF(2) NTU(4) TSINGHUA(3) NUS(4)(187) CASES: International Conference on Compilers, Architecture, and Synthesis for Embedded SystemsRefs: CCF(3) NTU(2) TSINGHUA(3) NUS(2)(188) CODES+ISSS: Intl Conf on Hardware/Software Codesign & System SynthesisRefs: CCF(3) NTU(2) TSINGHUA(3) NUS(2)(189) ISSTA: International Symposium on Software Testing and AnalysisRefs: CCF(2) NTU(4) TSINGHUA(2) NUS(4)(190) WCRE: SIGSOFT Working Conf on Reverse EngineeringRefs: UCLA(3) NTU(3) TSINGHUA(4) NUS(2)(191) ACSAC: Annual Computer Security Applications ConferenceRefs: UCLA(2) CCF(2) TSINGHUA(3)(192) APLAS: Asian Symposium on Programming Languages and SystemsRefs: CCF(3) NTU(2) NUS(2)(193) CSCW: Conference on Computer Supported Cooperative WorkRefs: NTU(2) TSINGHUA(3) NUS(2)(194) ESEC: European Software Engineering ConfRefs: UCLA(2) CCF(2) TSINGHUA(3)(195) ESORICS: European Symposium on Research in Computer Security Refs: UCLA(2) CCF(2) TSINGHUA(3)(196) FPL: Field-Programmable Logic and ApplicationsRefs: CCF(3) NTU(2) NUS(2)(197) Fast Software EncryptionRefs: UCLA(3) NTU(2) NUS(2)(198) GECCO: Genetic and Evolutionary Computation ConferenceRefs: CCF(3) NTU(2) NUS(2)(199) HASKELL: Haskell WorkshopRefs: UCLA(4) NTU(2) NUS(2)(200) IC3N: Intl Conf on Comp Comm and NetworksRefs: UCLA(3) NTU(2) NUS(2)(201) IEEE VisualizationRefs: NTU(2) TSINGHUA(3) NUS(2)(202) IMC: Internet Measurement Conference/WorkshopRefs: UCLA(3) CCF(2) TSINGHUA(2)(203) IWSSD: International Workshop on Software Specifications & Design Refs: UCLA(2) CCF(3) NTU(2)(204) PPDP: Principles and Practice of Declarative ProgrammingRefs: NTU(4) TSINGHUA(4) NUS(2)(205) RAID: International Symposium on Recent Advances in Intrusion Detection Refs: UCLA(2) CCF(2) TSINGHUA(4)(206) WABI: Workshop on Algorithms in BioinformaticsRefs: NTU(2) TSINGHUA(3) NUS(2)(207) DSIC: Intl Symp om Distributed ComputingRefs: NTU(2) NUS(2)(208) DocEng: ACM Symposium on Document EngineeringRefs: NTU(2) NUS(2)(209) EUROSYS: EUROSYSRefs: CCF(2) TSINGHUA(2)(210) European Symposium on Research in Computer SecurityRefs: NTU(2) NUS(2)(211) HPDC: IEEE International Symposium on High Performance Distributed Computing Refs: CCF(2) TSINGHUA(2)(212) IEEE/WIC: International Joint Conf on Web Intelligence and Intelligent Agent Technology Refs: NTU(2) NUS(2)(213) ISSCC: IEEE Intl Solid-State Circuits ConfRefs: UCLA(2) NTU(2)(214) MOBISYS: International Conference on Mobile Systems, Applications, and Services Refs: UCLA(2) TSINGHUA(2)(215) MPC: Mathematics of Program ConstructionRefs: NTU(2) NUS(2)(216) MPPOI: Massively Par Proc Using Opt InterconnsRefs: UCLA(2) NTU(2)(217) SCA: ACM/Eurographics Symposium on Computer AnimationRefs: CCF(2) TSINGHUA(2)(218) SSR: ACM SIGSOFT Working Conf on Software ReusabilityRefs: UCLA(2) NTU(2)(219) UIST: ACM Symposium on User Interface Software and TechnologyRefs: CCF(2) TSINGHUA(2)(220) CSL: Annual Conf on Computer Science LogicRefs: UCLA(3) CCF(2) NTU(3) TSINGHUA(4) NUS(3)(221) IH: Workshop on Information HidingRefs: UCLA(3) CCF(2) NTU(3) TSINGHUA(3) NUS(3)(222) COMPSAC: International Computer Software and Applications ConferenceRefs: UCLA(3) CCF(2) NTU(3) NUS(3)(223) FCT: International Symposium Fundamentals of Computation TheoryRefs: UCLA(3) CCF(2) NTU(3) NUS(3)(224) ICCB: International Conference on Case-Based ReasoningRefs: UCLA(3) CCF(2) NTU(3) NUS(3)(225) ICRA: IEEE Intl Conf on Robotics and AutomationRefs: UCLA(4) CCF(2) NTU(3) NUS(4)(226) ILP: International Workshop on Inductive Logic ProgrammingRefs: CCF(2) NTU(4) TSINGHUA(4) NUS(4)(227) PKDD: European Conference on Principles and Practice of Knowledge Discovery in DatabasesRefs: CCF(2) NTU(3) TSINGHUA(3) NUS(4)(228) EC: ACM Conference on Electronic CommerceRefs: NTU(4) TSINGHUA(2) NUS(4)(229) IJCAR: International Joint Conference on Automated ReasoningRefs: CCF(2) NTU(4) NUS(4)(230) IPSN: International Conference on Information Processing in Sensor NetworksRefs: UCLA(2) CCF(3) TSINGHUA(3)(231) ITC: IEEE Intl Test ConfRefs: UCLA(2) NTU(4) NUS(4)(232) MiddlewareRefs: NTU(4) TSINGHUA(2) NUS(4)(233) PPSN: Parallel Problem Solving from NatureRefs: NTU(4) CORE(2) NUS(4)(234) TLCA: Typed Lambda Calculus and ApplicationsRefs: CCF(2) NTU(4) NUS(4)(235) CCC: IEEE Conference on Computational ComplexityRefs: CCF(2) TSINGHUA(4)(236) CEC: IEEE Congress on Evolutionary ComputationRefs: CCF(3) CORE(2)(237) CLUSTER: Cluster ComputingRefs: CCF(2) TSINGHUA(3)(238) CoNEXT: ACM International Conference on emerging Networking EXperiments and TechnologiesRefs: CCF(2) TSINGHUA(4)(239) ECDL: European Conference on Digital LibrariesRefs: NTU(4) NUS(2)(240) EGSR: Eurographics Symposium on RenderingRefs: CCF(2) TSINGHUA(4)(241) EuroGraphics: EuroGraphics Symposium on geometry processingRefs: CCF(2) TSINGHUA(3)(242) FPGA: International Symposium on Field-Programmable Gate ArraysRefs: CCF(2) TSINGHUA(3)(243) GCSE: International Conference on Generative and Component-Based Software Engineering Refs: NTU(4) NUS(2)(244) ICAPS: International Conference on Automated Planning and SchedulingRefs: CCF(2) TSINGHUA(3)(245) ISSS: International Symposium on System SynthesisRefs: UCLA(2) TSINGHUA(3)(246) IWQoS: International Workshop on Quality of ServiceRefs: CCF(2) TSINGHUA(3)(247) Networking: International Conferences on NetworkingRefs: CCF(2) TSINGHUA(4)(248) PKC: International Workshop on Practice and Theory in Public Key CryptographyRefs: CCF(2) TSINGHUA(4)(249) Percom: International Conference on Pervasive Computing and CommunicationsRefs: CCF(2) TSINGHUA(3)(250) SDM: SIAM International Conference on Data MiningRefs: CCF(2) TSINGHUA(3)(251) SPM: ACM Solid and Physical Modeling SymposiumRefs: CCF(2) TSINGHUA(4)(252) TCC: Theory of Cryptography ConferenceRefs: CCF(2) TSINGHUA(3)(253) ACM SIGARCHRefs: CCF(2)(254) AOSD: Aspect-Oriented Software DevelopmentRefs: TSINGHUA(2)(255) CHI: Computer Human InteractionRefs: TSINGHUA(2)(256) ECRTS: Euromicro Conference on Real-Time SystemsRefs: CORE(2)(257) EuroVis: Eurographics/IEEE-VGTC Symposium on VisualizationRefs: CCF(2)(258) GP: Genetic Programming ConferenceRefs: UCLA(2)(259) HOT CHIPS: A Symposium on High Performance ChipsRefs: CCF(2)(260) ICCD: International Conference on Computer DesignRefs: CCF(2)(261) ICMI: International Conference on Multimodal InterfaceRefs: CCF(2)(262) ICWE: International Conference on Web EngineeringRefs: NUS(2)(263) ISWC: International Semantic Web ConferenceRefs: TSINGHUA(2)(264) IWCASE: Intl Workshop on Computer-Aided Software EngRefs: UCLA(2)(265) LCTES: Conference on Language, Compiler and Tool Support for Embedded Systems Refs: CCF(2)(266) MFPS: Mathematical Foundations of Programming SemanticsRefs: CCF(2)(267) MSST: Mass Storage Systems and TechnologiesRefs: CCF(2)(268) MoDELS: International Conference on Model Driven Engineering Languages and Systems Refs: CCF(2)(269) SGP: Eurographics Symposium on Geometry ProcessingRefs: CCF(2)(270) TCS: IFIP International Conference on Theoretical Computer ScienceRefs: CCF(2)(271) WDAG: Workshop on Distributed AlgorithmsRefs: UCLA(2)Rank #3(272) ECIR: European Conference on Information RetrievalRefs: UCLA(3) CCF(3) NTU(3) TSINGHUA(3) NUS(3)(273) MDM: Intl Conf on Mobile Data Access/ManagementRefs: UCLA(3) CCF(3) NTU(3) TSINGHUA(3) NUS(3)(274) ACCV: Asian Conference on Computer VisionRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(275) APSEC: Asia-Pacific Software Engineering ConferenceRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(276) Globecom: IEEE Global Communications Conference, incorporating the Global Internet SymposiumRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(277) ICANN: International Conf on Artificial Neural NetworksRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(278) ICONIP: Intl Conf on Neural Information ProcessingRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(279) ICPADS: Intl Conf on Parallel and Distributed SystemsRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(280) LOPSTR: International Symposium on Logic-based Program Synthesis and Transformation Refs: UCLA(3) CCF(3) NTU(3) NUS(3)(281) NOMS: IEEE Network Operations and Management SympRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(282) PAKDD: Pacific-Asia Conf on Know. Discovery & Data MiningRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(283) PRICAI: Pacific Rim Intl Conf on AIRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(284) SAC: ACM/SIGAPP Symposium on Applied ComputingRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(285) FASE: Fundamental Approaches to Software EngineeringRefs: UCLA(3) NTU(3) TSINGHUA(4) NUS(3)。
乔姆斯基的语言学三大观点乔姆斯基的语言学观点：语言能力是说某种语言的人对这种语言的内在认识，而语言运用则是它具体使用语言的行动；语言能力和语言运用并不是符合的，语言运用并非语言能力的直接反映。
一、乔姆斯基的语言学观念乔姆斯基在研究语言中发现，有许多现象是结构主义语法和行为主义心理学所解释不了的。
例如，一个儿童一般在五六岁时就可以掌握母语；这个年龄的儿童的智力还很不发达，学习其他知识(如数学、物理)还相当困难，而学习语言却这样容易。
这种现象，用“白板说”或“刺激—反应”论都解释不通。
在这一点上，“刺激—反应”或“模仿—记忆”等观点也不能自圆其说。
不仅如此，儿童所知的有些东西，似乎不可能是教会的。
比如在He lost his pen和He lost his way中的his的区别，在He told her to leave the party和He promised her to leave the party中，由于两个谓语动词的不同，使to leave的施动者也改变了。
况且，儿童听到的话语并不都是标准的，相当一部分是不标准、不合乎语法的、被简化了的话语(如中国妈妈们说的“吃甜甜”“吃果果”)。
但儿童最后学到的是标准的语言。
这显然不是靠简单模仿得来的。
儿童在五六年之内所接触的话语毕竟是有限的，然而，儿童能说出的句子却是无限的。
二、乔姆斯基的转换生成语法理论转换生成语法理论，亦称“转换语法理论”、“生成语法理论”。
是指一种新结构主义语言学理论。
美国语言学家乔姆斯基20世纪50-60年代创立。
用符号化和演绎方法描写自然语言生成语法的理论体系。
主要内容有：语言基本上不是习得的，而是天赋的。
儿童天生具有一种加工语言符号的大脑内在机制，随着儿童的发展，这种内在机制在一定的条件下被激发，儿童即能自然获得语言。
语言是一种结构，设想人有一种天生的“语言获得装置”，称LAD。
深层结构，指短语或句中的基本语法关系和语义，决定句子的内涵与意义，属语法的基础部分和语言能力。
大学各专业名称英文翻译（一）——工学ENGINEERING课程中文名称课程英文名称高等数理方法Advanced Mathematical Method弹塑性力学Elastic-Plastic Mechanics板壳理论Theory of Plate and Shell高等工程力学Advanced Engineering Mechanics板壳非线性力学Nonlinear Mechanics of Plate and Shell复合材料结构力学Structural Mechanics of Composite Material弹性元件的理论及设计Theory and Design of Elastic Element非线性振动Nonlinear Vibration高等土力学Advanced Soil Mechanics分析力学Analytic Mechanics随机振动Random Vibration数值分析Numerical Analysis基础工程计算与分析Calculation and Analysis of Founda tion Engineering结构动力学Structural Dynamics实验力学Laboratory Mechanics损伤与断裂Damage and Fracture小波分析Wavelet Analysis有限元与边界元分析方法Analytical Method of Finite Element and Boundary Element最优化设计方法Optimal Design Method弹性力学Elastic Mechanics高层建筑基础Tall Building Foundation动力学Dynanics土的本构关系Soil Constitutive Relation数学建模Mathematical Modeling现代通信理论与技术Emerging Communications Theory and Technology数字信号处理Digital Signal Processing网络理论与多媒体技术Multi-media and Network Technology医用电子学Electronics for Medicine计算微电子学Computational Microelectronics集成电路材料和系统电子学Material and System Electronics for In tegrated Circuits网络集成与大型数据库Computer Network Integrating Technology and Large scale Database 现代数字系统Modern Digital System微机应用系统设计Microcomputer Application Design计算机网络新技术Modern Computer Network Technologies网络信息系统Network Information System图像传输与处理Image Transmission and Processing图像编码理论Theory of Image Coding遥感技术Remote Sensing Techniques虚拟仪器系统设计Design of Virtual Instrument System生物医学信号处理技术Signal Processing for Biology and Medicine光纤光学Fiber OpticsVLSI的EDA技术EDA Techniques for VLSI电子系统的ASIC技术ASIC Design TechnologiesVLSI技术与检测方法VLSI Techniques & Its Examination专题阅读或专题研究The Special Subject Study信息论Information Theory半导体物理学Semiconductor Physics通信原理Principle of Communication现代数理逻辑Modern Mathematical Logic算法分析与设计Analysis and Design of Algorithms高级计算机网络Advanced Computer Networks高级软件工程Advanced Software Engineering数字图像处理Digital Image Processing知识工程原理Principles of Knowledge Engineering面向对象程序设计Object-Oriented Programming形式语言与自动机Formal Languages and Automata人工智能程序设计Artificial Intelligence Programming软件质量与测试Software Quality and Testing大型数据库原理与高级开发技术Principles of Large-Scale Data-Bas e and Advanced Development Technology自然智能与人工智能Natural Intelligence and Artificial Intelligence Unix操作系统分析Analysis of Unix System计算机图形学Computer GraphicsInternet与Intranet技术Internet and Intranet Technology多媒体技术Multimedia Technology数据仓库技术与联机分析处理Data Warehouse and OLAP程序设计方法学Methodology of Programming计算机信息保密与安全Secrecy and Security of Computer Information电子商务Electronic Commerce分布式系统与分布式处理Distributed Systems and Distributed Processing并行处理与并行程序设计Parallel Processing and Parallel Programming模糊信息处理技术Fuzzy Information Processing Technology人工神经网络及应用Artificial Intelligence and Its Applications Unix编程环境Unix Programming Environment计算机视觉Computer Vision高级管理信息系统Advanced Management Information Systems信息系统综合集成理论及方法Theory and Methodology of Information n System Integration计算机科学研究新进展Advances in Computer Science离散数学Discrete Mathematics操作系统Operating System数据库原理Principles of Database编译原理Principles of Compiler程序设计语言Programming Language数据结构Data Structure计算机科学中的逻辑学Logic in Computer Science面向对象系统分析与设计Object-Oriented System Analysis and Design高等数值分析Advanced Numeric Analysis人工智能技术Artificial Intelligence Technology软计算理论及应用Theory and Application of Soft-Computing逻辑程序设计与专家系统Logic Programming and Expert Systems模式识别Pattern Recognition软件测试技术Software Testing Technology高级计算机网络与集成技术Advanced Computer Networks and Integration Technology 语音信号处理Speech Signal Processing系统分析与软件工具System Analysis and Software Tools计算机仿真Computer Simulation计算机控制Computer Control图像通信技术Image Communication Technology人工神经网络及应用Artificial Intelligence and Its Applications计算机技术研究新进展Advances in Computer Technology环境生物学Environmental Biology水环境生态学模型Models of Water Quality环境化学Environmental Chemistry环境生物技术Environmental Biotechnology水域生态学Aquatic Ecology环境工程Environmental Engineering环境科学研究方法Study Methodology of Environmental Science藻类生理生态学Ecological Physiology in Algae水生动物生理生态学Physiological Ecology of Aquatic Animal专业文献综述Review on Special Information废水处理与回用Sewage Disposal and Re-use生物医学材料学及实验Biomaterials and Experiments现代测试分析Modern Testing Technology and Methods生物材料结构与性能Structures and Properties of Biomaterials计算机基础Computer Basis医学信息学Medical Informatics计算机汇编语言Computer Assembly Language学科前沿讲座Lectures on Frontiers of the Discipline组织工程学Tissue Engineering生物医学工程概论Introduction to Biomedical Engineering高等生物化学Advanced Biochemistry光学与统计物理Optics and Statistical Physics图像分析Image Treatment数据处理分析与建模Data Analysis and Constituting Model高级数据库Advanced Database计算机网络Computer Network多媒体技术Technology of Multimedia软件工程Software Engineering药物化学Pharmaceutical Chemistry功能高分子Functional Polymer InternetIntranet程序设计方法学Methods of Programming InternetIntranet高分子化学与物理Polymeric Chemistry and Physics医学电子学Medical Electronics现代仪器分析Modern Instrumental Analysis仪器分析实验Instrumental Analysis Experiment食品添加剂Food Additives Technology高级食品化学Advanced Food Chemistry食品酶学Food Enzymology现代科学前沿选论Literature on Advances of Modern Science波谱学Spectroscopy波谱学实验Spectroscopic Experiment食品贮运与包装Food Packaging液晶化学Liquid Crystal Chemistry高等有机化学Advanced organic Chemistry功能性食品Function Foods食品营养与卫生学Food Nutrition and Hygiene食品生物技术Food Biotechnology食品研究与开发Food Research and Development有机合成化学Synthetic organic Chemistry食品分离技术Food Separation Technique精细化工装备Refinery Chemical Equipment食品包装原理Principle of Food Packaging表面活性剂化学及应用Chemistry and Application of Surfactant天然产物研究与开发Research and Development of Natural Products 食品工艺学Food Technology生物化学Biochemistry食品分析Food Analysis食品机械与设备Food Machinery and Equipment。
“目的论”与“信达雅”-最新资料“目的论”与“信达雅”一、引言20世纪70年代西方出现德国功能派翻译理论“目的论”(skopos theory)，把翻译放在行为理论和跨文化交际理论的框架中，摆脱了等值翻译或对等翻译的束缚，强调译者的目标、翻译的目的以及译文对读者的影响，打破了以前文本中心论的翻译研究传统，使译者更多地关注译文和译文读者、译文的社会效应和交际功能，拓宽了翻译理论研究的领域，赋予了翻译更多的含义。
中国“信达雅”翻译理论是我国启蒙思想家严复根据翻译实践，于1898年在《天演论?译例言》里提出的。
他认为：“译事三难，信、达、雅。
求其信，已大难矣顾信矣不达，虽译犹不译也，则达尚焉……。
”这三字标准简明扼要，层次分明，重点突出。
他认为“信”就是“译文意义不倍(背)原文”；“达”是不拘泥于原文形式，尽译文语言之能事以求原意明显，“为达，即所以为信也”，二者是统一的。
“信，达”做到以后还要讲究语言文字的文学艺术价值。
在严复看来，“信”、“达”、“雅”三者关系密切，缺一不可。
“达”是为了“信”，“雅”是为了“达”。
严复“信达雅”翻译思想对中国翻译界作出了巨大的贡献，并一直影响和指引着一代代人的翻译实践。
德国功能派的“目的论”和中国“信达雅”的翻译理论在翻译界有着举足轻重的地位，许多学者对此进行了不懈的研究，从译介、翻译标准以及应用等方面做了许多研究工作，但未涉及两者间的比较。
本文通过比较这两种在中西历史上具有代表意义的翻译理论，对比它们的相似性和相异性来讨论这两种翻译理论的特点，以期为促进翻译理论研究和指导翻译实践提供依据。
二、两者的翻译思想(一)德国功能派的“目的论”“目的论”是德国学者费米尔(Hans J.Vet-meer)于1978年在他发表的《普通翻译理论框架》一书中首次提出的。
目的论者根据行为学的理论指出，翻译是人类一种有目的的行为。
翻译遵循的首要法则是目的法则(skopos rule)：“翻译行为所要达到的目的决定整个翻译行为的过程。
Discrete Mathematics and Its Applications, 8th Edition:Teaching PlanDiscrete Mathematics and Its Applications by Kenneth H. Rosen is a popular textbook for undergraduate students studying computer science, mathematics, engineering, and related fields. This teaching plan outlines a semester-long course based on the eighth edition of the book. The course is designed to introduce students to the fundamental concepts of discrete mathematics and their applications in computer science and other areas.Course OverviewThe course is divided into two parts: Foundations and Applications. The Foundations portion of the course introduces students to the basics of logic, set theory, relations, functions, and graphs. The Applications portion of the course covers combinatorics, discrete probability, mathematical induction, recursion, and algorithmic thinking. Throughout the course, we will explore real-worldapplications of these concepts and their relevance to computer science.Learning ObjectivesBy the end of the course, students should be able to: •Apply logic and set theory to solve problems in computer science.•Understand and analyze relations and functions, and use them to solve problems.•Represent and manipulate graphs and trees, and comprehend their use in modeling and solving problems.•Solve combinatorics problems and apply them to real-world scenarios.•Understand and apply mathematical induction to prove theorems.•Understand and apply the concept of recursion, including recursive algorithms.•Develop algorithmic thinking skills, including analyzing problem requirements and designing algorithms.TextbookDiscrete Mathematics and Its Applications, 8th Edition by Kenneth H. Rosen will serve as the primary text for the course. This textbook is a comprehensive and well-written introduction to discrete mathematics. It contns numerousexamples, problems, and mathematically rigorous proofs to support student learning.Course OutlinePart I: FoundationsChapter 1: The Foundations: Logic and ProofsThis chapter introduces students to the basics of mathematical language and logic. Topics include propositional logic, the different types of statements, and understanding proof techniques.Chapter 2: Basic Structures: Sets, Functions, Sequences, and SumsThis chapter is focused on set theory and its applications in computer science. Topics include set operations and properties, functions and their properties, sequences, and summations.Chapter 3: The Fundamentals: Algorithms, the Integers, and MatricesThis chapter covers the basics of algorithms, their classifications, performance analysis, and the use of recurrence relations. Also, students will be introduced tothe integers, divisibility and gcd, prime numbers, and matrices.Chapter 4: Induction and RecursionThis chapter explores mathematical induction, strong induction, and structural induction, as well as recursion and recursive algorithms.Chapter 5: CountingThis chapter introduces combinatorics, exploring permutations, combinations, and the binomial coefficients. Applications of these methods are presented in probability concepts.Chapter 6: Discrete ProbabilityThis chapter covers the fundamentals of probability theory and its applications in computer science. Topics include sample spaces and probability functions.Part II: ApplicationsChapter 7: Advanced Counting TechniquesThis chapter explores advanced counting techniques for solving combinatorial problems, including With Repetition and Generating Functions.Chapter 8: RelationsThe chapter introduces the concept of relations andpresents examples of relations, properties of relations, closure and matrix representation, and others.Chapter 9: GraphsThe chapter introduces the concept of graphs, including properties of graphs, graph colorings, Kruskal’s and Prim’s algorithms, network models, and the shortest path problem.Chapter 10: TreesThis chapter explores the concept of trees, spanning trees, rooted trees, binary trees, and traversal algorithms.Chapter 11: Boolean AlgebraThis chapter covers Boolean Algebra and Quine-McCluskey algorithms as common tools in digital circuitry synthesis.Chapter 12: Modeling ComputationThe final chapter covers models of computation andexplores the relationship between automata, formal languages, and complexity theory.AssessmentStudent understanding of course material will be evaluated through a combination of assignments, quizzes, mid-term and final examinations. Homework assignments will be given weekly or biweekly, and quizzes will be administered every two to three weeks. The final exam will be comprehensive and will cover all the topics of the course. Additionally, students will be expected to participate actively in class and online discussions.ConclusionDiscrete Mathematics and Its Applications is an essential course for students pursuing a degree in computer science, mathematics, or engineering. The course covers foundational topics in discrete mathematics in a comprehensive and engaging format, emphasizing real-world applications in computer science. It is hoped that this teaching plan will help students gn a deeper understanding and appreciation of this fascinating field.。
