Formalization and theoretical analysis of the local effect model /

Mã QR

Formalization and theoretical analysis of the local effect model /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Beuve, M.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Formalization Irradiation Theoretical analysis
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Medina, Raoul, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Kuznetsov, Sergei O., et al.
Được phát hành: (2020)

Formal Concept Analysis
Được phát hành: (2020)

An alpha-particle irradiator for radiobiological research and its implementation for bystander effect studies /

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

Analysis of the formal specification application for train control systems /
Bỡi: Jo, Hyun-Jeong.

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Formal Modeling and Analysis of Timed Systems
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Theoretical Modeling of Vibrational Spectra in the Liquid Phase. 1st ed. 2017
Bỡi: Thomas, Martin
Được phát hành: (2020)

A metalloporphyrin antioxidant alters cytokine responses after irradiation in a prostate tumor model /

Modeling of biomass productivity in tubular photobioreactors for microalgal cultures : Effects of dilution rate, tube diameter, and solar irradiance /

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Teaching Formal Methods
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Formal Grammar
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)

Theoretical numerical analysis : a functional analysis framework /
Bỡi: Atkinson, Kendall E.
Được phát hành: (2001)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Formal Correctness of Security Protocols
Bỡi: Bella, Giampaolo
Được phát hành: (2020)

Formal Grammar 2018
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)

Ultra-wideband Positioning Systems : Theoretical Limits, Ranging Algorithms, and Protocols
Bỡi: Sahinoglu, Zafer, et al.
Được phát hành: (2013)

Formal Grammar
Bỡi: Bernardi, Raffaella, et al.
Được phát hành: (2020)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi: Bjørner, Nikolaj, et al.
Được phát hành: (2015)

A collection of problems in illustration of the principles of theoretical mechanics
Bỡi: Walton, William
Được phát hành: (2012)

Theoretical framework in qualitative research : book review /
Bỡi: Mcilheran, Janine.

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Bỡi: Baixeries, Jaume, et al.
Được phát hành: (2015)

Radicals in 5-methylcytosine induced by ionizing radiation. Electron magnetic resonance for structural and mechanistic analyses /

Formal Methods Teaching
Bỡi: Dongol, Brijesh, et al.
Được phát hành: (2020)

Effect of radiation on the development of immature hippocampal neurons in vitro /

Effects of the AT1 receptor antagonist L-158,809 on microglia and neurogenesis after fractionated whole-brain irradiation /

Photooxidation and its effects on the carboxyl content of dissolved organic matter in two coastal rivers in the Southeastern United States /

Genistein can mitigate the effect of radiation on rat lung tissue /

Introduction to Formal Philosophy. 1st ed.
Bỡi: Hansson, Sven Ove, et al.
Được phát hành: (2020)

Gregory S. Ezra A Festschrift from Theoretical Chemistry Accounts
Bỡi: Keshavamurthy, Srihari, et al.
Được phát hành: (2015)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)