WorldCat Identities

Zhang, Guo-Qiang 1960-

Overview
Works: 189 works in 363 publications in 3 languages and 1,191 library holdings
Genres: Conference papers and proceedings  Academic theses  Dictionaries  Architectural drawings  Conversation and phrase books 
Roles: Author, Editor, Other, Contributor, Translator, Thesis advisor, htt
Classifications: QA76.7, 005.13
Publication Timeline
.
Most widely held works by Guo-Qiang Zhang
Logic of domains by Guo-Qiang Zhang( Book )

24 editions published between 1989 and 1991 in English and Italian and held by 285 WorldCat member libraries worldwide

Special kinds of open sets called stable neighborhoods are introduced and shown to determine stable functions in a similar sense to that in which Scott-open sets determine continuous functions. Properties and constructions of stable neighborhoods on various categories of dI-domains are investigated. Logical frameworks for Girard's coherent spaces and Berry's dI-domains are given in which assertions are interpreted as stable neighborhoods. Various soundness, completeness, and expressiveness results are provided."
Light-emitting diodes : materials, processes, devices and applications by Jinmin Li( )

12 editions published between 2018 and 2019 in English and held by 204 WorldCat member libraries worldwide

"Comprehensive in scope, this book covers the latest progresses of theories, technologies and applications of LEDs based on III-V semiconductor materials, such as basic material physics, key device issues (homoepitaxy and heteroepitaxy of the materials on different substrates, quantum efficiency and novel structures, and more), packaging, and system integration. The authors describe the latest developments of LEDs with spectra coverage from ultra-violet (UV) to the entire visible light wavelength. The major aspects of LEDs, such as material growth, chip structure, packaging, and reliability are covered, as well as emerging and novel applications beyond the general and conventional lightings. This book, written by leading authorities in the field, is indispensable reading for researchers and students working with semiconductors, optoelectronics, and optics. Addresses novel LED applications such as LEDs for healthcare and wellbeing, horticulture, and animal breeding; Editor and chapter authors are global leading experts from the scientific and industry communities, and their latest research findings and achievements are included; Foreword by Hiroshi Amano, one of the 2014 winners of the Nobel Prize in Physics for his work on light-emitting diodes."--Back cover
Domain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 by Guo-Qiang Zhang( )

10 editions published between 2003 and 2004 in English and held by 140 WorldCat member libraries worldwide

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area
Domains and processes : proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999 by Klaus Keimel( )

2 editions published in 2001 in English and held by 60 WorldCat member libraries worldwide

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science
Cheng yu su cha ci dian( Book )

6 editions published between 2004 and 2013 in Chinese and held by 20 WorldCat member libraries worldwide

Ben shu shou cheng yu(bao kuo shao liang chang yong de guan yong yu, Su yu)11213 tiao, Bao kuo zhu tiao he can jian tiao. Yi ban xuan yong cheng yu de ji ben biao xian xing shi wei zhu tiao, Yi cheng yu de qi ta biao xian xing shi wei can jian tiao
Feng jing yuan lin shi by Feng jing yuan lin gui hua she ji jiao liu hui( Book )

13 editions published between 2007 and 2013 in Chinese and held by 15 WorldCat member libraries worldwide

Yulin min jian xin yang = Yulin minjian xinyang by Guo-Qiang Zhang( Book )

3 editions published in 2012 in Chinese and held by 13 WorldCat member libraries worldwide

Ben shu shi zai can yu quan guo di 3 ci wen wu pu cha tian ye diao cha jie duan gong zuo de ji chu shang, zuo zhe yi xiang shi de zi liao, du dao de shi jiao, da liang de yi shou zi liao yi ji ke gui de ze ren xin, shi ming gan wei zhi chi, ji zai bing shu li liao ju you you jiu li shi de Yulin min jian xin yang. zai ji cheng jing hua, qu chu zao po de ji chu shang, pou xi Yulin min jian xin yang dui yu ren men xin li ying xiang de ke guan gui lü , tan jiu min jian xin yang dui ren men xing wei gui fan de qian zai fa ze, you li yu jie jue jin tian de dao de he fa lü wen ti, tong shi ye shi dang qian wen hua jian she zhong de yi xiang zhong yao ren wu. you jian yu ci, dui yu zhe zhong mu qian reng chu yu yuan sheng tai zhuang kuang de min jian xin yang, zuo zhe suo zuo de diao cha, shou ji, zheng li, fen xi ji yan jiu, wu yi shi fei chang you yi yi de
Parallel product of event structures by Ilaria Castellani( Book )

7 editions published in 1989 in English and held by 12 WorldCat member libraries worldwide

Abstract: "The parallel product operator may be defined very easily on flow event structures. We show that, for flow event structures satisfying a particular constraint, which is preserved by usual process operators, this product may be characterised as a categorical product."
Ji suan ji ying yong ji chu by Wensheng Li( )

2 editions published in 2002 in Chinese and held by 10 WorldCat member libraries worldwide

Ben shu jie shao le ji suan ji xi tong de zu cheng, Windows 2000 de ji chu zhi shi, Wen zi chu li ruan jian Word de ying yong, Dian zi biao ge ruan jian Excel de ying yong, Wang luo ying yong ji chu yi ji chang yong gong ju de shi yong zhi shi
Xin ri yu ji chu wen fa. ju xing by Guo-Qiang Zhang( Book )

2 editions published in 1996 in Chinese and held by 9 WorldCat member libraries worldwide

Min zu di qu shi ye dan wei guan li ti zhi gai ge tan jiu : Nei meng gu shi ye dan wei gai ge qi shi by Zhanyong Zhang( Book )

3 editions published in 2013 in Chinese and held by 8 WorldCat member libraries worldwide

Ben shu yi zong he pei tao yu gai ge chuang xin wei te dian, zhen dui nei meng gu zi zhi qu shi ye dan wei gai ge qian lie di qu de gai ge shi jian, dui di fang zheng fu zai tui dong shi ye dan wei gai ge zhong nan yi yu yue de zhang ai he kun nan jin xing fen xi, bing ti chu jian yi ; zai dui nei meng gu shi ye dan wei gai ge diao cha yu fen xi yan jiu de ji chu shang jin xing fen xi, bing ti chu min zu di qu shi ye dan wei gai ge zhan lue kuang jia yu ce lue
Zhi neng jian zhu yu ke chi xu fa zhan( Book )

2 editions published in 2010 in Chinese and held by 8 WorldCat member libraries worldwide

Ben shu gong liu zhang,Di yi zhang fen xi le zhi neng jian zhu yu ke chi xu fa zhan de guan xi,Jie shao le lü se zhi neng jian zhu de gai nian;Di er zhang jie shao le zhi neng jian zhu de ge ji ben zu cheng bu fen;Di san zhang zhong dian jie shao le ge zhong jian zhu she bei xi tong de kong zhi yuan li ji jie neng fang fa;Di si zhang fen xi le ge zhong ke zai sheng neng yuan zai jian zhu zhong de ying yong tu jing ji qi jian kong yuan li;Di wu zhang jie shao le zhi neng jian zhu de yun xing yu guan li;Di liu zhang jie shao le zhi neng zhu zhai he zhi neng xiao qu ji qi xiang guan ji shu
Suggestions for a non-monotonic feature logic by William C Rounds( Book )

6 editions published in 1995 in English and held by 8 WorldCat member libraries worldwide

Abstract: "We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information."
Feng jing yuan lin she ji : Zhong guo feng jing yuan lin gui hua she ji zuo pin ji by Feng jing yuan lin gui hua she ji jiao liu hui( Book )

5 editions published between 2005 and 2006 in Chinese and held by 8 WorldCat member libraries worldwide

Ben shu fen wei feng jing ming sheng, Lü di xi tong, Gong yuan hua yuan, Jing guan huan jing deng si da bu fen, Quan mian jie shao le wo guo feng jing yuan lin ling yu 2003~2004 nian du de you xiu gui hua she ji cheng guo
Ri yu ji chu zhi shi he ji ben lian xi by Guo-Qiang Zhang( Book )

4 editions published between 2001 and 2005 in Chinese and held by 8 WorldCat member libraries worldwide

Ben shu nei rong fen cheng ri yu ji chu zhi shi, ji ben lian xi he ri yu neng li kao shi liang bu fen. ri yu ji chu lian xi bu fen bao gua ping jia ming, han zi, biao dian, fan yi ci, zi ta dong ci, yong yan huo yong, zhu ci, zhu dong ci, ju zi cheng fen, jing yu deng fang mian de lian xi
Xin ri yu ying yong wen fa. ju xing by Guo-Qiang Zhang( Book )

2 editions published in 1996 in Chinese and held by 7 WorldCat member libraries worldwide

Ri yu hui hua yu ri ben guo qing( Book )

3 editions published in 1994 in Chinese and held by 7 WorldCat member libraries worldwide

Jiao tong yun shu fa zhan de jing ji fen xi : Bi jiao you shi yu zhi du de guan dian by Guo-Qiang Zhang( Book )

3 editions published in 2010 in Chinese and held by 7 WorldCat member libraries worldwide

Ben shu cong jing ji xiao lü he ji hui cheng ben de jie mian shang hui da le shen me shi jiao tong yun shu xi tong, Shen me shi jiao tong yun shu fa zhan xiao lü ji qi wei guan jing ji ji zhi, Zhi du an pai ru he jue ding yun shu xi tong de fa zhan xiao lü, Yi ji zai jiao tong yun shu fa zhan guo cheng zhong ying gai ru he xi tong xing di zuo chu jue ce, Yi ping heng duan qi de ying ji cuo shi yu zhang qi de fa zhan zheng ce deng li lun wen ti, Chan ming le zhi du huo guan zhi de xiao lü dui jiao tong yun shu xi tong you hua ji shu jie gou he ti gao fa zhan xiao lü de jue ding xing yi yi
Jian zhu gong cheng xiang mu guan li( Book )

3 editions published between 2014 and 2019 in Chinese and held by 6 WorldCat member libraries worldwide

Ben shu gong fen wei 14 zhang, Zhu yao bao kuo:jian zhu gong cheng xiang mu guan li gai shu, Jian zhu gong cheng xiang mu guan li zu zhi, Jian zhu gong cheng xiang mu de zhao biao yu tou biao, Jian zhu gong cheng xiang mu he tong guan li, Jian zhu gong cheng xiang mu cai gou guan li, Jian zhu gong cheng xiang mu jin du guan li, Jian zhu gong cheng xiang mu zhi liang guan li, Jian zhu gong cheng xiang mu cheng ben guan li, Jian zhu gong cheng xiang mu zi yuan guan li, Jian zhu gong cheng xiang mu xin xi guan li, Jian zhu gong cheng xiang mu feng xian guan li, Jian zhu gong cheng xiang mu jian kang, An quan he huan jing guan li, Jian zhu gong cheng xiang mu gou tong guan li, Jian zhu gong cheng xiang mu shou wei guan li, Fu lu deng nei rong
Altium Designer 8.0 zhong wen ban dian lu she ji biao zhun jiao cheng by Lei Shi( Book )

4 editions published in 2009 in Chinese and held by 6 WorldCat member libraries worldwide

Ben shu yi Altium Designer 8.0 ruan jian wei cao zuo ping tai, Jiang jie le zai Altium Designer zhong jin xing dian lu yuan li tu she ji, Yin shua dian lu ban she ji, Dian lu fang zhen he PCB xin hao fen xi deng cao zuo de xiang guan zhuan ye zhi shi
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Logic of d ... to 0.00 for Logic of d ...)

Logic of domains
Covers
Light-emitting diodes : materials, processes, devices and applicationsDomain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Alternative Names
Chang Kuo-ch′iang

Chang, Kuo-chʿiang

Chang, Kuo-chʻiang 1960-

Guo-Qiang, Zhang

Zhang, G. Q. 1960-

Zhang, GQ

Zhang, GQ 1960-

Zhang, Guo Q. 1960-

Zhang, Guo Qiang 1960-

Languages
English (60)

Chinese (55)

Italian (1)