01493nlm0 22004211i 450 9900092355504033219783540320722000923555FED01000923555(Aleph)000923555FED0100092355520100926d2005----km-y0itay50------baengDEdrnn-008mamaaTheoretical Aspects of Computing – ICTAC 2005Risorsa elettronicaSecond International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedingsedited by Dang Hung, Martin WirsingBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433722Documento elettronicoTestoFormato html, pdfHung,DangWirsing,MartinITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11560647EB990009235550403321Computation by Abstract DevicesComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersTheoretical Aspects of Computing – ICTAC 2005773133UNINA