Computer science - Periodicals. - Mathematics
Overview
| Works: | 58 works in 53 publications in 53 languages | |
|---|---|---|
Titles
Mathematical and engineering methods in computer science[electronic resource] :7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Computation, physics and beyond[electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Language materials, printed)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Language materials, printed)
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(Language materials, printed)
How the world computes[electronic resource] :Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms[electronic resource] /
by:
(Language materials, printed)
Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms[electronic resource].
by:
(Language materials, printed)
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms[electronic resource].
by:
(Language materials, printed)
Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms[electronic resource].
by:
(Language materials, printed)
Design and analysis of algorithms [electronic resource] :First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(Language materials, printed)
Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(Language materials, printed)
Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I /
by:
(Language materials, printed)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(Language materials, printed)
Mathematics and computing 2013[electronic resource] :International Conference in Haldia, India /
by:
(Language materials, printed)
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(Language materials, printed)
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(Language materials, printed)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(Language materials, printed)
Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(Language materials, printed)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(Language materials, printed)
Numerical mathematics and advanced applications ENUMATH 2013[electronic resource] :proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013 /
by:
(Language materials, printed)
Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
by:
(Electronic resources)
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
by:
(Language materials, printed)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Cellular automata and discrete complex systems[electronic resource] :21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Mathematics and computing[electronic resource] :ICMC, Haldia, India, January 2015 /
by:
(Language materials, printed)
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(Language materials, printed)
Relational and algebraic methods in computer science[electronic resource] :15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by:
(Language materials, printed)
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(Language materials, printed)
Encyclopedia of applied and computational mathematics[electronic resource] /
by:
(Language materials, printed)
Combinatorial optimization and applications[electronic resource] :9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Algorithms and discrete applied mathematics[electronic resource] :second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings /
by:
(Language materials, printed)
Mathematical and engineering methods in computer science[electronic resource] :10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers /
by:
(Language materials, printed)
Mathematical aspects of computer and information sciences[electronic resource] :6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers /
by:
(Language materials, printed)
Cellular automata and discrete complex systems[electronic resource] :22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings /
by:
(Electronic resources)
Computational topology in image context[electronic resource] :6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings /
by:
(Electronic resources)
Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(Electronic resources)
Coalgebraic Methods in Computer Science[electronic resource] :13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers /
by:
(Electronic resources)
Perspectives of system informatics[electronic resource] :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:
(Electronic resources)
Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(Electronic resources)
Modern mathematical methods and high performance computing in science and technology[electronic resource] :M3HPCST, Ghaziabad, India, December 2015 /
by:
(Electronic resources)
Computer algebra in scientific computing[electronic resource] :18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(Electronic resources)
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques[electronic resource] :13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
(Electronic resources)
Handbook of discrete and combinatorial mathematics[electronic resource] /
by:
(Electronic resources)
Subjects