This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems,......
This book constitutes the refereed proceedings of the 5th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2006, held in Ottawa, Ca......
Unconventional approaches to programming have long been developed, in various niches and out of curiosity, and they constitute a reservoir of alternat......
This book constitutes the thoroughly refereed post-proceedings of the First International Joint Conference on Natural Language Processing, IJCNLP 2004......
The LNCS series reports state-of-the-art restilts in computer science research, development, and education, at a high lewl and in both printed and ele......
Peer-to-peer (P2P) computing is attracting enormous media attention, spurred by the popularity of file sharing systems such as Napster, Gnutella, and ......
This book constitutes the refereed proceedings of the 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, held in ......
This book constitutes the refereed proceedings of the First International Conference on Knowledge Science, Engineering and Management, KSEM 2006, held......
This book constitutes the refereed proceedings of the 6th International Conference on Electronic Commerce and Web Technologies, EC-Web 2005, held in C......
The refereed proceedings of the 11th Annual International Computing and Combinatorics Conference, COCOON 2005, held in Kunming, China in August 2005. ......
This book constitutes the refereed proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages, PADL 2006, held in Ch......
The three volume set LNCS 3610, LNCS 3611, and LNCS 3612 constitutes the refereed proceedings of the First International Conference on Natural Computa......
This book constitutes the refereed proceedings of the 8th European Conference on Artificial Life, ECAL 2005, held in Canterbury, UK in September 2005.......
The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electr......
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July......
The two volume set LNAI 3613 and LNAI 3614 constitutes the refereed proceedings of the Second International Conference on Fuzzy Systems and Knowledge ......
This book constitutes the refereed proceedings of the 6th International Conference on Case-Based Reasoning, ICCBR 2005, held in Chicago, IL, USA, in A......
This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austr......
this book constitutes the refereed proceedings of the 9th pacific rim international conference on artificial intelligence, pricai 2006, held in guilin......
In the era of ubiquitous computing and networking, millions of electronic devices with computing facilities in the public space are connected with eac......
