Symbolic and Algebraic Manipulation.
Overview
| Works: | 257 works in 115 publications in 115 languages | |
|---|---|---|
Titles
Solving Polynomial Equations = Foundations, Algorithms, and Applications /
by:
(Language materials, printed)
Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings /
by:
(Language materials, printed)
Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers /
by:
(Language materials, printed)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(Language materials, printed)
Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(Language materials, printed)
WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Arithmetic of finite fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
by:
(Language materials, printed)
Computer Graphics and Geometric Modeling = Implementation and Algorithms /
by:
(Language materials, printed)
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(Language materials, printed)
Mathematics of Surfaces XI = 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
(Language materials, printed)
Commutative algebra = constructive methods : finite projective modules /
by:
(Language materials, printed)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
by:
(Language materials, printed)
Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Rigorous software development = an introduction to program verification /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
(Language materials, printed)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(Language materials, printed)
Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(Language materials, printed)
Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings /
by:
(Language materials, printed)
Computational processing of the Portuguese language = 8th international conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 proceedings /
by:
(Language materials, printed)
Cognitive Engineering = A Distributed Approach to Machine Intelligence /
by:
(Language materials, printed)
Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers /
by:
(Language materials, printed)
WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers /
by:
(Language materials, printed)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(Language materials, printed)
Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings /
by:
(Language materials, printed)
Coding Theory and Applications = Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
by:
(Language materials, printed)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
(Language materials, printed)
Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
(Language materials, printed)
Logic and games on automatic structures = playing with quantifiers and decompositions /
by:
(Language materials, printed)
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(Language materials, printed)
Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings /
by:
(Language materials, printed)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(Language materials, printed)
Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
by:
(Language materials, printed)
Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Global Optimization and Constraint Satisfaction = Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /
by:
(Language materials, printed)
Provable security = third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Selected Areas in Cryptography = 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers /
by:
(Language materials, printed)
Cryptography and coding = 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings /
by:
(Language materials, printed)
Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers /
by:
(Language materials, printed)
Advances in combinatorial mathematics = proceedings of the Waterloo Workshop in Computer Algebra 2008 /
by:
(Language materials, printed)
Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(Language materials, printed)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(Language materials, printed)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(Language materials, printed)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
by:
(Language materials, printed)
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
(Language materials, printed)
Reasoning web = semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures /
by:
(Language materials, printed)
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:
(Language materials, printed)
Cryptographic hardware and embedded systems - CHES 2009 = 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings /
by:
(Language materials, printed)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Language materials, printed)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
String processing and information retrieval = 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings /
by:
(Language materials, printed)
Selected Areas in Cryptography = 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers /
by:
(Language materials, printed)
Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /
by:
(Language materials, printed)
Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(Language materials, printed)
Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
(Language materials, printed)
The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(Language materials, printed)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
by:
(Language materials, printed)
Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(Language materials, printed)
Constructive commutative algebra = projective modules over polynomial rings and dynamical Gröbner bases /
by:
(Language materials, printed)
Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(Language materials, printed)
Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Mathematical modeling of technological processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Probabilistic group theory, combinatorics, and computing = lectures from the Fifth de Brun Workshop /
by:
(Language materials, printed)
Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers /
by:
(Language materials, printed)
Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal grammar = 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012 : revised selected papers, Dusseldorf, Germany, August 2013 : proceedings /
by:
(Language materials, printed)
Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings /
by:
(Language materials, printed)
Belief-based stability in coalition formation with uncertainty = an intelligent agents' perspective /
by:
(Language materials, printed)
Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings /
by:
(Language materials, printed)
Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers /
by:
(Language materials, printed)
Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings /
by:
(Language materials, printed)
Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
by:
(Language materials, printed)
Dynamic brain - from neural spikes to behaviors = 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
by:
(Language materials, printed)
Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(Language materials, printed)
Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
by:
(Language materials, printed)
Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
by:
(Language materials, printed)
Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(Language materials, printed)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings /
by:
(Language materials, printed)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(Language materials, printed)
Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings /
by:
(Language materials, printed)
Formal grammar = 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Guide to computational geometry processing = foundations, algorithms, and methods /
by:
(Language materials, printed)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Language materials, printed)
Computer algebra in quantum field theory = integration, summation and special functions /
by:
(Language materials, printed)
Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings /
by:
(Language materials, printed)
Combinatorial algorithms = 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers /
by:
(Language materials, printed)
Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings /
by:
(Language materials, printed)
Low rank approximation = algorithms, implementation, applications /
by:
(Language materials, printed)
Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(Language materials, printed)
Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(Language materials, printed)
Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Fuzzy computational ontologies in contexts = formal models of knowledge representation with membership degree and typicality of objects, and their applications /
by:
(Language materials, printed)
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:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(Language materials, printed)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(Language materials, printed)
Implicit curves and surfaces = mathematics, data structures and algorithms /
by:
(Language materials, printed)
Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(Language materials, printed)
Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computer algebra and polynomials = applications of algebra and number theory /
by:
(Language materials, printed)
Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
by:
(Language materials, printed)
WALCOM = Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(Language materials, printed)
Logic, language, information, and computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(Language materials, printed)
Formal grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(Language materials, printed)
Arithmetic of finite fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers /
by:
(Language materials, printed)
The symbolic computation of integrability structures for partial differential equations
by:
(Language materials, printed)
Coding theory and applications = 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings /
by:
(Language materials, printed)
A geometric algebra invitation to space-time physics, robotics and molecular geometry
by:
(Language materials, printed)
Arithmetic of finite fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018 : revised selected papers /
by:
(Language materials, printed)
Logic, language, information, and computation = 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings /
by:
(Language materials, printed)
Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(Language materials, printed)
Code-based cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019 : revised selected papers /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(Language materials, printed)
Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(Language materials, printed)
Commutative Algebra: Constructive Methods = Finite Projective Modules /
by:
(Language materials, printed)
Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Computer Algebra and Polynomials = Applications of Algebra and Number Theory /
by:
(Language materials, printed)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(Language materials, printed)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(Language materials, printed)
A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
by:
(Language materials, printed)
Arithmetic of Finite Fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Low-Rank Approximation = Algorithms, Implementation, Applications /
by:
(Language materials, printed)
Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
by:
(Language materials, printed)
Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(Language materials, printed)
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra = In Honour of Peter Paule on his 60th Birthday /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
An Invitation to Analytic Combinatorics = From One to Several Variables /
by:
(Language materials, printed)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima /
by:
(Language materials, printed)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings /
by:
(Language materials, printed)
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers /
by:
(Language materials, printed)
Approximation and online algorithms = 21st International Workshop, WAOA 2023, Amsterdam, the Netherlands, September 7-8, 2023 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Graph-theoretic concepts in computer science = 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers /
by:
(Language materials, printed)
SOFSEM 2025 = theory 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:
(Language materials, printed)
SOFSEM 2025 = theory 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:
(Language materials, printed)
Approximation and online algorithms = 22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Arithmetic of finite fields = 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024 : revised selected papers /
by:
(Language materials, printed)
Algorithms and complexity = 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
Algorithms and complexity = 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Show more
Fewer
Subjects