Acm Symposium On Principles Of Programming Languages 7th 1980 La : Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages [electronic resource] : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages.

c1980

1

Acm Symposium On Principles Of Programming Languages 8th 1981 : Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [electronic resource] / conference chairs John White, Richard Lipton ; program chair Patricia C. Goldberg ; sponsor ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages.

1981

1

Acm Symposium On Principles Of Programming Languages 9th 1982 Al : Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages [electronic resource] : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages.

c1982

1

Acm Symposium On Principles Of Programming Languages 10th 1983 : Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages [electronic resource] / conference chairs John R. Wright, Larry Landweber ; program chairs Alan Demers, Tim Teitelbaum ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages.

1983

1

Acm Symposium On Principles Of Programming Languages 11th 1984 : Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages [electronic resource] / chairmen Ken Kennedy, Mary S. Van Deusen, Larry Landweber ; sponsors ACM Special Interest Group on APL Programming Language, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Algorithms and Computation Theory.

1984

1

Acm Symposium On Principles Of Programming Languages 12th 1985 : Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages [electronic resource] / Mary S. Van Deusen, Zvi Galil, Brian K. Reid ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages.

1985

1

Acm Symposium On Principles Of Programming Languages 14th 1987 Mu : Conference record of the Fourteenth Annual ACM Symposium on Principles of Programing Languages [electronic resource] : papers presented at the symposium, Munich, West Germany 21- 23 January 1987 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN), Gesellschaft für Informatik.

c1987

1

Acm Symposium On Principles Of Programming Languages 18th 1991 Or : Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [electronic resource] / chairman David Wise ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages.

1991

1

Acm Symposium On Principles Of Programming Languages 26th 1999 Sa : Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [electronic resource] / chairmen Andrew Appel, Alex Aiken ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages.

1999

1

Acm Symposium On Principles Of Programming Languages 27th 2000 Bo : Conference record of POPL '00 [electronic resource] : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Boston, Massachusetts, 19-21 January 2000 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computational Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN).

c2000

1

Acm Symposium On Principles Of Programming Languages 28th 2001 Lo : Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [electronic resource] / chairmen Chris Hankin, Dave Schmidt ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages.

2001

1

Acm Symposium On Principles Of Programming Languages 29th 2002 Po : Conference record of POPL 2002 [electronic resource] : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computational Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN).

c2002

1

Acm Symposium On Principles Of Programming Languages 30th 2003 Ne : Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [electronic resource] / general chair Alex Aiken ; program chair Greg Morrisett ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages, Association for Computing Machinery.

2003

1

Acm Symposium On Principles Of Programming Languages 31st 2004 Ve : Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [electronic resource] / general chair Neil D. Jones ; program chair Xavier Leroy ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages, Association for Computing Machinery.

2004

1

Acm Symposium On Principles Of Programming Languages 32nd 2005 Lo : Conference record of POPL 2005 [electronic resource] : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, January 12-14, 2005, Long Beach, California, USA / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN).

c2005

1

Acm Symposium On Principles Of Programming Languages 33rd 2006 Ch : Conference record of POPL 2006 [electronic resource] : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium : January 11-13, 2006, Charleston, South Carolina, USA.

2006

1

Acm Symposium On Principles Of Programming Languages 34th 2007 Ni : Conference record of POPL 2007 [electronic resource] : the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, January 17-19, 2007, French Riviera, Nice, France / sponsored by Association for Computing Machinery's, Special Interest Group on Programming Languages, Special Interest Group on Algorithms and Computation Theory.

2007

1

Acm Symposium On Principles Of Programming Languages 35th 2008 Sa : POPL '08 [electronic resource] : proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : San Francisco, California, USA, January 7-12, 2008 / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT.

2008

1

Acm Symposium On Principles Of Programming Languages 36th 2009 Sa : PLPV '09 [electronic resource] : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN.

Acm Symposium On Principles Of Programming Languages 41st 2014 Sa : POPL '14 [electronic resource] : proceedings of the 41st annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 22-24, 2014, San Diego, California, USA / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT.

Acm Symposium On Software Visualization 2nd 2005 Saint Louis Mo : Proceedings, SoftVis '05 [electronic resource] : ACM Symposium on Software Visualization : St. Louis, Missouri, May 14-15, 2005 / program co-chairs, Tom Naps, Wim De Pauw ; symposium chair, Steven P. Reiss ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGCHI ... [et al.].

c2005

1

Acm Symposium On Software Visualization 3rd 2006 Brighton Englan : Proceedings, SOFTVIS 06 [electronic resource] : ACM Symposium on Software Visualization : Brighton, United Kingdom, September 04-05, 2006 / program co-chairs, Margaret Burnett, Stephan Diehl ; symposium chair, Eileen Kraemer ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGCHI ... [et al.].

2006

1

Acm Symposium On Software Visualization 4th 2008 Herrsching Am A : Proceedings, SOFTVIS 2008 [electronic resource] : 4th ACM Symposium on Software Visualization : Herrsching am Ammersee, Germany, September 16 - 17, 2008 / program chairs Christopher Hundhausen, Alexandru Telea ; general chair Rainer Koschke ; production editor Stephen N. Spencer ; sponsored by ACM SIGGRAPH, ACM SIGSOFT, ACM SIGPLAN and ACM SIGCHI.

2008

1

Acm Symposium On Software Visualization 5th 2010 Salt Lake City : SOFTVIS'10 [electronic resource] : proceedings of the 2010 International Symposium on Software Visualization : October 25-26, 2010, Salt Lake City, Utah, USA / sponsored by ACM SIGCHI, ACM SIGPLAN, ACM SIGGRAPH & ACM SIGSOFT ; in cooperation with ACM SIGCSE.

2010

1

Acm Symposium On Solid And Physical Modeling 2005 Cambridge Mass : Proceedings, SPM 2005 [electronic resource] : ACM Symposium on Solid and Physical Modeling : Cambridge, Massachusetts, June 13-15, 2005 / program co-chairs, Leif Kobbelt, Vadim Shapiro ; symposium co-chairs, Ralph Martin, Jarek Rossignac ; sponsored by ACM SIGGRAPH.

c2005

1

Acm Symposium On Solid And Physical Modeling 2006 Cardiff Wales : Proceedings, SPM 2006 [electronic resource] : ACM Symposium on Solid and Physical Modeling : Cardiff, Wales, United Kingdom, June 06-08, 2006 / honorary chair, Jarek Rossignac ; symposium co-chairs, Ralph Martin, Shi-Min Hu ; program co-chairs, Leif Kobbelt, Wenping Wang ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGGRAPH.

c2006

1

Acm Symposium On Solid And Physical Modeling 2007 Beijing China : Proceedings, SPM 2007 [electronic resource] : ACM Symposium on Solid and Physical Modeling : Beijing, China, June 04 - 06, 2007 / editor Stephen N. Spencer ; honorary chairs Chris Hoffmann, Jia-Guang Sun ; symposium co-chairs Shi-Min Hu, Hong Qin ; sponsored by Tsinghua University ; in cooperation with ACM SIGGRAPH.

2007

1

Acm Symposium On Solid And Physical Modeling 2008 Stony Brook N Y : Proceedings, SPM 2008 [electronic resource] : ACM Solid and Physical Modeling Symposium : Stony Brook, New York, June 02-04, 2008 / co-chairs Eric Haines, Morgan McGuire ; production editor Stephen N. Spencer ; sponsored by ACM SIGGRAPH.

2008

1

Acm Symposium On Solid Modeling And Applications 5th 1999 Ann Ar : Proceedings of the fifth ACM Symposium on Solid Modeling and Applications [electronic resource] / chairmen, Deba Dutta, Willem F. Bronsvoort, David C. Anderson ; sponsor ACM Special Interest Group on Computer Graphics and Interactive Techniques.

1999

1

Acm Symposium On Solid Modeling And Applications 6th 2001 Ann Ar : Proceedings of the sixth ACM Symposium on Solid Modeling and Applications [electronic resource] / editors David C. Anderson, Kunwoo Lee ; sponsor ACM Special Interest Group on Computer Graphics and Interactive Techniques.

2001

1

Acm Symposium On Solid Modeling And Applications 7th 2002 Saarbr : Proceedings of the seventh ACM Symposium on Solid Modeling and Applications [electronic resource] / conference chairs Hans-Peter Seidel, Vadim Shapiro ; program chairs Kunwoo Lee, Nick Patrikalakis ; sponsor ACM Special Interest Group on Computer Graphics and Interactive Techniques.

2002

1

Acm Symposium On Solid Modeling And Applications 8th 2003 Seattl : Proceedings of the eighth ACM Symposium on Solid Modeling and Applications [electronic resource] / conference chairs George Turkiyyah, Pere Brunet ; program chairs Gershon Elber, Vadim Shapiro ; sponsors ACM Special Interest Group on Computer Graphics and Interactive Techniques, Association for Computing Machinery.

2003

1

Acm Symposium On Solid Modeling And Applications 9th 2004 Genoa : Solid Modeling 2004 [electronic resource] : ACM Symposium on Solid Modeling and Applications : Genoa, Italy, June 9-11, 2004 / editor Dieter Fellner ; symposium and program co-chairs Gershon Elber, Nicholas Patrikalakis, Pere Brunet ; in cooperation with Eurographics Association and ACM SIGGRAPH.

Acm Symposium On Theory Of Computing 12th 1980 : Proceedings of the twelfth annual ACM Symposium on Theory of Computing [electronic resource] / chairmen Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, Richard J. Lipton ; sponsor ACM Special Interest Group on Algorithms and Computation Theory.

1980

1

Acm Symposium On Theory Of Computing 15th 1983 Boston Mass : Proceedings of the fifteenth annual ACM Symposium on Theory of Computing [electronic resource] : Boston, Massachusetts, April 25-27, 1983 / chairmen David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel Seiferas ; sponsor ACM Special Interest Group on Algorithms and Computation Theory.

1983

1

Acm Symposium On Theory Of Computing 23rd 1991 New Orleans La : Proceedings of the twenty-third annual ACM Symposium on Theory of Computing [electronic resource] / chairmen Cris Koutsougeras, Jeff Vitter ; sponsor ACM Special Interest Group on Algorithms and Computation Theory.

1991

1

Acm Symposium On Theory Of Computing 27th 1995 Las Vegas Nev : Proceedings of the twenty-seventh annual ACM Symposium on Theory of Computing [electronic resource] / chairmen F. Tom Leighton, Allan Borodin ; sponsor ACM Special Interest Group on Algorithms and Computation Theory.

1995

1

Acm Symposium On Theory Of Computing 31st 1999 Atlanta Ga : Proceedings of the thirty-first annual ACM Symposium on Theory of Computing [electronic resource] / chairmen Jeffrey S. Vitter, L. Larmore, T. Leighton ; sponsor ACM Special Interest Group on Algorithms and Computation Theory.

1999

1

Acm Symposium On Theory Of Computing 32nd 2000 Portland Or : Proceedings of the thirty-second annual ACM Symposium on Theory of Computing [electronic resource] / chairmen Frances Yao, Eugene Luks ; sponsor ACM Special Interest Group on Algorithms and Computation Theory.