LEADER 01531nam--2200373---450- 001 990003007010203316 005 20071107132429.0 010 $a3-540-33339-8 035 $a000300701 035 $aUSA01000300701 035 $a(ALEPH)000300701USA01 035 $a000300701 100 $a20071107d2006----km-y0itaa50------ba 101 $aeng 102 $aDE 200 1 $aRelational methods in computer science$e8th International seminar on relational methods in computer science$e3rd international workshop on applications of Kleene Algebra and workshop of COST Action 274 TARSKI$eSt. Catharines, ON, Canada, February 22-26,2005$eSelected revised papers$fWendy MacCaull, Michael Winter, Ivo Düntsch (Eds.) 210 $aBerlin$cSpringer-Verlag$dcopyr. 2006 215 $aVIII,262 p.$cill.$d24 cm 225 $aLecture Notes in Computer Scienze$v3929 606 $aElaborazione elettronica dei dati Congressi 2005 606 $aElaboratori elettronici digitali Programmazione Congressi 2005 676 $a004.21 702 1$aMACCAULL,$bWendy 702 1$aWINTER,$bMichael 702 1$aDÜNTSCH$bIvo 710 12$aInternational seminar on relational methods in computer science$d<8th;$f2005;$eSt. Catharines>$0599158 912 $a990003007010203316 951 1$a001 LNCS (3929)$b33509 CBS$c001$d00215120 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20071107$lUSA01$h1324 979 $aANGELA$b90$c20071107$lUSA01$h1324 996 $aRelational methods in computer science$91024352 997 $aUNISA