ID:DA01037742
Computer Society Technical Committee on Mathematical Foundations of Computer Science
Search authors sharing the same name
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society c2011
Available at 2 libraries
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
Available at 3 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCS
IEEE Computer Society c2007
Available at 4 libraries
Available at 12 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT and EATCS
IEEE Computer Society c2006
Available at 14 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
Available at 7 libraries
IEEE Computer Society c2005
Available at 19 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
Available at 10 libraries
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
Available at 17 libraries
Available at 8 libraries
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
Available at 11 libraries
sponsored by IEEE Computer Society Technical society on Foundations of Computing
IEEE Computer Society c2003
: pbk
Available at 23 libraries
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
Available at 15 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
IEEE Computer Society c2002