Symbolic and Algebraic Manipulation.
Overview
| Works: | 48 works in 48 publications in 48 languages | |
|---|---|---|
Titles
Low rank approximation[electronic resource] :algorithms, implementation, applications /
by:
(Language materials, printed)
Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(Language materials, printed)
Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(Language materials, printed)
Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Fuzzy computational ontologies in contexts[electronic resource] :formal models of knowledge representation with membership degree and typicality of objects, and their applications /
by:
(Language materials, printed)
Guide to computational geometry processing[electronic resource] :foundations, algorithms, and methods /
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)
Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
by:
(Language materials, printed)
Dynamic brain - from neural spikes to behaviors[electronic resource] :12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
by:
(Language materials, printed)
Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(Language materials, printed)
Research in cryptology[electronic resource] :second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
by:
(Language materials, printed)
A singular introduction to commutative algebra[electronic resource] /
by:
(Language materials, printed)
Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
by:
(Language materials, printed)
Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(Language materials, printed)
Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 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)
Rewriting and Typed Lambda Calculi[electronic resource] :joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Language materials, printed)
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
by:
(Language materials, printed)
Computer algebra and polynomials[electronic resource] :applications of algebra and number theory /
by:
(Language materials, printed)
Fuzzy logic[electronic resource] :an introductory course for engineering students /
by:
(Language materials, printed)
Fuzzy algebraic hyperstructures[electronic resource] :an introduction /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(Language materials, printed)
WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
by:
(Language materials, printed)
Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(Language materials, printed)
Algebraic and algorithmic aspects of differential and integral operators[electronic resource] :5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers /
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)
Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
(Language materials, printed)
Commutative algebra[electronic resource] :constructive methods : finite projective modules /
by:
(Language materials, printed)
Mathematical modeling of technological processes[electronic resource] :8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
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)
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Constructive commutative algebra[electronic resource] :projective modules over polynomial rings and dynamical Gröbner bases /
by:
(Language materials, printed)
WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(Language materials, printed)
Fuzzy logic of quasi-truth[electronic resource] :an algebraic treatment /
by:
(Language materials, printed)
Geospatial algebraic computations[electronic resource] :theory and applications /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
by:
(Language materials, printed)
Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(Electronic resources)
Formal grammar[electronic resource] :20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings /
by:
(Electronic resources)
Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
(Electronic resources)
Subjects