Verification, model checking, and abstract interpretation 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, proceedings

Volltext

Building a government based on the rule of law history and development von Ma, Huaide 1965-, Wang, Jingbo

URL des Erstveröffentlichers

Building a government based on the rule of law history and development von Ma, Huaide 1965-

Verification, model checking, and abstract interpretation 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023 : proceedings

Advanced nanomaterials and their applications in renewable energy von Liu, Jingbo Louise, Sājid, Bashīr

DE-1046
DE-860
URL des Erstveröffentlichers

Invisible planets contemporary Chinese science fiction in translation

Inhaltsangabe: “… A hundred ghosts parade tonight ; Tongtong's summer ; Night journey of the Dragon-horse -- Ma Boyong. The city of silence -- Hao Jingfang.  …”

Zerbrochene Sterne die besten Erzählungen der chinesichen Science-Fiction von Liu, Cixin 1963-, Hao, Jingfang 1984-, Chen, Qiufan 1981-

Inhaltstext
Inhaltsverzeichnis

Mobile multimedia processing fundamentals, methods, and applications

Inhaltstext
Inhaltsverzeichnis

Information retrieval technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18 - 20, 2004 ; revised selected papers

Inhaltsverzeichnis

Documents of SDM-DS 2003 proceedings of the First International Workshop on Software Development Methodologies for Distributed Systems , SDM-DS 1, [Amsterdam and Beijing, 2003]

Inhaltsverzeichnis

Geo-informatics in resource management and sustainable ecosystem international symposium ; proceedings

Inhaltstext
Inhaltsverzeichnis

Conceptual modeling 32th international conference, ER 2013 Hong-Kong, China, November 11 - 13, 2013 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Computer and computing technologies in agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010 ; selected papers

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-739
Volltext
Inhaltsverzeichnis

Information retrieval technology 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15 - 18, 2008 ; revised selected papers

Inhaltsverzeichnis
Inhaltsverzeichnis

Computational linguistics and intelligent text processing 5th international conference, CICLing 2004, Seoul, Korea, February 15 - 21, 2004 ; proceedings

Inhaltsverzeichnis

Arsenic exposure and health effects IV proceedings of the Fourth International Conference on Arsenic Exposure and Health Effects, June 18 - 22, 2000, San Diego, California

Inhaltsverzeichnis

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010 ; Selected Papers

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-739
Volltext
Inhaltsverzeichnis

Proceedings of the FISITA 2012 World Automotive Congress

Inhaltsverzeichnis

Intelligent computing in signal processing and pattern recognition International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16 - 19, 2006

Inhaltstext
Inhaltsverzeichnis

Computational science - ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007 ; proceedings

lizenzfrei
Inhaltsverzeichnis