Theoretical Aspects of Computer Software, Martin Abadi; Takayasu Ito

Автор: Ivan Lanese; Eric Madelaine
Название: Formal Aspects of Component Software
ISBN: 3319153161 ISBN-13(EAN): 9783319153162
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions.

Автор: Dingzhu Du; Lian Li; En Zhu; Kun He
Название: Theoretical Computer Science
ISBN: 9811068925 ISBN-13(EAN): 9789811068928
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.

Автор: Josep Diaz; Ivan Lanese; Davide Sangiorgi
Название: Theoretical Computer Science
ISBN: 3662446014 ISBN-13(EAN): 9783662446010
Издательство: Springer
Рейтинг:
Цена: 10202.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.

Автор: Juliani Karhum?ki; Hermann Maurer; Grzegorz Rozenb
Название: Results and Trends in Theoretical Computer Science
ISBN: 3540581316 ISBN-13(EAN): 9783540581314
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The research papers contained in this volume reflect the broad spectrum of Professor Salomaa`s interests in theoretical computer science and mathematics. Particular attention is paid to automata theory, formal language theory, mathematical logic, computability and cryptography.

Автор: Sampaio
Название: Theoretical Aspects of Computing – ICTAC 2016
ISBN: 3319467492 ISBN-13(EAN): 9783319467498
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

Автор: Jos? Proen?a; Markus Lumpe
Название: Formal Aspects of Component Software
ISBN: 3319680331 ISBN-13(EAN): 9783319680330
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.

Автор: Rudrapatna K. Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540575294 ISBN-13(EAN): 9783540575290
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Mohammad Reza Mousavi; Ji?? Sgall
Название: Topics in Theoretical Computer Science
ISBN: 3319689525 ISBN-13(EAN): 9783319689524
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions.

Автор: Antonio Restivo; Simona Ronchi Della Rocca; Luca R
Название: Theoretical Computer Science
ISBN: 3540426728 ISBN-13(EAN): 9783540426721
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the proceedings of the 7th Italian Conference on Theoretical Computer Science, held in Italy in 2001. The 25 full papers and two invited papers include work on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility.

Автор: Wil Michiels; Emile Aarts; Jan Korst
Название: Theoretical Aspects of Local Search
ISBN: 3642071481 ISBN-13(EAN): 9783642071485
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Local search has been applied successfully to a diverse collection of optimization problems. It provides the reader with a coherent overview of the achievements obtained so far, and serves as a source of inspiration for the development of novel results in the challenging field of local search.

Автор: Dang Van Hung; Deepak Kapur
Название: Theoretical Aspects of Computing – ICTAC 2017
ISBN: 3319677284 ISBN-13(EAN): 9783319677286
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions.

Автор: Jos? Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Название: Formal Aspects of Component Software
ISBN: 3319076019 ISBN-13(EAN): 9783319076010
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.