Описание: 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.
Описание: Constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. Thia book presents 40 revised full papers together with 5 invited papers that were reviewed and selected from 135 submissions.
Описание: 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.
Описание: This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS).
Описание: 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.
Описание: These conference proceedings cover topics such as algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.
Описание: 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.
Описание: 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;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
