Filter by
Automated Technology for Verification and Analysis : 13th International Sympo…
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24953-7
- Collation
- XIII, 520
- Series Title
- -
- Call Number
- 006.3
Transactions on Edutainment XI
This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-48246-9
- Collation
- XIII, 266
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Recent Advances in Agent-based Complex Automated Negotiation
This book covers recent advances in Complex Automated Negotiations as a widely studied emerging area in the field of Autonomous Agents and Multi-Agent Systems. The book includes selected revised and extended papers from the 7th International Workshop on Agent-Based Complex Automated Negotiation (ACAN2014), which was held in Paris, France, in May 2014. The book also includes brief introductions …
- Edition
- -
- ISBN/ISSN
- 978-3-319-30307-9
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Environmental and Social-economic Impacts of Sewage Sludge Treatment The Evi…
This book presents an experimental simulation of sewage treatment, which is designed to evaluate the environmental and social-economic impacts of integrated sewage treatment policies. The author puts forward a comprehensive linear optimization simulation model that takes the environmental, energy and economic systems into consideration. Beijing was selected as a typical Chinese city for the pur…
- Edition
- -
- ISBN/ISSN
- 978-981-287-948-6
- Collation
- 28 b/w illustrations, 5 illustrations in colour
- Series Title
- -
- Call Number
- -
Pacific Rim Objective Measurement Symposium (PROMS) 2014 Conference Proceedin…
This book collects and organizes the original studies presented at PROMS 2014 conference on theories and applications of Rasch model. It provides useful examples of the Rasch model used to address practical measurement problems across a range of different disciplines including: Item Response Theory (IRT), philosophy of measurement, dimensionality, the role of fit statistics and residuals, appl…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47490-7
- Collation
- xxi, 390 halaman
- Series Title
- -
- Call Number
- 530.8 PAC
A New Paradigm for International Business: Proceedings of the Conference on F…
This book offers a collection of studies on regional integration and the dynamic business environment in East Asia. The papers included, originally presented at the 2014 Asia Pacific Business Conference on "Free Trade Agreements and Regional Integration in East Asia," examine the challenges and dynamics in the increasingly integrated East Asian markets and outline a new paradigm for doing inter…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-981-287-499-3
- Collation
- -
- Series Title
- Springer Proceedings in Business and Economics
- Call Number
- 338.9 NEW n
A Kaleidoscopic View of Graph Colorings
This book describes kaleidoscopic topics that have developed in the area of graph colorings. Unifying current material on graph coloring, this book describes current information on vertex and edge colorings in graph theory, including harmonious colorings, majestic colorings, kaleidoscopic colorings and binomial colorings. Recently there have been a number of breakthroughs in vertex colorings t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30518-9
- Collation
- -
- Series Title
- SpringerBriefs in Mathematics
- Call Number
- 519 ZHA k
Time-Dependent Switched Discrete-Time Linear Systems Control and Filtering
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characterist…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28850-5
- Collation
- 49 b/w illustrations, 23 illustrations in colour
- Series Title
- -
- Call Number
- -
Network and System Security
This book constitutes the proceedings of the 9th International Conference on Network and System Security, NSS 2015, held in New York City, NY, USA, in November 2015. The 23 full papers and 18 short papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on wireless security and privacy; smartphone security; systems security; appl…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25644-3
- Collation
- XIV, 542
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
The “New Culture” From a Modern Perspective
Contemporary China, in an era of globalization and in the midst of transition, now faces both great opportunities and unprecedented challenges. People are more and more becoming “economic man,” “technological man” and “one-dimensional man,” and are increasingly losing the virtue, dignity and beauty of human nature. When humanity’s habitat grows smaller and smaller as economic, tec…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48011-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography