Search results
Lecture Notes in Computer Science > Database and Expert Systems Applications > Database Applications I > 266-275
IFIP — The International Federation for Information Processing > Integrity and Internal Control in Information Systems VI > Refereed papers > 143-158
Lecture Notes in Computer Science > TAPSOFT '89 > 298-312
Lecture Notes in Computer Science > User Modeling, Adaption and Personalization > Full Research Papers > 1-12
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 217-232
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 440-459
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 179-194
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2008 > Ontology Applications II > 1517-1531
Lecture Notes in Computer Science > STACS 2003 > Contributed Papers > 675-686
Lecture Notes in Computer Science > Next Generation Information Technologies and Systems > Applications > 146-157