Symbolic and Algebraic Manipulation.

Relations and Kleene Algebra in Computer Science9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / by: (Electronic resources)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Foreword by Alan Bundy / by: (Electronic resources)

Mathematical Software - ICMS 2006Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / by: (Electronic resources)

Sequences and Their Applications u SETA 20064th International Conference, Beijing, China, September 24-28, 2006, Proceedings / by: (Electronic resources)

Computer Algebra in Scientific Computing (vol. # 4194)9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings / by: (Electronic resources)

Theory and Applications of Relational Structures as Knowledge Instruments IIInternational Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / by: (Electronic resources)

Discovering Mathematics with MagmaReducing the Abstract to the Concrete / by: (Electronic resources)

Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Electronic resources)

Algorithms in Invariant Theory by: (Electronic resources)

Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (Electronic resources)

Term Rewriting and Applications16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by: (Electronic resources)

Global Optimization and Constraint SatisfactionSecond International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by: (Electronic resources)

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

Advanced Encryption Standard - AES4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (Electronic resources)

Mathematics of Surfaces XI11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by: (Electronic resources)

Algebra and Coalgebra in Computer ScienceFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (Electronic resources)

Computer Algebra in Scientific Computing :8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (Electronic resources)

Arithmetic of Finite Fields2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (Electronic resources)

Rewriting Techniques and Applications19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: (Electronic resources)

Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (Electronic resources)

Intelligent Computer Mathematics9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / by: (Electronic resources)

Algebraic BiologyThird International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / by: (Electronic resources)

Pairing-Based Cryptography -- Pairing 2008Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (Electronic resources)

Reliable Implementation of Real Number Algorithms: Theory and PracticeInternational Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (Electronic resources)

Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Electronic resources)

Coding Theory and ApplicationsSecond International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings / by: (Electronic resources)

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

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

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

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

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

Programming languagesan active learning approach / by: (Language materials, printed)

SOFSEM 2009theory 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: (Electronic resources)

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Electronic resources)

Language and automata theory and applicationsthird international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Electronic resources)

Implicit curves and surfacesmathematics, data structures and algorithms / by: (Electronic resources)

Applied algebra, algebraic algorithms and error-correcting codes18th international symposium, AAECC-18, Tarragona, Spain, June 8-12, 2009 : proceedings / by: (Electronic resources)

Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (Electronic resources)

Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (Electronic resources)

Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / by: (Electronic resources)

Developments in language theory13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (Electronic resources)

Rough sets and knowledge technology4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (Electronic resources)

Bilinear control systemsmatrices in action / by: (Electronic resources)

Intelligent computer mathematics16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings / by: (Electronic resources)

Fast Software Encryption16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / by: (Electronic resources)

Mathematical methods in counterterrorism by: (Electronic resources)

Pairing-based cryptography - Pairing 2009Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Electronic resources)

Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Electronic resources)

Approximation, randomization, and combinatorial optimizationalgorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings / by: (Electronic resources)

String processing and information retrieval16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings / by: (Electronic resources)

Selected Areas in Cryptography15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers / by: (Electronic resources)

Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (Electronic resources)

Reasoning websemantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (Electronic resources)

Information security theory and practicesmart devices, pervasive systems, and ubiquitous networks ; third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009 ; proceedings / by: (Electronic resources)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (Electronic resources)

Cryptographic hardware and embedded systems - CHES 200911th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / by: (Electronic resources)

Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (Electronic resources)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Electronic resources)

Approximate commutative algebra by: (Electronic resources)

Computer algebra in scientific computing11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (Electronic resources)

Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (Electronic resources)

Comparative genomicsinternational workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (Electronic resources)

Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (Electronic resources)

Relations and kleene algebra in computer science11th 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: (Electronic resources)

Provable securitythird international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings / by: (Electronic resources)

Selected Areas in Cryptography16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / by: (Electronic resources)

Combinatorial algorithms20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (Electronic resources)

Cryptography and coding12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings / by: (Electronic resources)

Parameterized and exact computation4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (Electronic resources)

Advances in combinatorial mathematicsproceedings of the Waterloo Workshop in Computer Algebra 2008 / by: (Electronic resources)

Graph theoretic concepts in computer science35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / by: (Electronic resources)

WALCOMalgorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / by: (Electronic resources)

Graph drawing17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (Electronic resources)

Arithmetic of finite fieldsthird international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings / by: (Electronic resources)

Algorithmic number theory9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010 : proceedings / by: (Electronic resources)

Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (Electronic resources)

Mathematicaa problem-centered approach / by: (Electronic resources)

Involutionthe formal theory of differential equations and its applications in computer algebra / by: (Electronic resources)

Optimizationtheory and practice / by: (Electronic resources)

The mathematics of language10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers / by: (Electronic resources)

Computer algebra in scientific computing12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings / by: (Electronic resources)

Logic, language and meaning17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, revised selected papers / by: (Electronic resources)

Logics in artificial intelligence12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings / by: (Electronic resources)

Cryptology and network security9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, proceedings / by: (Electronic resources)

Combinatorial optimization and applications4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part I / by: (Electronic resources)

Combinatorial optimization and applications4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part II / by: (Electronic resources)

Principles of distributed systems14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings / by: (Electronic resources)

Parameterized and exact computation5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / by: (Electronic resources)

Rigorous software developmentan introduction to program verification / by: (Electronic resources)

Graph drawing18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (Electronic resources)

WALCOMalgorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (Electronic resources)

Recent advances in constraints14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (Electronic resources)

Combinatorial algorithms21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / by: (Electronic resources)

Formal grammar14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (Electronic resources)

Logic, language, information and computation18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (Electronic resources)

Functional and constraint logic programming19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (Electronic resources)

Relational and algebraic methods in computer science12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (Electronic resources)

Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (Electronic resources)

Algebraic informatics4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (Electronic resources)

Functional and constraint logic programming20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (Electronic resources)

Logic and games on automatic structuresplaying with quantifiers and decompositions / by: (Electronic resources)

Guide to geometric algebra in practice by: (Electronic resources)

Computer algebra in scientific computing13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (Electronic resources)

Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (Electronic resources)

The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Electronic resources)

Models of computation in context7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (Electronic resources)

Logic, rationality, and interactionthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Electronic resources)

Algebraic foundations in computer scienceessays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (Electronic resources)

Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (Electronic resources)

Automated deduction in geometry8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (Electronic resources)

Combinatorial algorithms22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (Electronic resources)

Principles of distributed systems15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (Electronic resources)

Low rank approximationalgorithms, implementation, applications / by: (Electronic resources)

Graph drawing19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (Electronic resources)

Algebraic and numeric biology4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (Electronic resources)

Sets, logic and maths for computing by: (Electronic resources)

Parameterized and exact computation6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (Electronic resources)

Fuzzy computational ontologies in contextsformal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (Electronic resources)

Guide to computational geometry processingfoundations, algorithms, and methods / by: (Electronic resources)

How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Electronic resources)

Intelligent Computer Mathematics11th 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: (Electronic resources)

Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Electronic resources)

Arithmetic of finite fields4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (Electronic resources)

Formal grammar15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised selected papers / by: (Electronic resources)

Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (Electronic resources)

Loewy decomposition of linear differential equations by: (Electronic resources)

Relational and algebraic methods in computer science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (Electronic resources)

Computational methods in systems biology10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (Electronic resources)

Research in cryptology4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011 : revised selected papers / by: (Electronic resources)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Electronic resources)

Comparative genomicsinternational workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (Electronic resources)

Dynamic brain - from neural spikes to behaviors12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures / by: (Electronic resources)

Provable securitysecond international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (Electronic resources)

Research in cryptologysecond western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (Electronic resources)

A singular introduction to commutative algebra by: (Electronic resources)

Principles of distributed systems16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (Electronic resources)

Combinatorial algorithms23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (Electronic resources)

Algorithms and computation8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / by: (Electronic resources)

Language and automata theory and applications8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / by: (Electronic resources)

Algebraic and algorithmic aspects of differential and integral operators5th 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: (Electronic resources)

Relational and algebraic methods in computer science14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings / by: (Electronic resources)

Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / by: (Electronic resources)

Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Formal grammar19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings / by: (Electronic resources)

Logic, language, information, and computation21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings / by: (Language materials, printed)

Computational methods in systems biology12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / by: (Electronic resources)

Artificial intelligence and symbolic computation12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings / by: (Electronic resources)

Computer algebra and polynomialsapplications of algebra and number theory / by: (Electronic resources)

Fuzzy logican introductory course for engineering students / by: (Electronic resources)

Fuzzy algebraic hyperstructuresan introduction / by: (Electronic resources)

Language and automata theory and applications9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / by: (Electronic resources)

WALCOMalgorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings / by: (Electronic resources)

Arithmetic of finite fields5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers / by: (Electronic resources)

Intelligent computer mathematicsInternational Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / by: (Electronic resources)

Logic, language, information, and computation22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (Electronic resources)

Automated deduction in geometry10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (Electronic resources)

Commutative algebraconstructive methods : finite projective modules / by: (Electronic resources)

Mathematical modeling of technological processes8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings / by: (Electronic resources)

Computational methods in systems biology13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Electronic resources)

Logic, rationality, and interaction5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / by: (Electronic resources)

Constructive commutative algebraprojective modules over polynomial rings and dynamical Gröbner bases / by: (Electronic resources)

Mathematicaa problem-centered approach / by: (Electronic resources)

Geospatial algebraic computationstheory and applications / by: (Electronic resources)

Language and automata theory and applications10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (Electronic resources)

WALCOMAlgorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings / by: (Electronic resources)

Fuzzy logic of quasi-truthan algebraic treatment / by: (Electronic resources)

Logic, language, information, and computation23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (Electronic resources)

Formal grammar20th 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 biology14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Electronic resources)

Arithmetic of finite fields6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers / by: (Electronic resources)

Coding theory and applications5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings / by: (Electronic resources)

Compact representations for the design of quantum logic by: (Electronic resources)

String analysis for software verification and security by: (Electronic resources)

The symbolic computation of integrability structures for partial differential equations by: (Electronic resources)

Tensor Eigenvalues and their applications by: (Electronic resources)

A geometric algebra invitation to space-time physics, robotics and molecular geometry by: (Electronic resources)

Monomial ideals and their decompositions by: (Electronic resources)

Arithmetic of finite fields7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018 : revised selected papers / by: (Electronic resources)

The Grobner cover by: (Electronic resources)

Low-rank approximationalgorithms, implementation, applications / by: (Electronic resources)

Elliptic integrals, elliptic functions and modular forms in quantum field theory by: (Electronic resources)

Finite difference methodstheory and applications : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018 : revised selected papers / by: (Electronic resources)

Logic, language, information, and computation24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (Electronic resources)

Code-based cryptography7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019 : revised selected papers / by: (Electronic resources)

Beginning MATLAB and Simulinkfrom novice to professional / by: (Electronic resources)

Practical MATLAB modeling with Simulinkprogramming and simulating ordinary and partial differential equations / by: (Electronic resources)

Approximation and online algorithms17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, revised selected papers / by: (Electronic resources)

An introduction to computational origami by: (Electronic resources)

Algorithmic combinatoricsenumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th birthday / by: (Electronic resources)

Multivariate public key cryptosystems by: (Electronic resources)

Graph-theoretic concepts in computer science46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020 : revised selected papers / by: (Electronic resources)

An invitation to analytic combinatoricsfrom one to several variables / by: (Electronic resources)

Algorithms and complexity12th International Conference, CIAC 2021, virtual event, May 10-12, 2021 : proceedings / by: (Electronic resources)

Arithmetic of finite fields8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020 : revised selected and invited papers / by: (Electronic resources)

Arithmetic and algebraic circuits by: (Electronic resources)

Computer algebraan algorithm-oriented introduction / by: (Electronic resources)

Algorithms and data structures17th International Symposium, WADS 2021, virtual event, August 9-11, 2021 : proceedings / by: (Electronic resources)

Approximation and online algorithms18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020 : revised selected papers / by: (Electronic resources)

Plane finite elements for two-dimensional problemsapplication of the computer algebra system Maxima / by: (Electronic resources)

Anti-differentiation and the calculation of Feynman amplitudes by: (Electronic resources)

Integration in finite termsfundamental sources / by: (Electronic resources)

Formal methods for software engineeringlanguages, methods, application domains / by: (Electronic resources)

Graph-theoretic concepts in computer science48th International Workshop, WG 2022, Tubingen, Germany, June 22-24, 2022 : revised selected papers / by: (Electronic resources)

Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology / by: (Electronic resources)

Approximation and online algorithms20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022 : proceedings / by: (Electronic resources)

Arithmetic of finite fields9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022 : revised selected papers / by: (Electronic resources)

Formal verification of structurally complex multipliers by: (Electronic resources)

Algorithms and complexity13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023 : proceedings / by: (Electronic resources)

SOFSEM 2023theory and practice of computer science : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Novy Smokovec, Slovakia, January 15-18, 2023 : proceedings / by: (Electronic resources)

Algorithms and data structures18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31-August 2, 2023 : proceedings / by: (Electronic resources)

Geometric patterns with creative codingcoding for the arts / by: (Electronic resources)

Graph-theoretic concepts in computer science49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (Electronic resources)

Approximation and online algorithms21st International Workshop, WAOA 2023, Amsterdam, the Netherlands, September 7-8, 2023 : proceedings / by: (Electronic resources)

D-finite functions by: (Electronic resources)

Computing and combinatorics29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part I / by: (Electronic resources)

Computing and combinatorics29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part II / by: (Electronic resources)

Hadamard products of projective varieties by: (Electronic resources)

Applied mathematical analysis and computations I1st SGMC, Statesboro, USA, April 2-3, 2021 (Virtual) / by: (Electronic resources)

Applied mathematical analysis and computations II1st SGMC, Statesboro, USA, April 2-3, 2021 (Virtual) / by: (Electronic resources)

SOFSEM 2024theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings / by: (Electronic resources)

Algorithms and complexity14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.Part I / by: (Electronic resources)

Algorithms and complexity14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.Part II / by: (Electronic resources)

Graph-theoretic concepts in computer science50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers / by: (Electronic resources)

SOFSEM 2025theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.Part I / by: (Electronic resources)

Approximation and online algorithms22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024 : proceedings / by: (Electronic resources)

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part III / by: (Electronic resources)

SOFSEM 2025theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.Part II / by: (Electronic resources)

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part II / by: (Electronic resources)

Arithmetic of finite fields10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024 : revised selected papers / by: (Electronic resources)

The computer algebra system OSCARalgorithms and examples / by: (Electronic resources)

Symbolic mathematics with Python by: (Electronic resources)