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: (書目-電子資源)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Foreword by Alan Bundy / by: (書目-電子資源)

Mathematical Software - ICMS 2006Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / by: (書目-電子資源)

Sequences and Their Applications u SETA 20064th International Conference, Beijing, China, September 24-28, 2006, Proceedings / by: (書目-電子資源)

Computer Algebra in Scientific Computing (vol. # 4194)9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings / by: (書目-電子資源)

Theory and Applications of Relational Structures as Knowledge Instruments IIInternational Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / by: (書目-電子資源)

Discovering Mathematics with MagmaReducing the Abstract to the Concrete / by: (書目-電子資源)

Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (書目-電子資源)

Algorithms in Invariant Theory by: (書目-電子資源)

Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-電子資源)

Term Rewriting and Applications16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by: (書目-電子資源)

Global Optimization and Constraint SatisfactionSecond International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by: (書目-電子資源)

Sequences and Their Applications - SETA 2004Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (書目-電子資源)

Advanced Encryption Standard - AES4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Mathematics of Surfaces XI11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by: (書目-電子資源)

Algebra and Coalgebra in Computer ScienceFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (書目-電子資源)

Computer Algebra in Scientific Computing :8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (書目-電子資源)

Arithmetic of Finite Fields2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (書目-電子資源)

Rewriting Techniques and Applications19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: (書目-電子資源)

Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Algebraic BiologyThird International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / by: (書目-電子資源)

Pairing-Based Cryptography -- Pairing 2008Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Reliable Implementation of Real Number Algorithms: Theory and PracticeInternational Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Coding Theory and ApplicationsSecond International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings / by: (書目-電子資源)

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

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

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

Computer mathematics8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (書目-語言資料,印刷品)

Language and automata theory and applicationssecond international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-語言資料,印刷品)

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

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: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-電子資源)

Language and automata theory and applicationsthird international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-電子資源)

Implicit curves and surfacesmathematics, data structures and algorithms / by: (書目-電子資源)

Applied algebra, algebraic algorithms and error-correcting codes18th international symposium, AAECC-18, Tarragona, Spain, June 8-12, 2009 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (書目-電子資源)

Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (書目-電子資源)

Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / by: (書目-電子資源)

Developments in language theory13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Rough sets and knowledge technology4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (書目-電子資源)

Bilinear control systemsmatrices in action / by: (書目-電子資源)

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: (書目-電子資源)

Fast Software Encryption16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / by: (書目-電子資源)

Mathematical methods in counterterrorism by: (書目-電子資源)

Pairing-based cryptography - Pairing 2009Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

String processing and information retrieval16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings / by: (書目-電子資源)

Selected Areas in Cryptography15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers / by: (書目-電子資源)

Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Reasoning websemantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (書目-電子資源)

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: (書目-電子資源)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 200911th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / by: (書目-電子資源)

Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (書目-電子資源)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Approximate commutative algebra by: (書目-電子資源)

Computer algebra in scientific computing11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (書目-電子資源)

Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (書目-電子資源)

Comparative genomicsinternational workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (書目-電子資源)

Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Provable securitythird international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings / by: (書目-電子資源)

Selected Areas in Cryptography16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / by: (書目-電子資源)

Combinatorial algorithms20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (書目-電子資源)

Cryptography and coding12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings / by: (書目-電子資源)

Parameterized and exact computation4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Advances in combinatorial mathematicsproceedings of the Waterloo Workshop in Computer Algebra 2008 / by: (書目-電子資源)

Graph theoretic concepts in computer science35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / by: (書目-電子資源)

WALCOMalgorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / by: (書目-電子資源)

Graph drawing17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-電子資源)

Arithmetic of finite fieldsthird international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings / by: (書目-電子資源)

Algorithmic number theory9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010 : proceedings / by: (書目-電子資源)

Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-電子資源)

Mathematicaa problem-centered approach / by: (書目-電子資源)

Involutionthe formal theory of differential equations and its applications in computer algebra / by: (書目-電子資源)

Optimizationtheory and practice / by: (書目-電子資源)

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: (書目-電子資源)

Computer algebra in scientific computing12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings / by: (書目-電子資源)

Logic, language and meaning17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, revised selected papers / by: (書目-電子資源)

Logics in artificial intelligence12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings / by: (書目-電子資源)

Cryptology and network security9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, proceedings / by: (書目-電子資源)

Combinatorial optimization and applications4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part I / by: (書目-電子資源)

Combinatorial optimization and applications4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part II / by: (書目-電子資源)

Principles of distributed systems14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings / by: (書目-電子資源)

Parameterized and exact computation5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / by: (書目-電子資源)

Rigorous software developmentan introduction to program verification / by: (書目-電子資源)

Graph drawing18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-電子資源)

WALCOMalgorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Combinatorial algorithms21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / by: (書目-電子資源)

Formal grammar14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (書目-電子資源)

Logic, language, information and computation18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (書目-電子資源)

Functional and constraint logic programming19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (書目-電子資源)

Relational and algebraic methods in computer science12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-電子資源)

Algebraic informatics4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (書目-電子資源)

Functional and constraint logic programming20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (書目-電子資源)

Logic and games on automatic structuresplaying with quantifiers and decompositions / by: (書目-電子資源)

Guide to geometric algebra in practice by: (書目-電子資源)

Computer algebra in scientific computing13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-電子資源)

Models of computation in context7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (書目-電子資源)

Logic, rationality, and interactionthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (書目-電子資源)

Algebraic foundations in computer scienceessays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (書目-電子資源)

Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (書目-電子資源)

Automated deduction in geometry8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (書目-電子資源)

Combinatorial algorithms22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Principles of distributed systems15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (書目-電子資源)

Low rank approximationalgorithms, implementation, applications / by: (書目-電子資源)

Graph drawing19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Algebraic and numeric biology4th 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 computation6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (書目-電子資源)

Fuzzy computational ontologies in contextsformal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (書目-電子資源)

Guide to computational geometry processingfoundations, algorithms, and methods / by: (書目-電子資源)

How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (書目-電子資源)

Arithmetic of finite fields4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (書目-電子資源)

Formal grammar15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised selected papers / by: (書目-電子資源)

Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Loewy decomposition of linear differential equations by: (書目-電子資源)

Relational and algebraic methods in computer science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-電子資源)

Computational methods in systems biology10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (書目-電子資源)

Research in cryptology4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

Comparative genomicsinternational workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (書目-電子資源)

Dynamic brain - from neural spikes to behaviors12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures / by: (書目-電子資源)

Provable securitysecond international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (書目-電子資源)

Research in cryptologysecond 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 systems16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (書目-電子資源)

Combinatorial algorithms23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Algorithms and computation8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / by: (書目-電子資源)

Language and automata theory and applications8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Relational and algebraic methods in computer science14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings / by: (書目-電子資源)

Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal grammar19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / by: (書目-電子資源)

Artificial intelligence and symbolic computation12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings / by: (書目-電子資源)

Computer algebra and polynomialsapplications of algebra and number theory / by: (書目-電子資源)

Fuzzy logican introductory course for engineering students / by: (書目-電子資源)

Fuzzy algebraic hyperstructuresan introduction / by: (書目-電子資源)

Language and automata theory and applications9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / by: (書目-電子資源)

WALCOMalgorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings / by: (書目-電子資源)

Arithmetic of finite fields5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers / by: (書目-電子資源)

Intelligent computer mathematicsInternational Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (書目-電子資源)

Automated deduction in geometry10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Commutative algebraconstructive methods : finite projective modules / by: (書目-電子資源)

Mathematical modeling of technological processes8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings / by: (書目-電子資源)

Computational methods in systems biology13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-電子資源)

Logic, rationality, and interaction5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / by: (書目-電子資源)

Constructive commutative algebraprojective modules over polynomial rings and dynamical Gröbner bases / by: (書目-電子資源)

Mathematicaa problem-centered approach / by: (書目-電子資源)

Geospatial algebraic computationstheory and applications / by: (書目-電子資源)

Language and automata theory and applications10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (書目-電子資源)

WALCOMAlgorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings / by: (書目-電子資源)

Fuzzy logic of quasi-truthan algebraic treatment / by: (書目-電子資源)

Logic, language, information, and computation23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (書目-電子資源)

Formal grammar20th 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 biology14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (書目-電子資源)

Arithmetic of finite fields6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers / by: (書目-電子資源)

Coding theory and applications5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings / by: (書目-電子資源)

Compact representations for the design of quantum logic by: (書目-電子資源)

String analysis for software verification and security by: (書目-電子資源)

The symbolic computation of integrability structures for partial differential equations 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 fields7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018 : revised selected papers / by: (書目-電子資源)

The Grobner cover by: (書目-電子資源)

Low-rank approximationalgorithms, implementation, applications / by: (書目-電子資源)

Elliptic integrals, elliptic functions and modular forms in quantum field theory by: (書目-電子資源)

Finite difference methodstheory and applications : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018 : revised selected papers / by: (書目-電子資源)

Logic, language, information, and computation24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-電子資源)

Code-based cryptography7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019 : revised selected papers / by: (書目-電子資源)

Beginning MATLAB and Simulinkfrom novice to professional / by: (書目-電子資源)

Practical MATLAB modeling with Simulinkprogramming and simulating ordinary and partial differential equations / by: (書目-電子資源)

Approximation and online algorithms17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, revised selected papers / by: (書目-電子資源)

An introduction to computational origami by: (書目-電子資源)

Algorithmic combinatoricsenumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th birthday / by: (書目-電子資源)

Multivariate public key cryptosystems by: (書目-電子資源)

Graph-theoretic concepts in computer science46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020 : revised selected papers / by: (書目-電子資源)

An invitation to analytic combinatoricsfrom one to several variables / by: (書目-電子資源)

Algorithms and complexity12th International Conference, CIAC 2021, virtual event, May 10-12, 2021 : proceedings / by: (書目-電子資源)

Arithmetic of finite fields8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020 : revised selected and invited papers / by: (書目-電子資源)

Arithmetic and algebraic circuits by: (書目-電子資源)

Computer algebraan algorithm-oriented introduction / by: (書目-電子資源)

Algorithms and data structures17th International Symposium, WADS 2021, virtual event, August 9-11, 2021 : proceedings / by: (書目-電子資源)

Approximation and online algorithms18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020 : revised selected papers / by: (書目-電子資源)

Plane finite elements for two-dimensional problemsapplication of the computer algebra system Maxima / by: (書目-電子資源)

Anti-differentiation and the calculation of Feynman amplitudes by: (書目-電子資源)

Integration in finite termsfundamental sources / by: (書目-電子資源)

Formal methods for software engineeringlanguages, methods, application domains / by: (書目-電子資源)

Graph-theoretic concepts in computer science48th International Workshop, WG 2022, Tubingen, Germany, June 22-24, 2022 : revised selected papers / by: (書目-電子資源)

Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology / by: (書目-電子資源)

Approximation and online algorithms20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022 : proceedings / by: (書目-電子資源)

Arithmetic of finite fields9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022 : revised selected papers / by: (書目-電子資源)

Formal verification of structurally complex multipliers by: (書目-電子資源)

Algorithms and complexity13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Algorithms and data structures18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31-August 2, 2023 : proceedings / by: (書目-電子資源)

Geometric patterns with creative codingcoding for the arts / by: (書目-電子資源)

Graph-theoretic concepts in computer science49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (書目-電子資源)

Approximation and online algorithms21st International Workshop, WAOA 2023, Amsterdam, the Netherlands, September 7-8, 2023 : proceedings / by: (書目-電子資源)

D-finite functions by: (書目-電子資源)

Computing and combinatorics29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part I / by: (書目-電子資源)

Computing and combinatorics29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part II / by: (書目-電子資源)

Hadamard products of projective varieties by: (書目-電子資源)

Applied mathematical analysis and computations I1st SGMC, Statesboro, USA, April 2-3, 2021 (Virtual) / by: (書目-電子資源)

Applied mathematical analysis and computations II1st SGMC, Statesboro, USA, April 2-3, 2021 (Virtual) / by: (書目-電子資源)

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: (書目-電子資源)

Algorithms and complexity14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.Part I / by: (書目-電子資源)

Algorithms and complexity14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.Part II / by: (書目-電子資源)

Graph-theoretic concepts in computer science50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Approximation and online algorithms22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024 : proceedings / by: (書目-電子資源)

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part III / by: (書目-電子資源)

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: (書目-電子資源)

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part II / by: (書目-電子資源)

Arithmetic of finite fields10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024 : revised selected papers / by: (書目-電子資源)

The computer algebra system OSCARalgorithms and examples / by: (書目-電子資源)

Symbolic mathematics with Python by: (書目-電子資源)