This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001).
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.
This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc * ken, Germany, during 5-8 September 2000, together with the abstract of the invited lecture given by Karsten Weihe.
RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC).
This volume contains the papers presented at the 13th Annual Conference on Algorithmic Learning Theory (ALT 2002), which was held in Lub * eck (Germany) during November 24-26, 2002.
Modern database systems enhance the capabilities of traditional database systems by their ability to handle any kind of data, including text, image, audio, and video.
This volume contains the papers presented at the 29th Symposium on Mat- matical Foundations of Computer Science, MFCS 2004, held in Prague, Czech Republic, August 22-27, 2004.
Every gamer knows the feeling of dread: the mission objective shifts, and suddenly you are forced to protect a fragile, excruciatingly slow non-player character (NPC) as they wander blindly through a warzone.
This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.
This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.
The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities.
This book constitutes the refereed proceedings of the Third International Workshop on Ant Algorithms, ANTS 2002, held in Brussels, Belgium in September 2002.
This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003.
This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004.