Symbolic and Algebraic Manipulation.
概観
| 著作: | 48 作品に 48 出版物中に 48 言語 | |
|---|---|---|
タイトル
Low rank approximation[electronic resource] :algorithms, implementation, applications /
…で:
(言語・文字資料 (印刷物))
Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Guide to computational geometry processing[electronic resource] :foundations, algorithms, and methods /
…で:
(言語・文字資料 (印刷物))
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 /
…で:
(言語・文字資料 (印刷物))
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Dynamic brain - from neural spikes to behaviors[electronic resource] :12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
…で:
(言語・文字資料 (印刷物))
Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Research in cryptology[electronic resource] :second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer algebra and polynomials[electronic resource] :applications of algebra and number theory /
…で:
(言語・文字資料 (印刷物))
Fuzzy logic[electronic resource] :an introductory course for engineering students /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Commutative algebra[electronic resource] :constructive methods : finite projective modules /
…で:
(言語・文字資料 (印刷物))
Mathematical modeling of technological processes[electronic resource] :8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Constructive commutative algebra[electronic resource] :projective modules over polynomial rings and dynamical Gröbner bases /
…で:
(言語・文字資料 (印刷物))
WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Geospatial algebraic computations[electronic resource] :theory and applications /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
…で:
(コンピュータ・メディア)
主題