Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
пошук статей
статті
Пожертвування:
16.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Журнали
Участь
Підтримати
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Відкрити LITERA Point
Volume 412; Issue 26
Main
Theoretical Computer Science
Volume 412; Issue 26
Theoretical Computer Science
Volume 412; Issue 26
1
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Aurélien Rizk
,
Grégory Batt
,
François Fages
,
Sylvain Soliman
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 622 KB
Ваші теги:
english, 2011
2
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
Radu Mateescu
,
Pedro T. Monteiro
,
Estelle Dumas
,
Hidde de Jong
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 594 KB
Ваші теги:
english, 2011
3
IDD-based model validation of biochemical networks
Martin Schwarick
,
Alexej Tovchigrechko
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 472 KB
Ваші теги:
english, 2011
4
An algorithmic framework for network reconstruction
Markus Durzinsky
,
Annegret Wagler
,
Robert Weismantel
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 451 KB
Ваші теги:
english, 2011
5
Editorial Board
Журнал:
Theoretical Computer Science
Рік:
2011
Файл:
PDF, 58 KB
Ваші теги:
2011
6
Parameter estimation for Boolean models of biological networks
Elena Dimitrova
,
Luis David García-Puente
,
Franziska Hinkelmann
,
Abdul S. Jarrah
,
Reinhard Laubenbacher
,
Brandilyn Stigler
,
Michael Stillman
,
Paola Vera-Licona
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 398 KB
Ваші теги:
english, 2011
7
Foundations of formal reconstruction of biochemical networks
Monika Heiner
,
Adelinde Uhrmacher
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 136 KB
Ваші теги:
english, 2011
8
Component-based construction of bio-pathway models: The parameter estimation problem
Geoffrey Koh
,
David Hsu
,
P.S. Thiagarajan
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 866 KB
Ваші теги:
english, 2011
9
Preface
G. Rozenberg
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 153 KB
Ваші теги:
english, 2011
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×