Тема, жанр, tags: Algorithms,Appl.Mathematics/Computational Methods of Engineering,Symbolic and Algebraic Manipulation » Page 39 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Algorithms,Appl.Mathematics/Computational Methods of Engineering,Symbolic and Algebraic Manipulation » Page 39

book Computer-Supported Calculus

Computer-Supported Calculus

pdf

Author: Dr. Adi Ben-Israel Dr. Robert Gilbert (auth.)
Language: English
Year: 2002

00

27.01.2024

2

0

book Functional Decomposition with Applications to FPGA Synthesis

Functional Decomposition with Applications to FPGA Synthesis

pdf

Author: Christoph Scholl (auth.)
Language: English
Year: 2001

00

27.01.2024

2

0

book Computer Algebra Recipes: A Gourmet’s Guide to the Mathematical Models of Science

Computer Algebra Recipes: A Gourmet’s Guide to the Mathematical Models of Science

pdf

Author: Richard H. Enns George C. McGuire (auth.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Parallel Robots

Parallel Robots

pdf

Author: Jean-Pierre Merlet (auth.)
Language: English
Year: 2000

00

27.01.2024

4

0

book Number Theory for Computing

Number Theory for Computing

pdf

Author: Song Y. Yan (auth.)
Language: English
Year: 2000

00

27.01.2024

6

0

book Maple V: Learning Guide

Maple V: Learning Guide

pdf

Author: K. M. Heal M. L. Hansen K. M. Rickard (auth.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Maple V Programming Guide

Maple V Programming Guide

pdf

Author: M. B. Monagan K. O. Geddes K. M. Heal G. Labahn S. M. Vorkoetter (auth.)
Language: English
Year: 1998

00

27.01.2024

1

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

27.01.2024

0

0

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

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

pdf

Author: Yoshihito Toyama (auth.) Jürgen Giesl (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

djvu

Author: Constance Heitmeyer (auth.) Jonathan P. Bowen Michael G. Hinchey David Till (eds.)
Language: English
Year: 1997

00

27.01.2024

0

0