ID:DA01037742
Computer Society Technical Committee on Mathematical Foundations of Computer Science
同姓同名の著者を検索
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society c2011
所蔵館2館
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
IEEE Computer Society c2010
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science
IEEE Computer Society c2008
所蔵館3館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCS
IEEE Computer Society c2007
所蔵館4館
所蔵館12館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT and EATCS
IEEE Computer Society c2006
所蔵館14館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
所蔵館7館
IEEE Computer Society c2005
所蔵館20館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
所蔵館11館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
IEEE Computer Society c2004
所蔵館18館
所蔵館8館
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
sponsored by IEEE Computer Society Technical society on Foundations of Computing
IEEE Computer Society c2003
: pbk
所蔵館24館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT, EATCS
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
所蔵館16館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
IEEE Computer Society c2002