Computers - Computer Science

Author: Michael J. DinneenISBN-10: 3642276539ISBN-13: 9783642276538Publisher: SpringerLanguage: EnglishPublished: 01/18/2012Pages: 427Format: PaperbackWeight: 1.35lbsSize: 9.21h x 6.14w x 0.89d

This book constitutes the proceedings of the First Indo-Japanese conference on Perception and Machine Intelligence, PerMIn 2012, held in Kolkata, India, in January 2012. The 41 papers, presented together with 1 keynote paper and 3 plenary papers, were carefully reviewed and selected for inclusion...

Author: Marco LoogISBN-10: 3642248543ISBN-13: 9783642248542Publisher: SpringerLanguage: EnglishPublished: 10/21/2011Pages: 344Format: PaperbackWeight: 1.20lbsSize: 9.20h x 6.10w x 0.80d

This book constitutes the proceedings of the 18th International Symposium on String Processing and Information Retrieval, SPIRE 2011, held in Pisa, Italy, in October 2011. The 30 long and 10 short papers together with 1 keynote presented were carefully reviewed and selected from 102...

Author: Erik AltmanISBN-10: 3642244025ISBN-13: 9783642244025Publisher: SpringerLanguage: EnglishPublished: 09/19/2011Pages: 368Format: PaperbackWeight: 1.25lbsSize: 9.30h x 6.10w x 0.80d

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The...

This book constitutes the refereed proceedings of the 15th International Conference on Advances in Databases and Information Systems, ADBIS 2011, held in Vienna, Austria, in September 2011. The 30 revised full papers presented together with 2 full length invited talks were carefully reviewed and...

This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011. The 12 revised full papers presented together with 5 invited talks were carefully selected from numerous submissions. Research...

This book constitutes the refereed proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, held in Galway, Ireland in August 2011. The 13 revised full papers, 12 revised short papers presented together with 2 invited talks were carefully reviewed...

Author: Dieter KranzlmüllerISBN-10: 3642234461ISBN-13: 9783642234460Publisher: SpringerLanguage: EnglishPublished: 08/19/2011Pages: 190Format: PaperbackWeight: 0.63lbsSize: 9.21h x 6.14w x 0.42d

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and...

Author: Andrea CorradiniISBN-10: 3642229433ISBN-13: 9783642229435Publisher: SpringerLanguage: EnglishPublished: 08/19/2011Pages: 420Format: PaperbackWeight: 1.35lbsSize: 9.20h x 6.10w x 0.90d

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under...

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised...

Author: Jonathan McCuneISBN-10: 364221598XISBN-13: 9783642215988Publisher: SpringerLanguage: EnglishPublished: 06/14/2011Pages: 314Format: PaperbackWeight: 1.10lbsSize: 9.30h x 6.10w x 0.70d

Author: Pierre SoilleISBN-10: 3642215688ISBN-13: 9783642215681Publisher: SpringerLanguage: EnglishPublished: 06/24/2011Pages: 484Format: PaperbackWeight: 1.45lbsSize: 9.20h x 6.20w x 0.90d

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61...

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers...

The two volumes, LNCS 6686 resp. LNCS 6687, constitute the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, held in La Palma, Canary Islands, Spain, in May/June 2011. The 108 revised full papers presented in...

Author: Cristian S. CaludeISBN-10: 3642213405ISBN-13: 9783642213403Publisher: SpringerLanguage: EnglishPublished: 05/27/2011Pages: 247Format: PaperbackWeight: 0.90lbsSize: 9.20h x 6.10w x 0.60d

This book constitutes the refereed proceedings of the Third International Conference on Wireless, Mobile Networks and Applications, WiMoA 2011, and the First International Conference on Computer Science, Engineering and Applications, ICCSEA 2011, held in Dubai, United Arab Emirates, in May 2011. The book is...

The two volumes, LNCS 6686 resp. LNCS 6687, constitute the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, held in La Palma, Canary Islands, Spain, in May/June 2011. The 108 revised full papers presented in...

Author: Juergen DingelISBN-10: 3642212093ISBN-13: 9783642212093Publisher: SpringerLanguage: EnglishPublished: 05/20/2011Pages: 416Format: PaperbackWeight: 1.45lbsSize: 9.20h x 6.20w x 1.00d

This book constitutes the proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2011, held in New York, USA in June 2011. The 33 papers presented were carefully reviewed and selected from 110 submissions. The conference is a forum for...

Author: Jukka RiekkiISBN-10: 3642207537ISBN-13: 9783642207532Publisher: SpringerLanguage: EnglishPublished: 05/04/2011Pages: 296Format: PaperbackWeight: 1.50lbsSize: 9.30h x 6.30w x 0.90d

The two-volume set LNAI 6634 and 6635 constitutes the refereed proceedings of the 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2011, held in Shenzhen, China in May 2011. The total of 32 revised full papers and 58 revised short papers were...

This book constitutes the refereed proceedings of the 5th International Conference on Information Theoretic Security, held in Amsterdam, The Netherlands, in May 2011. The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from 27 submissions. Understanding the...

This two-volume set (CCIS 150 and CCIS 151) constitutes the refereed proceedings of the Second International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2011, held in Daejeon, Korea, in April 2011. The 86 revised full papers presented were carefully reviewed and selected from...

This volume constitutes the refereed proceedings of the 10th International Symposium on Experimental Algorithms, SEA 2011, held in Kolimpari, Chania, Crete, Greece, in May 2011. The 36 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 83 submissions...

This book constitutes the refereed proceedings of the 14th European Conference on Genetic Programming, EuroGP 2011, held in Torino, Italy, in April 2011 co-located with the Evo* 2011 events. This 20 revised full papers presented together with 9 poster papers were carefully reviewed and...

This book constitutes the refereed proceedings of the 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2011, held in Tallinn, Estonia, in May 2011. The 31 papers, presented together with 2 invited talks, were carefully reviewed and selected from...

The two-volume set LNCS 6593 and 6594 constitutes the refereed proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2010, held in Ljubljana, Slovenia, in April 2010. The 83 revised full papers presented were carefully reviewed and selected from a...

This book constitutes the thoroughly refereed post-proceedings of the 17th Annual International Workshop on Selected Areas in Cryptography, SAC 2010, held in Waterloo, Ontario, Canada in August 2010. The 24 revised full papers presented together with 2 invited papers were carefully reviewed and selected...

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Practice and Theory in Public Key Cryptography, PKC 2011, held in Taormina, Italy, in March 2011. The 28 papers presented were carefully reviewed and selected from 103 submissions. The book also...

This book is dedicated to Hermann Maurer on the occasion of his 70th birthday. The title word Rainbow reflects the beauty and variety of the achievements of this outstanding scientist, and also the diversity and depth of current research in computer science. The high...

This book constitutes the refereed proceedings of the Second International Conference, ICT Innovations 2010, held in Ohrid, Macedonia, in September 2010. The 33 revised papers presented together with 5 invited papers were carefully reviewed and selected. The papers address the following topics: internet applications...

This book constitutes the proceedings of the 5th International Workshop on Algorithms and Computation, WALCOM 2011, held in New Delhi, India, in February 2011. The 20 papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers are grouped in...

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2011, CT-RSA 2011, held in San Francisco, CA, USA, in February 2011. The 24 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 79...

This volume constitutes the refereed proceedings of the 18th International Symposium on Graph Drawing, GD 2010, held in Konstanz, Germany, during September 2010. The 30 revised full papers presented together with 5 revised short and 8 poster papers were carefully reviewed and selected from...

This book constitutes the refereed proceedings of the International Conference on Advances in Computing Communications and Control, ICAC3 2011, held in Mumbai, India, in January 2011. The 84 revised full papers presented were carefully reviewed and selected from 309 submissions. The papers address issues...

This book constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Models for the Web-Graph, WAW 2010, held in Stanford, CA, USA, in December 2010, which was co-located with the 6th International Workshop on Internet and Network Economics (WINE 2010). The...

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011. The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on DNA Computing and Molecular Programming, DNA16, held in Hong Kong, China, in June 2010. The 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement...

This book constitutes the refereed proceedings of the 7th International Conference on Computers and Games, CG 2010, held in Kanazawa, Japan, in September 2010.The 24 papers presented were carefully reviewed and selected for inclusion in this book. They cover a wide range of topics...

This volume constitutes the third of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 46 revised full papers presented in this volume were carefully reviewed...

This volume constitutes the first of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 59 revised full papers presented in this volume were carefully reviewed...

This book constitutes the refereed proceedings of the 6th International Workshop on Internet and Network Economics, WINE 2010, held in Stanford, USA, in December 2010. The 52 revised full papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in...

This volume constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The 15 revised full papers presented were carefully reviewed and selected from 49 submissions. They cover a broad range of subjects related to service-oriented...

This book constitutes the refereed proceedings of the 12th International Conference on Distributed Computing and Networking, ICDCN 2011, held in Bangalore, India, during January 2-5, 2011. The 31 revised full papers and 3 revised short papers presented together with 3 invited lectures were carefully...

Welcome to the proceedings of the 2010 International Conferences on Security Te- nology (SecTech 2010), and Disaster Recovery and Business Continuity (DRBC 2010) - two of the partnering events of the Second International Mega-Conference on Future Generation Information Technology (FGIT 2010). SecTech and DRBC...