Computers 21

Building robots and making cell phone applications is a snap with this book and the Arduino open source electronic prototyping platform. This book gets readers started with six fun projects they can build for under $100 each.続きを見る

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting. The 32 revised full papers presented together with the abstract of a keynote talk were carefu……続きを見る

This book constitutes the refereed proceedings of the 16th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2008, held in Acitrezza, Sicily, Italy, in September/October 2008. The 17 revised full papers and 15 revised short papers presented together with 3 invited ta……続きを見る

This book constitutes the refereed proceedings of the 6th International Workshop Radio Frequency Identification: Security and Privacy Issues. RFIDSec 2010, held in Istanbul, Turkey, in June 2010. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selecte……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Large-Scale Scientific Computations, LSSC 2009, held in Sozopol, Bulgaria, in June 2009.The 93 revised full papers presented together with 5 plenary and invited papers were carefully re……続きを見る

This book constitutes the thoroughly refereed post workshop proceedings of the 7th International Workshop on Approximation and Online Algorithms, WAOA 2009, held in Copenhagen, Denmark, in September 2009 as part of the ALGO 2009 conference event.The 22 revised full papers presented were carefully ……続きを見る

This book constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010.続きを見る

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 ……続きを見る

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 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……続きを見る

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……続きを見る