Algorithmic learning theory : 9th international conference, ALT ',98, Otzenhausen, Germany, October 8-10, 1998 : proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 986 0
Algorithms–ESA ',98 : 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 985 0
Advances in cryptology–EUROCRYPT ',97 : International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997 : proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 985 0
Application and theory of petri nets 1998 : 19th International Conference, ICATPN',98 Lisbon, Portugal, June 22-26, 1998 proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 986 0
Automatic verification of sequential infinite-state processes [electronic resource] NotAvailable .PDF avenarius_1 2 years ago 1.0k 985 0
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX',98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 986 0
Applied parallel computing : new paradigms for HPC in industry and academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 986 0
Asking to die : inside the Dutch debate about euthanasia NotAvailable .PDF avenarius_1 2 years ago 1.0k 988 0
Advances in learning software organizations : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers NotAvailable .PDF avenarius_1 2 years ago 1.0k 985 0
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings NotAvailable .PDF avenarius_1 2 years ago 1.0k 985 0