Symbolic and Algebraic Manipulation.
概要
| 作品: | 48 作品在 48 項出版品 48 種語言 | |
|---|---|---|
書目資訊
Low rank approximation[electronic resource] :algorithms, implementation, applications /
by:
(書目-語言資料,印刷品)
Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Guide to computational geometry processing[electronic resource] :foundations, algorithms, and methods /
by:
(書目-語言資料,印刷品)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Research in cryptology[electronic resource] :second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra and polynomials[electronic resource] :applications of algebra and number theory /
by:
(書目-語言資料,印刷品)
Fuzzy logic[electronic resource] :an introductory course for engineering students /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Commutative algebra[electronic resource] :constructive methods : finite projective modules /
by:
(書目-語言資料,印刷品)
Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Constructive commutative algebra[electronic resource] :projective modules over polynomial rings and dynamical Gröbner bases /
by:
(書目-語言資料,印刷品)
主題