Symbolic and Algebraic Manipulation.

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

Optimization = theory and practice / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

Symbolic Integration.. I,. Transcendental Functions by: (Electronic resources)

Getting Started with MuPAD by: (Electronic resources)

Computer Graphics and Geometric Modeling = Implementation and Algorithms / by: (Electronic resources)

Guide to computational geometry processing = foundations, algorithms, and methods / by: (Electronic resources)

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

Algorithms in Invariant Theory by: (Electronic resources)

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

Intelligent computer mathematics = 16th 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Using Algebraic Geometry by: (Electronic resources)

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

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

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

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

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

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

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

Bilinear control systems = matrices in action / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Rational Algebraic Curves = A Computer Algebra Approach / by: (Electronic resources)

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

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

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

Rigorous software development = an introduction to program verification / by: (Electronic resources)

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

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

Sets, Logic and Maths for Computing by: (Electronic resources)

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

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

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

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

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

Low rank approximation = algorithms, implementation, applications / by: (Electronic resources)

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

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

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

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

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

Approximate commutative algebra by: (Electronic resources)

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

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

Mathematica = a problem-centered approach / by: (Electronic resources)

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

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

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

Solving Polynomial Equations = Foundations, Algorithms, and Applications / by: (Electronic resources)

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

Programming languages = an active learning approach / by: (Electronic resources)

Implicit curves and surfaces = mathematics, data structures and algorithms / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematical methods in counterterrorism by: (Electronic resources)

The mathematics of language = 10th 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)

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

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

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

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

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

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

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

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (Electronic resources)

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

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