Search Results for - Narrowed by: Computer science. - Symbolic and Algebraic Manipulation.

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-06-04T09:57:48Z

by Dediu, Adrian-Horia. editor.
https://doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources

WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29–31, 2016, Proceedings

2024-06-04T09:57:48Z

by Kaykobad, Mohammad. editor.
https://doi.org/10.1007/978-3-319-30139-6
Format: Electronic Resources

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2024-06-04T09:57:48Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-06-04T09:57:48Z

by Bartocci, Ezio. editor.
https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2024-06-04T09:57:48Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-45641-6
Format: Electronic Resources

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2024-06-04T09:57:48Z

by Väänänen, Jouko. editor.
https://doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-06-04T09:57:48Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

2024-06-04T09:57:48Z

by Gathen, Joachim. editor.
http://dx.doi.org/10.1007/978-3-540-69499-1
Format: Electronic Resources

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

2024-06-04T09:57:48Z

by Kapur, Deepak. editor.
http://dx.doi.org/10.1007/978-3-540-87827-8
Format: Electronic Resources

Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

2024-06-04T09:57:48Z

by Ito, Masami. editor.
http://dx.doi.org/10.1007/978-3-540-85780-8
Format: Electronic Resources

Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers

2024-06-04T09:57:48Z

by Lucks, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-88353-1
Format: Electronic Resources

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-06-04T09:57:48Z

by Martín-Vide, Carlos. editor.
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings

2024-06-04T09:57:48Z

by Golomb, Solomon W. editor.
http://dx.doi.org/10.1007/978-3-540-85912-3
Format: Electronic Resources

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

2024-06-04T09:57:48Z

by Teixeira, António. editor.
http://dx.doi.org/10.1007/978-3-540-85980-2
Format: Electronic Resources

Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

2024-06-04T09:57:48Z

by Baek, Joonsang. editor.
http://dx.doi.org/10.1007/978-3-540-88733-1
Format: Electronic Resources

Coding Theory and Applications Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings

2024-06-04T09:57:48Z

by Barbero, Ángela. editor.
http://dx.doi.org/10.1007/978-3-540-87448-5
Format: Electronic Resources

Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

2024-06-04T09:57:48Z

by Poorten, Alfred J. editor.
http://dx.doi.org/10.1007/978-3-540-79456-1
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2024-06-04T09:57:48Z

by Berghammer, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources

Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures

2024-06-04T09:57:48Z

by Marinaro, Maria. editor.
http://dx.doi.org/10.1007/978-3-540-88853-6
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2024-06-04T09:57:48Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-06-04T09:57:48Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

2024-06-04T09:57:48Z

by Horimoto, Katsuhisa. editor.
http://dx.doi.org/10.1007/978-3-540-85101-1
Format: Electronic Resources

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

2024-06-04T09:57:48Z

by Miculan, Marino. editor.
http://dx.doi.org/10.1007/978-3-540-68103-8
Format: Electronic Resources

Programming Languages An Active Learning Approach

2024-06-04T09:57:48Z

by Lee, Kent. author.
http://dx.doi.org/10.1007/978-0-387-79421-1
Format: Electronic Resources

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

2024-06-04T09:57:48Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: Electronic Resources

Algorithms in Invariant Theory

2024-06-04T09:57:48Z

by Sturmfels, Bernd. author.
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Electronic Resources

Rational Algebraic Curves A Computer Algebra Approach

2024-06-04T09:57:48Z

by Sendra, J. Rafael. author.
http://dx.doi.org/10.1007/978-3-540-73725-4
Format: Electronic Resources

Sets, Logic and Maths for Computing

2024-06-04T09:57:48Z

by Makinson, David. author.
http://dx.doi.org/10.1007/978-1-84628-845-6
Format: Electronic Resources

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers

2024-06-04T09:57:48Z

by Hertling, Peter. editor.
http://dx.doi.org/10.1007/978-3-540-85521-7
Format: Electronic Resources

Pairing-Based Cryptography – Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings

2024-06-04T09:57:48Z

by Galbraith, Steven D. editor.
http://dx.doi.org/10.1007/978-3-540-85538-5
Format: Electronic Resources

Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings

2024-06-04T09:57:48Z

by Nelson, Craig E. editor.
http://dx.doi.org/10.1007/978-3-540-87989-3
Format: Electronic Resources

Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

2024-06-04T09:57:48Z

by Autexier, Serge. editor.
http://dx.doi.org/10.1007/978-3-540-85110-3
Format: Electronic Resources

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-06-04T09:57:48Z

by Mossakowski, Till. editor.
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources

Modelling Distributed Systems

2024-06-04T09:57:48Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2024-06-04T09:57:48Z

by Altenkirch, Thorsten. editor.
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Electronic Resources

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings

2024-06-04T09:57:48Z

by Boztaş, Serdar. editor.
http://dx.doi.org/10.1007/978-3-540-77224-8
Format: Electronic Resources

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-06-04T09:57:48Z

by Anai, Hirokazu. editor.
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2024-06-04T09:57:48Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-06-04T09:57:48Z

by Bozapalidis, Symeon. editor.
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

2024-06-04T09:57:48Z

by Takagi, Tsuyoshi. editor.
http://dx.doi.org/10.1007/978-3-540-73489-5
Format: Electronic Resources

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings

2024-06-04T09:57:48Z

by Martin, Ralph. editor.
http://dx.doi.org/10.1007/978-3-540-73843-5
Format: Electronic Resources

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2024-06-04T09:57:48Z

by Harju, Tero. editor.
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

2024-06-04T09:57:48Z

by Ganzha, Victor G. editor.
http://dx.doi.org/10.1007/978-3-540-75187-8
Format: Electronic Resources

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

2024-06-04T09:57:48Z

by Carlet, Claude. editor.
http://dx.doi.org/10.1007/978-3-540-73074-3
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-06-04T09:57:48Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources

Max-Plus Linear Stochastic Systems and Perturbation Analysis

2024-06-04T09:57:48Z

by Heidergott, Bernd. editor.
http://dx.doi.org/10.1007/978-0-387-38995-0
Format: Electronic Resources

Continuous System Simulation

2024-06-04T09:57:48Z

by Cellier, François E. author.
http://dx.doi.org/10.1007/0-387-30260-3
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-06-04T09:57:48Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

2024-06-04T09:57:48Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/11779148
Format: Electronic Resources

The Mathematica GuideBook for Symbolics

2024-06-04T09:57:48Z

by Trott, Michael. author.
http://dx.doi.org/10.1007/0-387-28815-5
Format: Electronic Resources

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings

2024-06-04T09:57:48Z

by Ganzha, Victor G. editor.
http://dx.doi.org/10.1007/11870814
Format: Electronic Resources

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

2024-06-04T09:57:48Z

by Kohlhase, Michael. author.
http://dx.doi.org/10.1007/11826095
Format: Electronic Resources

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2024-06-04T09:57:48Z

by Iglesias, Andrés. editor.
http://dx.doi.org/10.1007/11832225
Format: Electronic Resources

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2024-06-04T09:57:48Z

by Johnson, Michael. editor.
http://dx.doi.org/10.1007/11784180
Format: Electronic Resources

Algorithmic Number Theory 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

2024-06-04T09:57:48Z

by Hess, Florian. editor.
http://dx.doi.org/10.1007/11792086
Format: Electronic Resources

Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings

2024-06-04T09:57:48Z

by Gong, Guang. editor.
http://dx.doi.org/10.1007/11863854
Format: Electronic Resources

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings

2024-06-04T09:57:48Z

by Fossorier, Marc P. C. editor.
http://dx.doi.org/10.1007/11617983
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

2024-06-04T09:57:48Z

by Filliâtre, Jean-Christophe. editor.
http://dx.doi.org/10.1007/11617990
Format: Electronic Resources

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

2024-06-04T09:57:48Z

by Swart, Harrie. editor.
http://dx.doi.org/10.1007/11964810
Format: Electronic Resources

Fundamentals of Algebraic Graph Transformation

2024-06-04T09:57:48Z

by Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/3-540-31188-2
Format: Electronic Resources

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

2024-06-04T09:57:48Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/11805618
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

2024-06-04T09:57:48Z

by Calmet, Jacques. editor.
http://dx.doi.org/10.1007/11856290
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2024-06-04T09:57:48Z

by Schmidt, Renate A. editor.
http://dx.doi.org/10.1007/11828563
Format: Electronic Resources

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

2024-06-04T09:57:48Z

by Ng, Michael K. editor.
http://dx.doi.org/10.1007/b104300
Format: Electronic Resources

Modular Algorithms in Symbolic Summation and Symbolic Integration

2024-06-04T09:57:48Z

by Gerhard, Jürgen. author.
http://dx.doi.org/10.1007/b104035
Format: Electronic Resources

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings

2024-06-04T09:57:48Z

by Martin, Ralph. editor.
http://dx.doi.org/10.1007/11537908
Format: Electronic Resources

Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers

2024-06-04T09:57:48Z

by Dobbertin, Hans. editor.
http://dx.doi.org/10.1007/b137765
Format: Electronic Resources

Computer Graphics and Geometric Modeling Mathematics

2024-06-04T09:57:48Z

by Agoston, Max K. author.
http://dx.doi.org/10.1007/b138899
Format: Electronic Resources

Cognitive Engineering A Distributed Approach to Machine Intelligence

2024-06-04T09:57:48Z

by Konar, Amit. author.
http://dx.doi.org/10.1007/1-84628-234-9
Format: Electronic Resources

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

2024-06-04T09:57:48Z

by Jermann, Christophe. editor.
http://dx.doi.org/10.1007/b136292
Format: Electronic Resources

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

2024-06-04T09:57:48Z

by Giesl, Jürgen. editor.
http://dx.doi.org/10.1007/b135673
Format: Electronic Resources

Sequences and Their Applications - SETA 2004 Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers

2024-06-04T09:57:48Z

by Helleseth, Tor. editor.
http://dx.doi.org/10.1007/b136167
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2024-06-04T09:57:48Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/b107129
Format: Electronic Resources

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2024-06-04T09:57:48Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/11548133
Format: Electronic Resources

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

2024-06-04T09:57:48Z

by Ganzha, Victor G. editor.
http://dx.doi.org/10.1007/11555964
Format: Electronic Resources

Computer Graphics and Geometric Modeling Implementation and Algorithms

2024-06-04T09:57:48Z

by Agoston, Max K. author.
http://dx.doi.org/10.1007/b138805
Format: Electronic Resources