Computer science - Congresses. - Mathematics

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms by: (書目-電子資源)

Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms by: (書目-電子資源)

Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-電子資源)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (書目-電子資源)

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (書目-電子資源)

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (書目-電子資源)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science = 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / by: (書目-電子資源)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Formal concept analysis : = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science = 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings / by: (書目-電子資源)

Reversible computation = 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (書目-電子資源)

Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (書目-電子資源)

Formal concept analysis = 12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (書目-電子資源)

Language, life, limits = 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Mathematics and computing 2013 = International Conference in Haldia, India / by: (書目-電子資源)

Computer mathematics = 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 : contributed papers and invited talks / by: (書目-電子資源)

Combinatorial optimization and applications = 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings / by: (書目-電子資源)

Mathematical and engineering methods in computer science = 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency IX by: (書目-電子資源)

Numerical mathematics and advanced applications ENUMATH 2013 = proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013 / by: (書目-電子資源)

Perspectives of system informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers / by: (書目-電子資源)

Cellular automata and discrete complex systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014 : revised selected papers / by: (書目-電子資源)

Formal concept analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I / by: (書目-電子資源)

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

Algorithms and discrete applied mathematics = second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (書目-電子資源)

Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (書目-電子資源)

Mathematical aspects of computer and information sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (書目-電子資源)

Coalgebraic Methods in Computer Science = 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (書目-電子資源)

Perspectives of system informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers / by: (書目-電子資源)

Modern mathematical methods and high performance computing in science and technology = M3HPCST, Ghaziabad, India, December 2015 / by: (書目-電子資源)

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-電子資源)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

Horizons of the mind = a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday / by: (書目-電子資源)

Intelligent computer mathematics = International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science = 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers / by: (書目-電子資源)

Mathematical foundations of computer science 2014 = 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.. Part II / by: (書目-電子資源)

Mathematical foundations of computer science 2014 = 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.. part I / by: (書目-電子資源)

Theoretical computer science = 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: (書目-電子資源)

Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings / by: (書目-電子資源)

High performance computing for computational science - VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (書目-電子資源)

Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Reversible computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings / by: (書目-語言資料,印刷品)

Mathematics and computing = ICMC, Haldia, India, January 2015 / by: (書目-語言資料,印刷品)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part II / by: (書目-電子資源)

Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (書目-電子資源)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-電子資源)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency X by: (書目-電子資源)

Encyclopedia of applied and computational mathematics by: (書目-電子資源)

Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (書目-電子資源)

Computational topology in image context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / by: (書目-電子資源)

Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (書目-電子資源)