Symbolic and Algebraic Manipulation.

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / by: (Language materials, printed)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima / by: (Language materials, printed)

Anti-Differentiation and the Calculation of Feynman Amplitudes by: (Language materials, printed)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / by: (Language materials, printed)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (Language materials, printed)

An Invitation to Analytic Combinatorics = From One to Several Variables / by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Computer Algebra = An Algorithm-Oriented Introduction / by: (Language materials, printed)

Arithmetic and Algebraic Circuits by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers / by: (Language materials, printed)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra = In Honour of Peter Paule on his 60th Birthday / by: (Language materials, printed)

Multivariate Public Key Cryptosystems by: (Language materials, printed)

Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations / by: (Language materials, printed)

An Introduction to Computational Origami by: (Language materials, printed)

Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Solving Polynomial Equations = Foundations, Algorithms, and Applications / by: (Language materials, printed)

Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / by: (Language materials, printed)

Rational Algebraic Curves = A Computer Algebra Approach / by: (Language materials, printed)

Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (Language materials, printed)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (Language materials, printed)

Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / by: (Language materials, printed)

WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings / by: (Language materials, printed)

Arithmetic of finite fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers / by: (Language materials, printed)

Computer Graphics and Geometric Modeling = Implementation and Algorithms / by: (Language materials, printed)

Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by: (Language materials, printed)

Mathematics of Surfaces XI = 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by: (Language materials, printed)

Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (Language materials, printed)

Commutative algebra = constructive methods : finite projective modules / by: (Language materials, printed)

Using Algebraic Geometry by: (Language materials, printed)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Language materials, printed)

Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / by: (Language materials, printed)

Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (Language materials, printed)

Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (Language materials, printed)

Rigorous software development = an introduction to program verification / by: (Language materials, printed)

Symbolic Integration.. I,. Transcendental Functions by: (Language materials, printed)

Computational Commutative Algebra.. 2 by: (Language materials, printed)

Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (Language materials, printed)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (Language materials, printed)

Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (Language materials, printed)

Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings / by: (Language materials, printed)

Computational processing of the Portuguese language = 8th international conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 proceedings / by: (Language materials, printed)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (Language materials, printed)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (Language materials, printed)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (Language materials, printed)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (Language materials, printed)

Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / by: (Language materials, printed)

Computer Graphics and Geometric Modeling = Mathematics / by: (Language materials, printed)

Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (Language materials, printed)

Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Coding Theory and Applications = Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (Language materials, printed)

Programming languages = an active learning approach / by: (Language materials, printed)

Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (Language materials, printed)

Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / by: (Language materials, printed)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (Language materials, printed)

Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (Language materials, printed)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (Language materials, printed)

Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (Language materials, printed)

Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: (Language materials, printed)

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (Language materials, printed)

Intelligent Computer Mathematics = 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / by: (Language materials, printed)

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (Language materials, printed)

Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (Language materials, printed)

Getting Started with MuPAD by: (Language materials, printed)

High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (Language materials, printed)

Global Optimization and Constraint Satisfaction = Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by: (Language materials, printed)

Provable security = third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings / by: (Language materials, printed)

Relations and kleene algebra in computer science = 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / by: (Language materials, printed)

Selected Areas in Cryptography = 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / by: (Language materials, printed)

Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (Language materials, printed)

Cryptography and coding = 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings / by: (Language materials, printed)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (Language materials, printed)

Advances in combinatorial mathematics = proceedings of the Waterloo Workshop in Computer Algebra 2008 / by: (Language materials, printed)

Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (Language materials, printed)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (Language materials, printed)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (Language materials, printed)

Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (Language materials, printed)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (Language materials, printed)

Reasoning web = semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (Language materials, printed)

Information security theory and practice = smart devices, pervasive systems, and ubiquitous networks ; third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009 ; proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2009 = 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / by: (Language materials, printed)

Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Language materials, printed)

Approximate commutative algebra by: (Language materials, printed)

Mathematical methods in counterterrorism by: (Language materials, printed)

Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Language materials, printed)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Language materials, printed)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings / by: (Language materials, printed)

String processing and information retrieval = 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings / by: (Language materials, printed)

Selected Areas in Cryptography = 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers / by: (Language materials, printed)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (Language materials, printed)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (Language materials, printed)

Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (Language materials, printed)

Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (Language materials, printed)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (Language materials, printed)

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Language materials, printed)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Language materials, printed)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (Language materials, printed)

Guide to geometric algebra in practice by: (Language materials, printed)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (Language materials, printed)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (Language materials, printed)

Constructive commutative algebra = projective modules over polynomial rings and dynamical Gröbner bases / by: (Language materials, printed)

Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Language materials, printed)

Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / by: (Language materials, printed)

Mathematical modeling of technological processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings / by: (Language materials, printed)

Mathematica = a problem-centered approach / by: (Language materials, printed)

Design, analysis and test of logic circuits under uncertainty by: (Language materials, printed)

Symmetry and pattern in projective geometry by: (Language materials, printed)

WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings / by: (Language materials, printed)

Polyhedral and algebraic methods in computational geometry by: (Language materials, printed)

Probabilistic group theory, combinatorics, and computing = lectures from the Fifth de Brun Workshop / by: (Language materials, printed)

Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Quantum attacks on public-key cryptosystems by: (Language materials, printed)

Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Intelligent computer mathematics = MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 : proceedings / by: (Language materials, printed)

Formal grammar = 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012 : revised selected papers, Dusseldorf, Germany, August 2013 : proceedings / by: (Language materials, printed)

Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Belief-based stability in coalition formation with uncertainty = an intelligent agents' perspective / by: (Language materials, printed)

Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings / by: (Language materials, printed)

Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / by: (Language materials, printed)

Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers / by: (Language materials, printed)

Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings / by: (Language materials, printed)

Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (Language materials, printed)

Dynamic brain - from neural spikes to behaviors = 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures / by: (Language materials, printed)

Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (Language materials, printed)

Research in cryptology = 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 by: (Language materials, printed)

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (Language materials, printed)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (Language materials, printed)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (Language materials, printed)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Language materials, printed)

Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (Language materials, printed)

Formal grammar = 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised selected papers / by: (Language materials, printed)

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings / by: (Language materials, printed)

Guide to computational geometry processing = foundations, algorithms, and methods / by: (Language materials, printed)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Language materials, printed)

Computer algebra in quantum field theory = integration, summation and special functions / by: (Language materials, printed)

Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers / by: (Language materials, printed)

Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings / by: (Language materials, printed)

Low rank approximation = algorithms, implementation, applications / by: (Language materials, printed)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (Language materials, printed)

Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (Language materials, printed)

Sets, logic and maths for computing by: (Language materials, printed)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (Language materials, printed)

Fuzzy computational ontologies in contexts = formal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (Language materials, printed)

SOFSEM 2009 = theory and practice of computer science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009 : proceedings / by: (Language materials, printed)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Language materials, printed)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Language materials, printed)

Implicit curves and surfaces = mathematics, data structures and algorithms / by: (Language materials, printed)

Sets, Logic and Maths for Computing by: (Language materials, printed)

Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / by: (Language materials, printed)

Language and automata theory and applications = 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 = 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)

Computer algebra and polynomials = applications of algebra and number theory / by: (Language materials, printed)

Fuzzy logic = an introductory course for engineering students / by: (Language materials, printed)

Fuzzy algebraic hyperstructures = an introduction / by: (Language materials, printed)

Geospatial algebraic computations = theory and applications / by: (Language materials, printed)

Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (Language materials, printed)

WALCOM = Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings / by: (Language materials, printed)

Fuzzy logic of quasi-truth = an algebraic treatment / by: (Language materials, printed)

Logic, language, information, and computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (Language materials, printed)

Formal grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings / by: (Language materials, printed)

Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Language materials, printed)

Arithmetic of finite fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers / by: (Language materials, printed)

String analysis for software verification and security by: (Language materials, printed)

The symbolic computation of integrability structures for partial differential equations by: (Language materials, printed)

Coding theory and applications = 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings / by: (Language materials, printed)

Compact representations for the design of quantum logic by: (Language materials, printed)

Tensor Eigenvalues and their applications by: (Language materials, printed)

A geometric algebra invitation to space-time physics, robotics and molecular geometry by: (Language materials, printed)

Monomial ideals and their decompositions by: (Language materials, printed)

Arithmetic of finite fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018 : revised selected papers / by: (Language materials, printed)

Logic, language, information, and computation = 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (Language materials, printed)

Code-based cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019 : revised selected papers / by: (Language materials, printed)

Algorithms in Invariant Theory by: (Language materials, printed)

Bilinear control systems = matrices in action / by: (Language materials, printed)

Loewy decomposition of linear differential equations by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by: (Language materials, printed)

Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / by: (Language materials, printed)

Fuzzy Logic = An Introductory Course for Engineering Students / by: (Language materials, printed)

Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / by: (Language materials, printed)

Mathematica®: A Problem-Centered Approach by: (Language materials, printed)

Commutative Algebra: Constructive Methods = Finite Projective Modules / by: (Language materials, printed)

Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / by: (Language materials, printed)

Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / by: (Language materials, printed)

Computer Algebra and Polynomials = Applications of Algebra and Number Theory / by: (Language materials, printed)

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / by: (Language materials, printed)

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by: (Language materials, printed)

Fuzzy Algebraic Hyperstructures = An Introduction / by: (Language materials, printed)

Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by: (Language materials, printed)

Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / by: (Language materials, printed)

Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / by: (Language materials, printed)

Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment by: (Language materials, printed)

Geospatial Algebraic Computations = Theory and Applications / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (Language materials, printed)

Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / by: (Language materials, printed)

Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by: (Language materials, printed)

A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry by: (Language materials, printed)

The Gröbner Cover by: (Language materials, printed)

Arithmetic of Finite Fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / by: (Language materials, printed)

Monomial Ideals and Their Decompositions by: (Language materials, printed)

Tensor Eigenvalues and Their Applications by: (Language materials, printed)

Low-Rank Approximation = Algorithms, Implementation, Applications / by: (Language materials, printed)

Beginning MATLAB and Simulink = From Novice to Professional / by: (Language materials, printed)

Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by: (Language materials, printed)

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory by: (Language materials, printed)

Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers / by: (Language materials, printed)