Computers & Science（コンピューター＆科学） 95

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010.The 41 revised full papers presented were carefully reviewed and selected from 133 submissio……続きを見る

This book constitutes the thoroughly refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008 . The 17 revised full papers presented were carefully selected out of 39 submissions for inclusion in the book. The papers are o……続きを見る

This book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, Sweden, in July 2008. The 36 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 111 submissions. Papers were so……続きを見る

This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship. The 24 revised full papers presented were……続きを見る

This book constitutes the refereed proceedings of the 6th International Conference on Security and Cryptology for Networks, SCN 2008, held in Amalfi, Italy, in September 2008. The book contains one invited talk and 26 revised full papers which were carefully reviewed and selected from 71 submissio……続きを見る

This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, CP 2008, Sydney, Australia, September, 2008. The 27 revised full papers and 23 revised short papers presented together with 6 application papers and the abstrac……続きを見る

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.The 13 revised full papers presented were carefully reviewed and selected from 29 submissions.……続きを見る

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind applicational devel……続きを見る

The three volume set LNCS 5994, LNCS 5995, and LNCS 5996 constitutes the thoroughly refereed post-conference proceedings of the 9th Asian Conference on Computer Vision, ACCV 2009, held in Xi'an, China, inSeptember 2009. The 35 revised full papers and 130 revised poster papers of the three volumes ……続きを見る

This volume constitutes the selected papers of the fourth internationalconference on Metadata and Semantic Research, MTSR 2010, held in Alcal de Henares, Spain, in October 2010.The 28 full papers presented together with 3 invited lectures werecarefully reviewed and selected from numerous submissio……続きを見る

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Metaheuristics, HM 2010, held in Vienna, Austria, in October 2010.The 14 revised full papers presented were carefully reviewed and selected from 29 submissions.続きを見る

This book constitutes the refereed proceedings of the 7th International XML Database Symposium, XSym 2010, held in Singapore, in September 2010.The 11 papers were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections on XML query processing; XML update a……続きを見る

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held in Saint-Malo, France, in September 2008. The 21 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 36 submissions. The topic……続きを見る

BlogTalk, the International Conference on Social Software, brings together different groups of people using and advancing the Internet and its usage: technical and conceptual developers, researchers with interdisciplinary backgrounds, and practitioners alike. The focus is on social software as an ……続きを見る

An invaluable work that will help dentists and oral surgeons to recognize and diagnose gross dental abnormalities. This book provides practically applicable knowledge on histology and histopathology of the changes that are seen in diseases of the dental and periodontal tissues. It includes the dis……続きを見る

This book constitutes the refereed proceedings of the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, held in Xi'an, China, in October 2010.The 20 revised full papers presented together with 3 invited papers and 2 keynote abstracts were carefully reviewed and selected fr……続きを見る

This is the first book to discuss current and future applications of waveform diversity and design in subjects such as radar and sonar, communications systems, passive sensing, and many other technologies. Waveform diversity allows researchers and system designers to optimize electromagnetic and a……続きを見る

This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3invited talks were car……続きを見る

Primarily aimed a clinical audience this book should provide a comprehensive review and useful insight into ALA-PDT.続きを見る

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improve……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Discovery Science, DS 2010, held in Canberra, Australia, in October 2010.The 25 revised full papers presented were carefully selected from 43 submissions and include the first part of the book. In a second part ……続きを見る

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully revi……続きを見る

In Plant Gene Transfer and Expression Protocols, leading experts present the latest step-by-step recipes for introducing genes into model and agricultural plants and for studying gene activity using reporter enzyme assays, RNA techniques, and immunological methods. The book contains not only a com……続きを見る

The Microelectronics Packaging Handbook continues to be the standard reference in the field, providing the latest in microelectronics design methods, modeling tools, simulation techniques, and manufacturing processes. Now available on CD-ROM for the first time, it discusses state-of-the-art packag……続きを見る

This book provides an introduction to the "problem of scale," and presents information that will allow for improved design and interpretation of enclosed experimental aquatic ecosystems. The results of a 10-year research project are integrated into the book.続きを見る