Symbolic and Algebraic Manipulation.

Mathematics of Surfaces XI = 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by: (書目-語言資料,印刷品)

Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Commutative algebra = constructive methods : finite projective modules / by: (書目-語言資料,印刷品)

Using Algebraic Geometry by: (書目-語言資料,印刷品)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / by: (書目-語言資料,印刷品)

Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Rigorous software development = an introduction to program verification / by: (書目-語言資料,印刷品)

Symbolic Integration.. I,. Transcendental Functions by: (書目-語言資料,印刷品)

Computational Commutative Algebra.. 2 by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (書目-語言資料,印刷品)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (書目-語言資料,印刷品)

Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (書目-語言資料,印刷品)

Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings / by: (書目-語言資料,印刷品)

Computational processing of the Portuguese language = 8th international conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 proceedings / by: (書目-語言資料,印刷品)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-語言資料,印刷品)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Computer Graphics and Geometric Modeling = Mathematics / by: (書目-語言資料,印刷品)

Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Coding Theory and Applications = Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings / by: (書目-語言資料,印刷品)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programming languages = an active learning approach / by: (書目-語言資料,印刷品)

Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (書目-語言資料,印刷品)

Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / by: (書目-語言資料,印刷品)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (書目-語言資料,印刷品)

Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (書目-語言資料,印刷品)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (書目-語言資料,印刷品)

Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: (書目-語言資料,印刷品)

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (書目-語言資料,印刷品)

Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Getting Started with MuPAD by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Global Optimization and Constraint Satisfaction = Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by: (書目-語言資料,印刷品)

Provable security = third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Selected Areas in Cryptography = 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / by: (書目-語言資料,印刷品)

Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Cryptography and coding = 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings / by: (書目-語言資料,印刷品)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Advances in combinatorial mathematics = proceedings of the Waterloo Workshop in Computer Algebra 2008 / by: (書目-語言資料,印刷品)

Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (書目-語言資料,印刷品)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (書目-語言資料,印刷品)

Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-語言資料,印刷品)

Reasoning web = semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Cryptographic hardware and embedded systems - CHES 2009 = 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / by: (書目-語言資料,印刷品)

Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Approximate commutative algebra by: (書目-語言資料,印刷品)

Mathematical methods in counterterrorism by: (書目-語言資料,印刷品)

Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

String processing and information retrieval = 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings / by: (書目-語言資料,印刷品)

Selected Areas in Cryptography = 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers / by: (書目-語言資料,印刷品)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (書目-語言資料,印刷品)

Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (書目-語言資料,印刷品)

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (書目-語言資料,印刷品)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-語言資料,印刷品)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (書目-語言資料,印刷品)

Guide to geometric algebra in practice by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-語言資料,印刷品)

Constructive commutative algebra = projective modules over polynomial rings and dynamical Gröbner bases / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / by: (書目-語言資料,印刷品)

Mathematical modeling of technological processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings / by: (書目-語言資料,印刷品)

Mathematica = a problem-centered approach / by: (書目-語言資料,印刷品)

Design, analysis and test of logic circuits under uncertainty by: (書目-語言資料,印刷品)

Symmetry and pattern in projective geometry by: (書目-語言資料,印刷品)

WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings / by: (書目-語言資料,印刷品)

Polyhedral and algebraic methods in computational geometry by: (書目-語言資料,印刷品)

Probabilistic group theory, combinatorics, and computing = lectures from the Fifth de Brun Workshop / by: (書目-語言資料,印刷品)

Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Quantum attacks on public-key cryptosystems by: (書目-語言資料,印刷品)

Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Formal grammar = 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012 : revised selected papers, Dusseldorf, Germany, August 2013 : proceedings / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Belief-based stability in coalition formation with uncertainty = an intelligent agents' perspective / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / by: (書目-語言資料,印刷品)

Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (書目-語言資料,印刷品)

Dynamic brain - from neural spikes to behaviors = 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures / by: (書目-語言資料,印刷品)

Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (書目-語言資料,印刷品)

Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

A singular introduction to commutative algebra by: (書目-語言資料,印刷品)

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal grammar = 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Guide to computational geometry processing = foundations, algorithms, and methods / by: (書目-語言資料,印刷品)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in quantum field theory = integration, summation and special functions / by: (書目-語言資料,印刷品)

Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial algorithms = 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Low rank approximation = algorithms, implementation, applications / by: (書目-語言資料,印刷品)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Sets, logic and maths for computing by: (書目-語言資料,印刷品)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Fuzzy computational ontologies in contexts = formal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Implicit curves and surfaces = mathematics, data structures and algorithms / by: (書目-語言資料,印刷品)

Sets, Logic and Maths for Computing by: (書目-語言資料,印刷品)

Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / by: (書目-語言資料,印刷品)

Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer algebra and polynomials = applications of algebra and number theory / by: (書目-語言資料,印刷品)

Fuzzy logic = an introductory course for engineering students / by: (書目-語言資料,印刷品)

Fuzzy algebraic hyperstructures = an introduction / by: (書目-語言資料,印刷品)

Geospatial algebraic computations = theory and applications / by: (書目-語言資料,印刷品)

Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (書目-語言資料,印刷品)

WALCOM = Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings / by: (書目-語言資料,印刷品)

Fuzzy logic of quasi-truth = an algebraic treatment / by: (書目-語言資料,印刷品)

Logic, language, information, and computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (書目-語言資料,印刷品)

Formal grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Arithmetic of finite fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

String analysis for software verification and security by: (書目-語言資料,印刷品)

The symbolic computation of integrability structures for partial differential equations by: (書目-語言資料,印刷品)

Coding theory and applications = 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings / by: (書目-語言資料,印刷品)

Compact representations for the design of quantum logic by: (書目-語言資料,印刷品)

Tensor Eigenvalues and their applications by: (書目-語言資料,印刷品)

A geometric algebra invitation to space-time physics, robotics and molecular geometry by: (書目-語言資料,印刷品)

Monomial ideals and their decompositions by: (書目-語言資料,印刷品)

Arithmetic of finite fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Logic, language, information, and computation = 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Code-based cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019 : revised selected papers / by: (書目-語言資料,印刷品)

Algorithms in Invariant Theory by: (書目-語言資料,印刷品)

Bilinear control systems = matrices in action / by: (書目-語言資料,印刷品)

Loewy decomposition of linear differential equations by: (書目-語言資料,印刷品)

Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings / by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Fuzzy Logic = An Introductory Course for Engineering Students / by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Mathematica®: A Problem-Centered Approach by: (書目-語言資料,印刷品)

Commutative Algebra: Constructive Methods = Finite Projective Modules / by: (書目-語言資料,印刷品)

Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computer Algebra and Polynomials = Applications of Algebra and Number Theory / by: (書目-語言資料,印刷品)

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / by: (書目-語言資料,印刷品)

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Fuzzy Algebraic Hyperstructures = An Introduction / by: (書目-語言資料,印刷品)

Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment by: (書目-語言資料,印刷品)

Geospatial Algebraic Computations = Theory and Applications / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by: (書目-語言資料,印刷品)

A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry by: (書目-語言資料,印刷品)

The Gröbner Cover by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Monomial Ideals and Their Decompositions by: (書目-語言資料,印刷品)

Tensor Eigenvalues and Their Applications by: (書目-語言資料,印刷品)

Low-Rank Approximation = Algorithms, Implementation, Applications / by: (書目-語言資料,印刷品)

Beginning MATLAB and Simulink = From Novice to Professional / by: (書目-語言資料,印刷品)

Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory by: (書目-語言資料,印刷品)

Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

An Introduction to Computational Origami by: (書目-語言資料,印刷品)

Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations / by: (書目-語言資料,印刷品)

Multivariate Public Key Cryptosystems by: (書目-語言資料,印刷品)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra = In Honour of Peter Paule on his 60th Birthday / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Arithmetic and Algebraic Circuits by: (書目-語言資料,印刷品)

Computer Algebra = An Algorithm-Oriented Introduction / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

An Invitation to Analytic Combinatorics = From One to Several Variables / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Anti-Differentiation and the Calculation of Feynman Amplitudes by: (書目-語言資料,印刷品)

Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Beginning MATLAB and Simulink = From Beginner to Pro / by: (書目-語言資料,印刷品)

Algebraic Foundations for Applied Topology and Data Analysis by: (書目-語言資料,印刷品)

Integration in Finite Terms: Fundamental Sources by: (書目-語言資料,印刷品)

Formal Methods for Software Engineering = Languages, Methods, Application Domains / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

D-finite functions by: (書目-語言資料,印刷品)

Approximation and online algorithms = 21st International Workshop, WAOA 2023, Amsterdam, the Netherlands, September 7-8, 2023 : proceedings / by: (書目-語言資料,印刷品)

SOFSEM 2024 = theory 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: (書目-語言資料,印刷品)