Barnes & Noble Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedi at Hamilton Place in Chattanooga, TN
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedi
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedi in Chattanooga, TN
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedi in Chattanooga, TN
The LNCS series reports slate-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includesproceedings (published in time for the respective conference)post-proceedings (consisting of thoroughly revised final full papers)research monographs (which may be based on outstanding PhD work, research projects, technical reports, etc.)Advanced Research in Computing and Software Science (ARCoSS)The LNCS subline Advanced Research in Computing and Software Science, ARCoSS, has been established in cooperation with the European Association for Theoretical Computer Science, EATCS, and the community of the European Joint Conferences on Theory and Practice of Software, ETAPS. Starting out with the proceedings of the EATCS main conferences and the ETAPS conferences, ARCoSS is also open to other high-quality proceedings focusing on computing and software science. Embedded in the overall framework of LNCS, ARCoSS is scientifically supervised by the ARCoSS-subline series editors and advisory board and is published with its own distinctive cover.In parallel to the printed book, each new volume is published electronically in LNCS Online.Detailed information on LNCS can be found at springer.com/lncs Proposals for publication should be sent to
The LNCS series reports slate-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includesproceedings (published in time for the respective conference)post-proceedings (consisting of thoroughly revised final full papers)research monographs (which may be based on outstanding PhD work, research projects, technical reports, etc.)Advanced Research in Computing and Software Science (ARCoSS)The LNCS subline Advanced Research in Computing and Software Science, ARCoSS, has been established in cooperation with the European Association for Theoretical Computer Science, EATCS, and the community of the European Joint Conferences on Theory and Practice of Software, ETAPS. Starting out with the proceedings of the EATCS main conferences and the ETAPS conferences, ARCoSS is also open to other high-quality proceedings focusing on computing and software science. Embedded in the overall framework of LNCS, ARCoSS is scientifically supervised by the ARCoSS-subline series editors and advisory board and is published with its own distinctive cover.In parallel to the printed book, each new volume is published electronically in LNCS Online.Detailed information on LNCS can be found at springer.com/lncs Proposals for publication should be sent to
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.
