Тема, жанр, tags: Data Structures,Numeric Computing,Math Applications in Computer Science,Symbolic and Algebraic Manip » Page 87 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Data Structures,Numeric Computing,Math Applications in Computer Science,Symbolic and Algebraic Manip » Page 87

book Implicit curves and surfaces: Mathematics, data structures and algorithms

Implicit curves and surfaces: Mathematics, data structures and algorithms

pdf

Author: Abel J. P. Gomes Irina Voiculescu Joaquim Jorge Brian Wyvill Callum Galbraith (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

pdf

Author: Johannes Waldmann (auth.) Ralf Treinen (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

pdf

Author: Natarajan Shankar Harald Rueß (auth.) Sophie Tison (eds.)
Language: English
Year: 2002

00

26.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

26.01.2024

1

0

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

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

pdf

Author: Nigel Boston Harris Nover (auth.) Florian Hess Sebastian Pauli Michael Pohst (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

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

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

pdf

Author: Ernie Croot Andrew Granville Robin Pemantle Prasad Tetali (auth.) Alfred J. van der Poorten Andreas Stein (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

djvu

Author: J. R. Kennaway J. W. Klop M. R. Sleep (auth.) Ronald V. Book (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

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

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

pdf

Author: Randal E. Bryant (auth.) Frank Pfenning (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

djvu

Author: Yaniv Bargury Johann Makowsky (auth.) Egon Börger Gerhard Jäger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1992

00

26.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

26.01.2024

0

0