Gastroduodenal Disease and Helicobacter pylori [electronic resource] : Pathophysiology, Diagnosis and Treatment Q Science
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings Q Science
Automated deduction – CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings Q Science
Artificial evolution : 4th European conference, AE ’99, Dunkerque, France, November 3-5, 1999 : selected papers Q Science
Databases in telecommunications : international workshop co-located with VLDB-99, Edinburgh, Scotland, UK, September 6th, 1999 : proceedings Q Science
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR ’99, Venice, Italy, September 1999 : selected papers Q Science
Recent advances in AI planning : 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999 : proceedings Q Science
Network-based parallel computing : communication, architecture, and applications : 4th international Workshop, CANPC 2000, Toulouse, France, January 8, 2000 : proceedings Q Science
Random Walks in the Quarter-Plane [electronic resource] : Algebraic Methods, Boundary Value Problems and Applications Q Science
Security protocols : 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings Q Science
