Описание: Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.
Описание: Career Award in Information and Communication Technology: Foundation Level accompanies the Cambridge International Examinations (CIE) syllabus for the Career Award in Information and Communication Technology at Foundation Level. It closely matches the content of the syllabus, and has been endorsed by CIE for use with its examination.
The author,an information technology specialist, writes in a lively, accessible style and uses a step-by-step approach to introduce students to the basic concepts and skills required.
Описание: This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
Автор: C. Pandu Rangan; V. Raman; R. Ramanujam Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540668365 ISBN-13(EAN): 9783540668367 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, this volume contains 31 papers. A variety of topics from the theory of computing are addressed, from algorithmics, discrete mathematics and logics.
Описание: The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms;
Описание: This volume contains the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, held in Madras, India in December 1994. Contributors emphasize algorithms and complexity in addition to more theoretical concepts.
Описание: The papers presented here provide an overview of the foundations of software technology and theoretical computer science. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting and error-correcting codes.
Описание: These conference papers are organized into topical sections in computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.
