计算机科学理论与基础知识
-
二维动画设计软件应用马?h桓暂缺简介...
-
参数化与精确计算Hans L. Bodlaender,Michael A. Langston 著This book constitutes the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC 2006, held in Zurich, Switzerland, in September 2006 in the context of the combined conference ALGO 2006.The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, parameterized complexity theory, relationships between parameterized complexity and traditional complexity, applications of parameterized and exact computation, implementation issues and high-performance computing.
-
计算机科学逻辑Julian Bradfield 著This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in Edinburgh, Scotland, UK, in September 2002.The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability, games, and fixpoints; complexity and proof complexity; ludics and linear logics, lambda-calculi; and resolution and proofs.
-
计算机科学中的图论概念Fedor V. Fomin 著This book constitutes the thoroughly refereed post-proceedings of the 32nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2006, held in Bergen, Norway in June 2006.The 30 revised full papers presented together with 1 invited paper were carefully selected from 91 submissions. The papers address all aspects of graph-theoretic concepts in computer science such as structural graph theory, sequential, parallel, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph-drawing and layout, diagram methods, and graph-theoretical applications in various fields.
-
建模与验证并行程序Franck Cassez 著Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
-
教师信息技术能力提升教程本书编委会暂缺简介...
-
大学生计算机应用基础情景教程罗清 主编本教材根据“以服务为宗旨,以就业为导向,以能力为本位”的指导思想,采用基于工作过程的课程开发模式,用真实的案例创设情景,将理论(应知)与实践(应会)有机地结合起来,让学生在学中做、在做中学,培养学生的创造能力和可持续发展能力。本教材可作为高职、高专、成人教育计算机公共基础课程的教材。本教材由罗清主编,段益群主审,何伟文、伍文运、黄劲锋、张阳、曹敏志任副主编。由于编者水平有限,教材中如有不足之处敬请大家批评指正。
-
计算机科学逻辑Zoltán Ésik 著This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006, held as the 15th Annual Conference of the EACSL in Szeged, Hungary in September 2006.The 37 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 132 submissions. All current aspects of logic in computer science are addressed, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification of security protocols, linear logic, higher-order logic, nonmonotonic reasoning, as well as logics and type systems for biology.
-
DNA计算 DNA computingAnne Condo 著The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.-proceedings(published in time for the respective conference)-post-proceedings(consisting of thoroughly revised final full papers)-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.)
-
下一代信息技术与系统Alon Halevy 著This book constitutes the refereed proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems, NGITS 2002, held in Caesarea, Israel, in June 2002.The 11 revised full papers presented were carefully reviewed and selected from 22 submissions. Among the issues addressed are e-business technology, XML documents, Web-based database queries, Web surfing privacy, mobile objects, ontologies, natural language modeling, prototypes and scenarios, and middleware.