Computer science - Periodicals. - Mathematics
概要
| 作品: | 58 作品在 53 項出版品 53 種語言 | |
|---|---|---|
書目資訊
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms[electronic resource] /
by:
(書目-語言資料,印刷品)
Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms[electronic resource].
by:
(書目-語言資料,印刷品)
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms[electronic resource].
by:
(書目-語言資料,印刷品)
Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms[electronic resource].
by:
(書目-語言資料,印刷品)
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and computing 2013[electronic resource] :International Conference in Haldia, India /
by:
(書目-語言資料,印刷品)
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and computing[electronic resource] :ICMC, Haldia, India, January 2015 /
by:
(書目-語言資料,印刷品)
Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(書目-語言資料,印刷品)
主題