Formal verification of simulink/stateflow diagrams a deductive approach von Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

BTU01
FAB01
FAW01
FHA01
FHI01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
TUM01
UBY01
URL des Erstveröffentlichers

Lu Xinyuan ji qi "Bi song lou cang shu zhi" shi bu song kan ben yan jiu (2v.)

陸心源及其<皕宋樓藏書志>史部宋刊本研究 (2 v.)

von Lin, Shuling

Formal verification of Simulink/Stateflow diagrams a deductive approach von Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

Rong zi

蓉子

Hu pin qing

胡品清

Niulang Zhinü yan jiu

牛郎織女硏究

von Hong, Shuling

Zai di yu xin yi Taiwan min su xue yu dang dai min su xian xiang yan jiu

在地與新異 臺灣民俗學與當代民俗現象研究

von Hong, Shuling

Investigation on the role of CD26 in immune system and resolution of its 3D-structure von Yan, Shuling 1972-

Taiwan min jian wen xue nü xing shi jiao lun

臺灣民間文學女性視角論

von Hong, Shuling

Taiwan Kejia zu qun guan xi yan jiu Yi Pingdong Xian Neipu Xiang yu Wanluan Xiang wei li

臺灣客家族群關係研究 以屏東縣內埔鄉與萬巒鄉為例

Shen qi lie zhuan

神祇列傳

Wo, jiu shi pin pai shiA jiu bie jia zhuang shiB, chuang zao ni de du te mai dian, zuo zui bang de zi ji von Berndt, Jon Christoph 1969-

Advanced materials and processing 2010 proceedings of the 6th International Conference on ICAMP 2010, Yunnan, PR China, 19-23 July 2010

FAW01
FAW02
Volltext

Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings

Inhaltsverzeichnis

Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8 - 11, 2010 ; revised selected papers

Inhaltstext
Inhaltsverzeichnis

Theory and applications of models of computation 9th annual conference, TAMC 2012, Beijing, China, May 16 - 21, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference...

Inhaltstext
Inhaltsverzeichnis

Dipeptidyl aminopeptidases in health and disease

Inhaltsverzeichnis

Encyclopedia of biological chemistry

Inhaltsverzeichnis

Encyclopedia of biological chemistry

Inhaltsverzeichnis