|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Z规格说明中初始状态存在性的证明显示文摘Z规格说明中的初始化定理的证明是对基于状态的规格说明的一个标准的检查.本文给出了一个证明初始化定理的过程,该过程可自动地构成证明的证据.作为实例,我们用该过程证明了两个初始化定理. | 缪淮扣 Toyn,I | 1995 | 软件学报1995，6，12： | 3 |
| 2 | The ultimobranchial gland and congenital thyroid abnormalities in man显示文摘 | Williams ED Toyn CE Harach HR | | 0，，02： | 1 |
| 3 | Synthesis and transition temperature of host materials for ferroelectric mixture 显示文摘 | Hird M Toyne K J Slaney A J | 1995 | J Mater Chem1995，5，： | 1 |
| 4 | The synthesis and transition temperatures of 4,4″-alkoxyalkyl-1,1′:4′ 1″-terphenyls with 2,3-or 2′,3′-difluoro substituents and of their biphenyl analogues显示文摘 | Gray G W Hird M Toyne K J | 1989 | J Chem soc Perking Trans1989，，： | 1 |
| 5 | Synthesis, TransitionTemperatures, and Optical Properties of Compounds with Simple Phenyl Units Linked by Double Bond, Triple Bond, Ester or Propiolate Linkages显示文摘 | Cross G J Seed A J Toyne K J | 2000 | J Mater Chem2000，10，7： | 1 |
| 6 | 显示文摘 | Hird M Toyne K J and Gray G W | 1994 | Liq Cryst1994，16，： | 1 |
| 7 | 显示文摘 | Hird M Toyne K J and Slaney A J | 1995 | J Mater Chem1995，5，： | 1 |
| 8 | 显示文摘 | Hird M Toyne K J | 1995 | Mater Chem1995，5，： | 1 |
| 9 | Synthesis, Mesomorphic Behavior and Optical Anisotropy of Some Novel Materials for Nematic Mixtures of High Birefringence显示文摘 | Hird M Toyne K J Goodby J W | 2004 | J Mater Chem2004，14，11： | 1 |
| 10 | Cross-coupling reactions in the synthesis of liquid-crystals显示文摘 | HIRD M GRAY G W TOYNE K J | 1991 | Mol Cryst Liq Cryst1991，206，： | 1 |
| 11 | The synthesis and transitionTemperatures of some ferroelectric host Materials based on 4-and4-( trans-4-alkylcyclohexy)-2,3-difluorobiphenyls显示文摘 | K J Toyne G W Gray | 1994 | Liq Cryst1994，16，： | 1 |
| 12 | Synthesis and Transition Temperatures of Host Materials for Ferroelectric Mixtures显示文摘 | K J Toyne A J Slaney | 1995 | J MaterChem1995，5，： | 1 |
| 13 | Cyclohexenyl Triflates and ArylboronicAcids in palladium-catalysed cross-couplings显示文摘 | K J Toyne | 1995 | Mater Chem1995，5，： | 1 |
| 14 | Synthesis, mesomorphioc behaviour and optical anisotropy of some novel materials for nematic mixtures of high birefringence 显示文摘 | Michael Hird Kenneth J Toyne Tohn W Goodby | 2004 | Journal of Materials Chemistry2004，14，11： | 1 |
| 15 | Synthesis,mesomorphic behaviour and optical anisotropy of some novel materials for nematic mixtures of high birefringence显示文摘 | Hird M Toyne K J Goodby J W | 2004 | Journal of Materials Chemistry2004，14，11： | 1 |
| 16 | DBF2,a cell cycle-regulated protein kinase,is physically and functionally associated with the CCR4 transcriptional regulatory complex显示文摘 | Liu HY Toyn JH Chiang YC Draper MP Johnston LH Denis CL | | 0，，17： | 1 |
| 17 | Some developments in the synthesis of liquid crystal materials显示文摘 | Gray G W Hird M Toyne K J | 1991 | Mol Cryst Liq Cryst1991，204，： | 1 |
| 18 | Some developments in the synthesis of liquid crystal materials 显示文摘 | Gray G W Hird M Toyne K J | 1991 | Mol Cryst Liq Cryst1991，204，： | 1 |
| 19 | Refactoring in Maintenance and Development of Z Specifications and Proofs显示文摘 | STEPNEY S POLACK F TOYN I | 2002 | Electronic Notes in Theoretical Computer Science2002，70，3： | 1 |
| 20 | Propionibactedum aches (aches) resistance and antibiotic use in patients attending Australian general practice 显示文摘 | Toyne H Webber C Collignon P | 2012 | Australas J Dermatol2012，53，2： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员