|
|
 | | 期刊全称 | 25 YEARS OF MODEL CHECKING: HISTORY, ACHIEVEMENTS, PERSPECTIVES; ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS; ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS; ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS; ACCESSING MULTILINGUAL INFORMATION REPOSITORIES; ACTIVE CONCEPTUAL MODELING OF LEARNING; ACTIVE MINING; ACTIVE NETWORKS; ACTIVE NETWORKS, PROCEEDINGS; ACTIVE, REAL-TIME, AND TEMPORAL DATABASE SYSTEMS, PROCEEDINGS; ADA : MOVING TOWARDS 2000; ADA : THE CHOICE FOR 92; ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II; ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT 1; ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT 2; ADAPTIVE HYPERMEDIA AND ADAPOTIVE WEB-BASED SYSTEMS, PROCEEDINGS; ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS; ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, PROCEEDINGS; ADAPTIVE MULTIMEDIA RETRIEVAL; ADAPTIVE MULTIMEDIA RETRIEVAL: USER, CONTEXT, AND FEEDBACK; ADAPTIVE MULTIMEDIAL RETRIEVAL: RETRIEVAL, USER, AND SEMANTICS; AD-HOC, MOBILE AND WIRELESS NETWORKS, PROCEEDINGS; AD-HOC, MOBILE, AND WIRELESS NETWORKS, PROCEEDINGS; ADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS; ADVANCED CONCEPTUAL MODELING TECHNIQUES; ADVANCED DATABASE SYSTEMS; ADVANCED DISTRIBUTED SYSTEMS; ADVANCED DISTRUBUTED SYSTEMS; ADVANCED ENCRYPTION STANDARD - AES; ADVANCED ENVIRONMENTS, TOOLS, AND APPLICATIONS FOR CLUSTER COMPUTING; ADVANCED FUNCTIONAL PROGRAMMING; ADVANCED INFORMATION SYSTEMS ENGINEERING; ADVANCED INFORMATION SYSTEMS ENGINEERING -; ADVANCED INFORMATION SYSTEMS ENGINEERING BLANK; ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS; ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS; ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES; ADVANCED INTERNET SERVICES AND APPPLICATIONS, PROCEEDINGS; ADVANCED LECTURES ON NETWORKING; ADVANCED MULTIMEDIA CONTENT PROCESSING; ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS; ADVANCED STUDIES IN BIOMETRICS; ADVANCED SYMBOLIC ANALYSIS FOR COMPLILERS; ADVANCED TOPICS IN EXCEPTION HANDLING TECHNIQUES; ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS; ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS; ADVANCED WEB TECHNOLOGIES AND APPLICATIONS; ADVANCES IN APPLIED ARTICIAL INTELLIGENCE, PROCEEDINGS; ADVANCES IN ARTIFICIAL INTELLIGENCE; ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS; ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA-SBIA 2006, PROCEEDINGS; ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS; ADVANCES IN ARTIFICIAL REALITY AND TELE-EXISTENCE, PROCEEDINGS; ADVANCES IN BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, PROCEEDINGS; ADVANCES IN BIOMETRIC PERSON AUTHENTICATION, PROCEEDINGS; ADVANCES IN BIOMETRICS, PROCEEDINGS; ADVANCES IN BLENDED LEARNING; ADVANCES IN BRAIN, VISION, AND ARTIFICIAL INTELLIGENCE, PROCEEDINGS; ADVANCES IN CASE-BASED REASONING, PROCEEDINGS; ADVANCES IN COMPUTATION AND INTELLIGENCE, PROCEEDINGS; ADVANCES IN COMPUTER GAMES; ADVANCES IN COMPUTER GRAPHICS, PROCEEDINGS; ADVANCES IN COMPUTER SCIENCE - ASIAN 2004, PROCEEDINGS; ADVANCES IN COMPUTER SCIENCE - ASIAN 2005, PROCEEDINGS; ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES; ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS; ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE; ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, PROCEEDINGS; ADVANCES IN COMPUTING AND INFORMATION - ICCI 90; ADVANCES IN COMPUTING SCIENCE - ASIAN 2003; ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS; ADVANCES IN COMPUTING SCIENCE-ASIAN 2002; ADVANCES IN COMPUTING SCIENCE-ASIAN- 98; ADVANCES IN CONCEPTUAL MODELING - CHALLENGES AND OPPORTUNITIES; ADVANCES IN CONCEPTUAL MODELING - FOUNDATIONS AND APPLICATIONS; ADVANCES IN CONCEPTUAL MODELING - THEORY AND PRACTICE, PROCEEDINGS; ADVANCES IN CROSS-LANGUAGE INFORMATION RETRIEVAL; ADVANCES IN CRYPTOLOGY - ASIACRYPT 2002, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - ASIACRYPT 2003; ADVANCES IN CRYPTOLOGY - ASIACRYPT 2004, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - ASIACRYPT 2006; ADVANCES IN CRYPTOLOGY - ASIACRYPT 2007; ADVANCES IN CRYPTOLOGY - ASIACRYPT 2008; ADVANCES IN CRYPTOLOGY - ASIACRYPT -94; ADVANCES IN CRYPTOLOGY - ASIACRYPT-98; ADVANCES IN CRYPTOLOGY - ASIACRYPT-99, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - AUSCRYPT 90; ADVANCES IN CRYPTOLOGY - CRYPTO 2002, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - CRYPTO 2005, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - CRYPTO 2006, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - CRYPTO 2007, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - CRYPTO 2008, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - CRYPTO 88; ADVANCES IN CRYPTOLOGY - CRYPTO 89; ADVANCES IN CRYPTOLOGY - CRYPTO 90; ADVANCES IN CRYPTOLOGY - CRYPTO 91; ADVANCES IN CRYPTOLOGY - CRYPTO -95; ADVANCES IN CRYPTOLOGY - CRYPTO-97, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - CRYPTO-98; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2000; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2002, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2004, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2005,PROCEEDINGS; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2006, PROCEEDINGS; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2007; ADVANCES IN CRYPTOLOGY - EUROCRYPT 2008; ADVANCES IN CRYPTOLOGY - EUROCRYPT 91; ADVANCES IN CRYPTOLOGY - EUROCRYPT -96; ADVANCES IN CRYPTOLOGY - EUROCRYPT -98; ADVANCES IN CRYPTOLOGY - EUROCRYPT-99; ADVANCES IN CRYPTOLOGY ASIACRYPT 2000, PROCEEDINGS; ADVANCES IN CRYPTOLOGY ASIACRYPT 2005; ADVANCES IN CRYPTOLOGY-CRYPTO 2000, PROCEEDINGS; ADVANCES IN CRYPTOLOGY-CRYPTO 2003, PROCEEDINGS; ADVANCES IN CRYPTOLOGY-EUROCRYPT 2001, PROCEEDINGS; ADVANCES IN CRYPTOLOGY-EUROCRYPT 2003; ADVANCES IN DATA AND WEB MANAGEMENT, PROCEEDINGS; ADVANCES IN DATA MINING; ADVANCES IN DATABASE TECHNOLOGIES; ADVANCES IN DATABASE TECHNOLOGY - EDBT 2002; ADVANCES IN DATABASE TECHNOLOGY - EDBT 2004, PROCEEDINGS; ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006; ADVANCES IN DATABASE TECHNOLOGY - EDBT 90; ADVANCES IN DATABASE TECHNOLOGY - EDBT 92; ADVANCES IN DATABASE TECHNOLOGY - EDBT-98; ADVANCES IN DATABASES; ADVANCES IN DATABASES AND INFORMATION SYSTEMS; ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS; ADVANCES IN DATABASES: CONCEPTS, SYSTEMS AND APPLICATIONS; ADVANCES IN DATABSE TECHNOLOGY-EDBT 2000, PROCEEDINGS; ADVANCES IN DISTRIBUTED SYSTEMS; ADVANCES IN GEOMETRIC MODELING AND PROCESSING; ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS; ADVANCES IN GRID COMPUTING - EGC 2005; ADVANCES IN HYBRID INFORMATION TECHNOLOGY; ADVANCES IN IMAGE AND VIDEO TECHNOLOGY, PROCEEDINGS; ADVANCES IN INFORMATICS; ADVANCES IN INFORMATICS, PROCEEDINGS; ADVANCES IN INFORMATION AND COMPUTER SECURITY, PROCEEDINGS; ADVANCES IN INFORMATION REFTRIEVAL; ADVANCES IN INFORMATION RETRIEVAL; ADVANCES IN INFORMATION RETRIEVAL, PROCEEDINGS; ADVANCES IN INFORMATION SYSTEMS; ADVANCES IN INFORMATION SYSTEMS, PROCEEDINGS; ADVANCES IN INTELLIGENT COMPUTING - IPMU -94; ADVANCES IN INTELLIGENT COMPUTING, PT 1, PROCEEDINGS; ADVANCES IN INTELLIGENT COMPUTING, PT 2, PROCEEDINGS; ADVANCES IN INTELLIGENT DATA ANALYSIS; ADVANCES IN INTELLIGENT DATA ANALYSIS V; ADVANCES IN INTELLIGENT DATA ANALYSIS VI, PROCEEDINGS; ADVANCES IN INTELLIGENT DATA ANALYSIS VII, PROCEEDINGS; ADVANCES IN INTELLIGENT DATA ANALYSIS, PROCEEDINGS; ADVANCES IN KNOWLEDGE ACQUISITION AND MANAGEMENT; ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS; ADVANCES IN LEARNING SOFTWARE ORGANIZATIONS; ADVANCES IN LEARNING SOFTWARE ORGANIZATIONS, PROCEEDINGS; ADVANCES IN MACHINE VISION, IMAGE PROCESSING, AND PATTERN ANALYSIS; ADVANCES IN MULTILINGUAL AND MULTIMODAL INFORMATION RETRIEVAL; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2002, PROCEEDING; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2004, PT 1, PROCEEDINGS; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2004, PT 2, PROCEEDINGS; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2004, PT 3, PROCEEDINGS; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2005, PT 1; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2005, PT 2; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2006, PROCEEDINGS; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2007; ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2008, 9TH PACIFIC RIM CONFERENCE ON MULTIMEDIA; ADVANCES IN MULTIMEDIA INFORMATION SYSTEMS, PROCEEDINGS; ADVANCES IN MULTIMEDIA MODELING, PROCEEDINGS; ADVANCES IN MULTIMEDIA MODELING, PT 1; ADVANCES IN MULTIMEDIA MODELING, PT 2; ADVANCES IN MULTIMODAL INTERFACES - ICMI 2000, PROCEEDINGS; ADVANCES IN MUTLIMEDIA INFORMATION PROCESSING - PCM 2001, PROCEEDINGS; ADVANCES IN NATURAL COMPUTATION, PT 1; ADVANCES IN NATURAL COMPUTATION, PT 1, PROCEEDINGS; ADVANCES IN NATURAL COMPUTATION, PT 2; ADVANCES IN NATURAL COMPUTATION, PT 2, PROCEEDINGS; ADVANCES IN NATURAL COMPUTATION, PT 3, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2004, PT 1; ADVANCES IN NEURAL NETWORKS - ISNN 2004, PT 2; ADVANCES IN NEURAL NETWORKS - ISNN 2005, PT 1, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2005, PT 2, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2005, PT 3, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2006, PT 1; ADVANCES IN NEURAL NETWORKS - ISNN 2006, PT 2, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2006, PT 3, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2007, PT 1, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2007, PT 2, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2007, PT 3, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2008, PT 2, PROCEEDINGS; ADVANCES IN NEURAL NETWORKS - ISNN 2008, PT I, PROCEEDINGS; ADVANCES IN PATTERN RECOGNITION; ADVANCES IN PETRI NETS 1989; ADVANCES IN PETRI NETS 1990; ADVANCES IN PETRI NETS 1991; ADVANCES IN RULE INTERCHANGE AND APPLICATIONS, PROCEEDINGS; ADVANCES IN SMALLTALK; ADVANCES IN SOFTWARE ENGINEERING; ADVANCES IN SPATIAL AND TEMPORAL DATABASES, PROCEEDINGS; ADVANCES IN SPATIAL DATABASES; ADVANCES IN VISUAL COMPUTING, PROCEEDINGS; ADVANCES IN VISUAL COMPUTING, PROCEEDINGS, PT 2; ADVANCES IN VISUAL COMPUTING, PT 1; ADVANCES IN VISUAL COMPUTING, PT 2; ADVANCES IN VISUAL COMPUTING, PT I; ADVANCES IN VISUAL COMPUTING, PT I, PROCEEDINGS; ADVANCES IN VISUAL COMPUTING, PT II, PROCEEDINGS; ADVANCES IN VISUAL INFORMATION SYSTEMS; ADVANCES IN VISUAL INFORMATION SYSTEMS, PROCEEDINGS; ADVANCES IN WEB AND NETWORK TECHNOLOGIES, AND INFORMATION MANAGEMENT, PROCEEDINGS; ADVANCES IN WEB BASED LEARNING - ICWL 2006; ADVANCES IN WEB BASED LEARNING - ICWL 2007; ADVANCES IN WEB BASED LEARNING - ICWL 2008, PROCEEDINGS; ADVANCES IN WEB INTELLIGENCE, PROCEEDINGS; ADVANCES IN WEB MINING AND WEB USAGE ANALYSIS; ADVANCES IN WEB-AGE INFORMATION MANAGEMENT, PROCEEDINGS; ADVANCES IN WEB-AGE INFORMATION MANAGEMENT: PROCEEDINGS; ADVANCES IN WEB-BASED LEARNING - ICWL 2003, PROCEEDINGS; ADVANCES IN WEB-BASED LEARNING - ICWL 2004; ADVANCES IN WEB-BASED LEARNING - ICWL 2005; ADVANCES IN XML INFORMATION RETRIEVAL; ADVANCES IN XML INFORMATION RETRIEVAL AND EVALUATION; ADVANCS IN CRYPTOLOGY - CRYPTO 2004, PROCEEDINGS; AFFECT AND EMOTION IN HUMAN-COMPUTER INTERACTION: FROM THEORY TO APPLICATIONS; AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION, PROCEEDINGS; AFFECTIVE DIALOGUE SYSTEMS, PROCEEDINGS; AGENT COMMUNICATION; AGENT COMMUNICATION II; AGENT SYSTEMS, MOBILE AGENTS AND APPLICATIONS; AGENT-MEDIATED ELECTRONIC COMMERCE; AGENT-ORIENTED INFORMATION SYSTEMS; AGENT-ORIENTED INFORMATION SYSTEMS III; AGENT-ORIENTED SOFTWARE ENGINEERING III; AGENT-ORIENTED SOFTWARE ENGINEERING IV; AGENT-ORIENTED SOFTWARE ENGINEERING V; AGENT-ORIENTED SOFTWARE ENGINEERING VI; AGENT-ORIENTED SOFTWARE ENGINEERING VII; AGENT-ORIENTED SOFTWARE ENGINEERING VIII; AGENTS AND COMPUTATIONAL AUTONOMY: POTENTIAL, RISKS, AND SOLUTIONS; AGENTS AND PEER-TO-PEER COMPUTING; AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING, PROCEEDINGS; AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS; AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS; AI ASTERISK IA 2007: ARTIFICIAL INTELLIGENCE AND HUMAN-ORIENTED COMPUTING; ALEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS; ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS; ALGEBRA, MEANING, AND COMPUTATION; ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION; ALGEBRAIC AND LOGIC PROGRAMMING; ALGEBRAIC AND LOGIC PROGRAMMING -; ALGEBRAIC BIOLOGY, PROCEEDINGS; ALGEBRAIC CODING; ALGEBRAIC FRAMES FOR THE PERCEPTION-ACTION CYCLE, PROCEEDINGS; ALGEBRAIC INFORMATICS; ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY; ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS; ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS; ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS; ALGORITHM AND COMPUTATION, PROCEEDINGS; ALGORITHM ENGINEERING; ALGORITHM ENGINEERING AND EXPERIMENTATION; ALGORITHM ENGINEERING AND EXPERIMENTS; ALGORITHM THEORY - SWAT 2000; ALGORITHM THEORY - SWAT 2002; ALGORITHM THEORY - SWAT 2006, PROCEEDINGS; ALGORITHM THEORY - SWAT 2008; ALGORITHM THEORY - SWAT 92; ALGORITHM THEORY - SWAT-98; ALGORITHM THEORY- SWAT 2004; ALGORITHMIC APPLICATIONS IN MANAGEMENT, PROCEEDINGS; ALGORITHMIC ASPECTS IN INFORMATION AND MANAGEMENT, PROCEEDINGS; ALGORITHMIC ASPECTS OF WIRELESS SENSOR NETWORKS; ALGORITHMIC GAME THEORY, PROCEEDINGS; ALGORITHMIC METHODS FOR RAILWAY OPTIMIZATION; ALGORITHMIC NUMBER THEORY; ALGORITHMIC NUMBER THEORY, PRCEEDINGS; ALGORITHMIC NUMBER THEORY, PROCEEDINGS; ALGORITHMS; ALGORITHMS - ESA 2003, PROCEEDINGS; ALGORITHMS - ESA 2005; ALGORITHMS - ESA 2006, PROCEEDINGS; ALGORITHMS - ESA 2007, PROCEEDINGS; ALGORITHMS - ESA 2008; ALGORITHMS - ESA-99; ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS; ALGORITHMS AND COMPLEXITY; ALGORITHMS AND COMPLEXITY, PROCEEDINGS; ALGORITHMS AND COMPUTATION; ALGORITHMS AND COMPUTATION, PROCEEDINGS; ALGORITHMS AND COMPUTATIONS; ALGORITHMS AND DATA STRUCTURES; ALGORITHMS AND DATA STRUCTURES -; ALGORITHMS AND DATA STRUCTURES, PROCEEDINGS; ALGORITHMS AND MODELS FOR THE WEB-GRAPH; ALGORITHMS AND MODELS FOR THE WEB-GRAPH, PROCEEDINGS; ALGORITHMS AND MODELS FOR THE WEB-GRAPHS, PROCEEDINGS; ALGORITHMS ESA 2004, PROCEEDINGS; ALGORITHMS FOR MEMORY HIERARCHIES; ALGORITHMS IN BIOINFORMATICS, PROCEEDINGS; ALGORITHMS-ESA 2002, PROCEEDINGS; ALLGORITHMS IN BIONIFORMATICS, PROCEEDINGS; AMBIENT INTELLIGENCE FOR SCIENTIFIC DISCOVERY: FOUNDATIONS, THEORIES, AND SYSTEMS; AMBIENT INTELLIGENCE IN EVERDAY LIFE; AMBIENT INTELLIGENCE, PROCEEDINGS; AMBIENT NETWORKS; ANALYSIS AND MODELING OF FACES AND GESTURES, PROCEEDINGS; ANALYSIS AND MODELLING OF FACES AND GESTURES, PROCEEDINGS; ANALYSIS AND VISUALIZATION TOOLS FOR CONSTRAINT PROGRAMMING; ANALYTICAL AND STOCHASTIC MODELING TECHNIQUES AND APPLICATIONS, PROCEEDINGS; ANAPHORA: ANALYSIS, ALGORITHMS AND APPLICATIONS; ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS; ANT COLONY OPTIMIZATION AND SWARM INTELLIGENCE, PROCEEDINGS; APPLICATION AND THEORY OF PETRI NETS 1995; APPLICATION AND THEORY OF PETRI NETS 1997; APPLICATION AND THEORY OF PETRI NETS 1998; APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS; APPLICATION AND THEORY OF THE PETRI NETS 1992; APPLICATIONS AND THEORY OF PETRI NETS; APPLICATIONS AND THEORY OF PETRI NETS 2002; APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS; APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS; APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS; APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT; APPLICATIONS OF EVOLUTIONARY COMPUTING; APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS; APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE; APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS; APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES; APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES -; APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, PROCEEDINGS; APPLIED COMPUTING, PROCEEDINGS; APPLIED CRYPTOGRAPHY AND NETWORK SECURITY, PROCEEDINGS; APPLIED FORMAL METHODS - FM-TRENDS 98; APPLIED PARALLEL COMPUTING; APPLIED PARALLEL COMPUTING, PROCEEDINGS; APPLIED PARALLEL COMPUTING: STATE OF THE ART IN SCIENTIFIC COMPUTING; APPLIED SEMANTICS; APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M-E- COMMERCE, PROCEEDINGS; APPROXIMATION ALGORITHMS FOR COMBINATORIAL OPTIMIZATION, PROCEEDINGS; | | 期刊简称 | LECT NOTES COMPUT SC | | 影响因子 | JCR目前未收录, 影响因子官网 | | Pindex | 0.166 (容易), Pindex官网 | | ISSN | 0302-9743 | | 学科分类 | SCI-计算机科学及方法(COMPUTER SCIENCE, THEORY & METHODS) | | 出版语种 | English |
|
|
发表于 2002-5-12 18:44:25
