Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 419; Issue none

Theoretical Computer Science

Volume 419; Issue none
1

Characterizations of one-way general quantum finite automata

Lvzhou Li, Daowen Qiu, Xiangfu Zou, Lvjun Li, Lihua Wu, Paulo Mateus
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 323 KB
english, 2012
2

Probabilistic model checking of biological systems with uncertain kinetic rates

Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 825 KB
english, 2012
4

Bio-PEPAd: A non-Markovian extension of Bio-PEPA

Giulio Caravagna, Jane Hillston
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 539 KB
english, 2012
5

Better short-seed quantum-proof extractors

Avraham Ben-Aroya, Amnon Ta-Shma
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 244 KB
english, 2012
6

Preface

G. Rozenberg
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 151 KB
english, 2012
7

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
2012
Файл:
PDF, 58 KB
2012