నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి
1
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

సంవత్సరం:
2007
భాష:
english
ఫైల్:
PDF, 1.86 MB
0 / 5.0
english, 2007
3
Transactions on Computational Systems Biology VII

Transactions on Computational Systems Biology VII

సంవత్సరం:
2006
భాష:
english
ఫైల్:
PDF, 2.03 MB
0 / 0
english, 2006
4
Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

సంవత్సరం:
2007
భాష:
english
ఫైల్:
PDF, 1.97 MB
0 / 0
english, 2007
6
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

సంవత్సరం:
2007
భాష:
english
ఫైల్:
PDF, 1.92 MB
0 / 0
english, 2007
8
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

సంవత్సరం:
2017
భాష:
english
ఫైల్:
PDF, 22.98 MB
0 / 0
english, 2017