Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
香港研究博士论文注释书目
A descriptively annotated, multidisciplinary, cross-referenced and extensively indexed guide to 2,395 dissertations that are concerned either in whole or in part with Hong Kong and with Hong Kong Chinese students and emigres throughout the world.
Automating Business Modelling
Enhances the use of enterprise models as an effective communication medium between business and technical personnel. Details the blue-print of the to-be developed business system.
The Hong Kong Filmography, 1977-1997
Thanks to the successes of directors and actors like John Woo, Jackie Chan, and Chow Yun-Fat, the cinema of Hong Kong is wildly popular worldwide, and there is much more to this diverse film culture than most Western audiences realize. Beyond martial arts and comedy, Hong Kong films are a celebration of the grand diversity and pageantry of moviemaking--covering action, comedy, horror, eroticism, mythology, historical drama, modern romances, and experimental films. Information on 1,100 films produced in British Hong Kong from 1977 to 1997 is included here.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
Software Engineering and Formal Methods
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods ...
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.
The Quest for Gold
This book is the first comprehensive record of sports in Hong Kong. It traces the practice of sport in Hong Kong dating back a century-and-a-half, when it was a pastime for foreign residents, and limited to a few clubs with access to grounds andpools.
