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

Optimization = theory and practice / by: (書目-電子資源)

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

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

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

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

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

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

Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (書目-電子資源)

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

Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / 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: (書目-電子資源)

Symbolic Integration.. I,. Transcendental Functions by: (書目-電子資源)

Getting Started with MuPAD by: (書目-電子資源)

Computer Graphics and Geometric Modeling = Implementation and Algorithms / by: (書目-電子資源)

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

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

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

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

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

Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

Applied algebra, algebraic algorithms and error-correcting codes = 18th international symposium, AAECC-18, Tarragona, Spain, June 8-12, 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: (書目-電子資源)

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

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

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

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

Computational processing of the Portuguese language = 8th international conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 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: (書目-電子資源)

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

Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / 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: (書目-電子資源)

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

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

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

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

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

Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / by: (書目-電子資源)

Using Algebraic Geometry by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : 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: (書目-電子資源)

Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / by: (書目-電子資源)

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

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

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (書目-電子資源)

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

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

Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / 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: (書目-電子資源)

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

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

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

Rational Algebraic Curves = A Computer Algebra Approach / by: (書目-電子資源)

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

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : 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: (書目-電子資源)

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

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

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

Sets, Logic and Maths for Computing 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: (書目-電子資源)

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

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / 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: (書目-電子資源)

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

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

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-電子資源)

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

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

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

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

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

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

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

Mathematica = a problem-centered approach / by: (書目-電子資源)

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

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

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

Solving Polynomial Equations = Foundations, Algorithms, and Applications / by: (書目-電子資源)

Sets, logic and maths for computing by: (書目-電子資源)

Programming languages = an active learning approach / by: (書目-電子資源)

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

Arithmetic of finite fields = third international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. 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: (書目-電子資源)

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)