Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 21 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 21

book Cryptography and Lattices: International Conference, CaLC 2001 Providence, RI, USA, March 29–30, 2001 Revised Papers

Cryptography and Lattices: International Conference, CaLC 2001 Providence, RI, USA, March 29–30, 2001 Revised Papers

pdf

Author: Miklós Ajtai Ravi Kumar Dandapani Sivakumar (auth.) Joseph H. Silverman (eds.)
Language: English
Year: 2001

00

27.01.2024

1

0

book Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

pdf

Author: José Meseguer (auth.) Leo Bachmair (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Algorithmic Number Theory: 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000. Proceedings

Algorithmic Number Theory: 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000. Proceedings

pdf

Author: Jin-Yi Cai (auth.) Wieb Bosma (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Fast Software Encryption: 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers

Fast Software Encryption: 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers

pdf

Author: Håvard Raddum (auth.) Thomas Johansson (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

pdf

Author: Andrew A. Adams (auth.) Andrea Asperti Bruno Buchberger James Harold Davenport (eds.)
Language: English
Year: 2003

00

27.01.2024

1

0

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

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

pdf

Author: Yahia Lebbah Claude Michel Michel Rueher (auth.) Christophe Jermann Arnold Neumaier Djamila Sam (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

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

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

pdf

Author: Reiko Heckel Sebastian Thöne (auth.) José Luiz Fiadeiro Peter D. Mosses Fernando Orejas (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

pdf

Author: Neil D. Jones Nina Bohr (auth.) Vincent van Oostrom (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

pdf

Author: Daniel R. Licata Guillaume Brunerie (auth.) Georges Gonthier Michael Norrish (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Modeling Nature: Cellular Automata Simulations with Mathematica®

Modeling Nature: Cellular Automata Simulations with Mathematica®

pdf

Author: Richard J. Gaylord Kazume Nishidate (auth.)
Language: English
Year: 1996

00

27.01.2024

1

0