Algebraic methodology and software technology: 13th international conference ; revised selected … by AMAST, Lac Beauport fromLecture Notes in Computer Science 0 Type: Book
Database theory and application, bio-science and bio-technology: international conferences ; proceedings by FGIT, Jeju, DTA, Jeju fromCommunications in computer and information science 0 Type: Book
Static analysis: 18th international symposium ; proceedings by SAS, Venedig fromLecture Notes in Computer Science 0 Type: Book
Model checking and artificial intelligence: 6th international workshop ; revised selected and… by MoChArt, Atlanta, Ga.) fromLecture Notes in Computer Science 0 Type: Book
Programming languages and systems: proceedings by ESOP, Saarbrücken, ETAPS,, Saarbrücken fromLecture Notes in Computer Science 0 Type: Book
