同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(著者名に左の語を含む: #ACM Special Interest Group for Algorithms and Computation Theory)
該当件数:145件
ITCS '14 : proceedings of the 2014 Conference on Innovations in Theoretical Computer Science : January 12-14, 2014, Princeton, New Jersey, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2014
電子書籍 <OB00745991>
ITCS '15 : proceedings of the 6th Innovations in Theoretical Computer Science : January 11-13, 2015, Rehovot, Israel / sponsored by ACM SIGACT
print. - New York : ACM , 2015
電子書籍 <OB00745992>
Proceedings of the 2013 28th annual ACM/IEEE Symposium on Logic in Computer Science / sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - Washington, District of Columbia : IEEE Computer Society , 2013
電子書籍 <OB00748149>
STOC '05 : proceedings of the 37th annual ACM Symposium on the Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005 / sponsored by SIGACT
print. - New York : ACM , 2005
電子書籍 <OB00751676>
ITCS '16 : proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science : January 14-16, 2016, Cambridge, MA, USA / sponsored by ACM SIGACT
New York : ACM , 2016
電子書籍 <OB00765086>
ITCS'13 : proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science : January 9-12, 2013, Berkeley, California, USA / program chair Robert Kleinberg ; sponsored by ACM SIGACT
print. - New York : ACM , 2013
電子書籍 <OB00745995>
PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00746595>
ITCS12 2012 : Innovations in Theoretical Computer Science : January 8-10, 2012, Cambridge, MA, USA / program chair Shafi Goldwasser ; sponsored by ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)
print. - New York : ACM , 2012
電子書籍 <OB00745994>
DAMP'12 : proceedings of the 7th Workshop on Declarative Aspects and Applications of Multicore Programming : January 28, 2012, Philadelphia, PA, USA / general chair Umut Acar ; program chair Vítor Santos Costa ; sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00745141>
DIALM-POMC '08 : proceedings of the ACM 5th International Workshop on Foundations of Mobile Computing : Toronto, ON, Canada, August 22, 2008 / sponsored by ACM SIGOPS & ACM SIGACT
print. - New York : ACM , 2008
電子書籍 <OB00745185>
PEPM '14 : proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 20-21, 2014, San Diego, California, USA / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00746542>
PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA / program chairs Koen Claessen, Nikhil Swamy ; sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00746597>
PODC '07 : proceedings of the 26th annual ACM Symposium on Principles of Distributed Computing : Portland, Oregon, USA, August 12-15, 2007 / sponsored by SIGACT & SIGOPS
print. - New York : ACM , 2007
電子書籍 <OB00746609>
PODC '08 : proceedings of the 27th annual ACM Symposium on Principles of Distributed Computing : Toronto, Ontario, Canada, August 18-21, 2008 / sponsored by ACM SIGACT & ACM SIGOPS
電子書籍 <OB00746610>
PODC '13 : proceedings of the 2013 ACM Symposium on Principles of Distributed Computing : July 22-24, 2013, Montréal, Québec, Canada / sponsored by ACM SIGOPS and ACM SIGACT
電子書籍 <OB00746611>
PODC '14 : proceedings of the 2014 ACM Symposium on Principles of Distributed Computing : July 15-18, 2014, Paris, France / sponsored by ACM SIGACT & ACM SIGOPS
電子書籍 <OB00746612>
PODC '15 : proceedings of the 2015 ACM Symposium on Principles of Distributed Computing : July 21-23, 2015, Donostia-San Sebastián, Spain / sponsored by ACM SIGACT and ACM SIGOPS
電子書籍 <OB00746613>
PODC 2006 : proceedings of the 25th annual ACM Symposium on Principles of Distributed Computing : July 23-26, 2006, Denver, Colorado, USA / sponsored by ACM SIGACT & ACM SIGOPS
print. - New York : ACM , 2006
電子書籍 <OB00746621>
POPL '08 : 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
電子書籍 <OB00746637>
POPL '13 : proceedings of 40th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 23-25, 2013 Rome, Italy / sponsored by ACM SIGPLAN and ACM SIGACT
電子書籍 <OB00746639>
POPL '14 : 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
電子書籍 <OB00746640>
POPL '15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 12-18, 2015, Mumbai, India / sponsored by ACM SIGPLAN and ACM SIGACT
電子書籍 <OB00746641>
Proceedings of the 23rd annual ACM Symposium on Principles of Distributed Computing : PODC 2004 : July 25-28, 2004, St. John's, Newfoundland, Canada / sponsored by ACM Special Interest Group on Algorithms & Computational Theory and ACM Special Interest Group on Operating Systems
print. - New York : ACM , 2004
電子書籍 <OB00748206>
Proceedings of the 24th annual ACM Symposium on Principles of Distributed Computing : PODC 2005 : July 17-20, 2005, Las Vegas, Nevada, USA / sponsored by ACM Special Interest Group on Algorithms & Computation Theory and ACM Special Interest Group on Operating Systems
電子書籍 <OB00748216>
Proceedings of the 36th annual ACM Symposium on the Theory of Computing : Chicago, Illinois, USA, June 13-15, 2004 / sponsored by SIGACT
電子書籍 <OB00748259>
Proceedings of the seventeenth annual ACM-SIAM Symposium on Discrete Algorithms / sponsors, ACM Special Interest Group on Algorithms and Computation Theory, SIAM Activity Group on Discrete Mathematics
電子書籍 <OB00750604>
Proceedings of the twenty-first annual Symposium on Computational Geometry (SCG '05) : June 6-8, 2005, Pisa, Italy / sponsored by the ACM SIGACT and SIGRAPH
電子書籍 <OB00750946>
Proceedings of the twenty-fourth annual Symposium on Computational Geometry (SCG '08) : June 9-11, 2008, College Park, Maryland, USA / sponsored by ACM SIGACT & ACM SIGGRAPH
電子書籍 <OB00750953>
Proceedings of the twenty-ninth annual Symposium on Computational Geometry (SoCG'13) : June 17-20, 2013, Rio de Janeiro, Brazil / sponsored by ACM SIGACT & ACM SIGGRAPH
電子書籍 <OB00750954>
Proceedings of the twenty-second annual Symposium on Computational Geometry (SCG '06) : June 5-7, 2006, Sedona, Arizona, USA / sponsored by the ACM SIGACT and SIGGRAPH
電子書籍 <OB00750957>
SPAA '08 : proceedings of the twentieth annual Symposium on Parallelism in Algorithms and Architectures : Munich, Germany, June 14-16, 2008 / sponsored by ACM SIGACT & ACM SIGARCH
電子書籍 <OB00751619>
SPAA 2004 : sixteenth annual ACM Symposium on Parallelism in Algorithms and Architectures : June 27-30, 2004, Barcelona, Spain / sponsored by ACM SIGACT, ACM SIGARCH
電子書籍 <OB00751630>
SPAA 2006 : eighteenth annual ACM Symposium on Parallelism in Algorithms and Architectures : July 30-August 2, 2006, Cambridge, Massachusetts, USA / sponsored by ACM SIGACT, ACM SIGARCH
電子書籍 <OB00751632>
STOC '06 : proceedings of the 38th annual ACM Symposium on Theory of Computing : Seattle, Washington, USA, May 21-23, 2006 / sponsored by SIGACT
電子書籍 <OB00751677>
STOC '07 : proceedings of the 39th annual ACM Symposium on Theory of Computing : San Diego, California, USA, June 11-13, 2007 / sponsored by SIGACT
電子書籍 <OB00751678>
STOC '08 : proceedings of the 2008 ACM International Symposium on Theory of Computing : Victoria, British Columbia, Canada, May 17-20, 2008 / sponsored by ACM SIGACT
電子書籍 <OB00751679>
STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing : June 1 - 4, 2013, Palo Alto, California, USA / sponsored by ACM SIGACT
電子書籍 <OB00751680>
STOC'10 : proceedings of the 2010 ACM International Symposium on Theory of Computing : June 5-8, 2010, Cambridge, MA, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2010
電子書籍 <OB00751687>
STOC'12 : proceedings of the 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA / sponsored by ACM SIGACT
電子書籍 <OB00751688>
ARMS-CC '17 : proceedings of the 2017 Workshop on Adaptive Resource Management and Scheduling for Cloud Computing : July 28, 2017, Washington, DC, USA / sponsored by ACM SIGACT & ACM SIGOPS
New York : ACM , 2017
電子書籍 <OB00764651>
PODC '16 : proceedings of the 2016 ACM Symposium on Principles of Distributed Computing : July 25-28, 2016, Chicago, IL, USA / sponsored by ACM SIGACT and ACM SIGOPS
電子書籍 <OB00765258>
PODC '17 : proceedings of the ACM Symposium on Principles of Distributed Computing : July 25-27, 2017, Washington, DC, USA / sponsored by ACM SIGACT & ACM SIGOPS
電子書籍 <OB00765259>
STOC '15 : proceedings of the 47th ACM Symposium on Theory of Computing Conference : June 14-17, 2015, Portland, OR, USA / sponsored by ACM SIGACT
New York : ACM , 2015
電子書籍 <OB00765825>
SPAA '15 : proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures : June 13-15, 2015, Portland, OR, USA / sponsored by ACM SIGACT and ACM SIGARCH
電子書籍 <OB00765641>
SPAA '16 : proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures : July 11-13, 2016, Pacific Grove, CA, USA / sponsored by ACM SIGACT and ACM SIGARCH
電子書籍 <OB00765648>
SPAA '17 : proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures : July 24-26, 2017, Washington, DC, USA / sponsored by ACM SIGACT and ACM SIGARCH
電子書籍 <OB00765655>
Proceedings of the twenty-ninth annual ACM-SIAM Symposium on Discrete Algorithms / program chair, Artur Czumaj ; sponsor, SIGACT
Philadelphia, Pennsylvania : Society for Industrial and Applied Mathematics , 2018
電子書籍 <OB00765960>
Proceedings of the twenty-seventh annual ACM-SIAM Symposium on Discrete Algorithms / editor, Robert Kraughgamer ; sponsor, SIGACT
Philadelphia, Pennsylvania : Society for Industrial and Applied Mathematics , 2016
電子書籍 <OB00765961>
SIGACT news
New York, NY : ACM Special Interest Group on Automata and Computability Theory
電子ジャーナル <OJ00128849>
Conference record of POPL '00 : 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)
New York, N.Y. : The Association , c2000
電子書籍 <OB00745062>