Описание: 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.
Описание: This volume contains the proceedings of an international conference which reflects the current research concerns of the theoretical computer science community. Topics discussed include algorithms, automata theory, functional programming, semantics, logic and structural complexity theory.
Автор: Gressling, Thorsten, Название: Data science in chemistry : ISBN: 3110629399 ISBN-13(EAN): 9783110629392 Издательство: Walter de Gruyter Рейтинг: Цена: 13008.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The ever-growing wealth of information has led to the emergence of a fourth paradigm of science. This new field of activity – data science – includes computer science, mathematics and a given specialist domain. This book focuses on chemistry, explaining how to use data science for deep insights and take chemical research and engineering to the next level. It covers modern aspects like Big Data, Artificial Intelligence and Quantum computing.
Автор: Takayasu Ito; Albert R. Meyer Название: Theoretical Aspects of Computer Software ISBN: 3540544151 ISBN-13(EAN): 9783540544159 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume gives the proceedings of TACS `91, which focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.
Автор: Naoki Kobayashi; Benjamin C. Pierce Название: Theoretical Aspects of Computer Software ISBN: 3540427368 ISBN-13(EAN): 9783540427360 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic.
Описание: 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.
Описание: 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.
Описание: The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.
Автор: Kesav V. Nori; C.E. Veni Madhavan Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540534873 ISBN-13(EAN): 9783540534877 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings of the Tenth Indian Conference on Foundations of Software Technology and Theoretical Computer Science include papers on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing and semantics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
