Texts & Monographs in Symbolic Computation – serie

Visar alla böcker i serien Texts & Monographs in Symbolic Computation.

33 produkter

1. 

   Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

   Av Johannes Blümlein, Carsten Schneider m. fl.

   Inbunden, 2019

   3139 kr

   Lägg i varukorg

2. 

   Symbolic Computation of Integrability Structures for Partial Differential Equations

   Av Joseph Krasil'shchik, Alexander Verbovetsky m. fl.

   Häftad, 2018

   1579 kr

   Lägg i varukorg

3. 

   Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

   In Honour of Peter Paule on his 60th Birthday

   Av Veronika Pillwein, Carsten Schneider

   Inbunden, 2020

   1479 kr

   Lägg i varukorg

4. 

   Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

   In Honour of Peter Paule on his 60th Birthday

   Av Veronika Pillwein, Carsten Schneider

   Häftad, 2021

   1479 kr

   Lägg i varukorg

5. 

   Invitation to Analytic Combinatorics

   From One to Several Variables

   Av Stephen Melczer

   Inbunden, 2020

   1999 kr

   Lägg i varukorg

6. 

   Invitation to Analytic Combinatorics

   From One to Several Variables

   Av Stephen Melczer

   Häftad, 2021

   1999 kr

   Lägg i varukorg

7. 

   Anti-Differentiation and the Calculation of Feynman Amplitudes

   Av Johannes Blümlein, Carsten Schneider

   Inbunden, 2021

   2289 kr

   Lägg i varukorg

8. 

   Anti-Differentiation and the Calculation of Feynman Amplitudes

   Av Johannes Blümlein, Carsten Schneider

   Häftad, 2022

   2289 kr

   Lägg i varukorg

9. 

   Thinking Programs

   Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

   Av Wolfgang Schreiner

   Häftad, 2022

   1019 kr

   Lägg i varukorg

10. 

    Integration in Finite Terms: Fundamental Sources

    Av Clemens G. Raab, Michael F. Singer

    Inbunden, 2022

    2429 kr

    Lägg i varukorg

11. 

    Integration in Finite Terms: Fundamental Sources

    Av Clemens G. Raab, Michael F. Singer

    Häftad, 2023

    2429 kr

    Lägg i varukorg

12. 

    Concrete Abstractions

    Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

    Av Wolfgang Schreiner

    Inbunden, 2023

    1079 kr

    Lägg i varukorg

13. 

    Concrete Abstractions

    Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

    Av Wolfgang Schreiner

    Häftad, 2024

    789 kr

    Lägg i varukorg

14. 

    Thinking Programs

    Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

    Av Wolfgang Schreiner

    Inbunden, 2025

    999 kr

    Lägg i varukorg

15. 

    Algorithms in Invariant Theory

    Av Bernd Sturmfels, Peter Paule

    Häftad, 2008

    1999 kr

    Lägg i varukorg

16. 

    Mechanical Theorem Proving in Geometries

    Basic Principles

    Av Wen-tsün Wu

    Häftad, 1994

    719 kr

    Lägg i varukorg

17. 

    Polynomial Algorithms in Computer Algebra

    Av Franz Winkler

    Häftad, 1996

    719 kr

    Lägg i varukorg

18. 

    Computer - Human Interaction in Symbolic Computation

    Av Norbert Kajler

    Häftad, 1998

    1469 kr

    Lägg i varukorg

19. 

    Advances in the Design of Symbolic Computation Systems

    Av Alfonso Miola, Marco Temperini

    Häftad, 1997

    1469 kr

    Lägg i varukorg

20. 

    Computer-supported Calculus

    Av Adi Ben-Israel, Robert P. Gilbert

    Inbunden, 2002

    1149 kr

    Lägg i varukorg

21. 

    Elimination Methods

    Av D. Wang

    Häftad, 2000

    1429 kr

    Lägg i varukorg

22. 

    Approximate Commutative Algebra

    Av Lorenzo Robbiano, John Abbott

    Häftad, 2009

    1429 kr

    Lägg i varukorg

23. 

    Correct Software in Web Applications and Web Services

    Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.

    Inbunden, 2015

    719 kr

    Lägg i varukorg

24. 

    Correct Software in Web Applications and Web Services

    Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.

    Häftad, 2016

    739 kr

    Lägg i varukorg

25. 

    Introduction to Computational Origami

    Av Tetsuo Ida

    Inbunden, 2020

    2489 kr

    Lägg i varukorg

26. 

    Symbolic Computation of Integrability Structures for Partial Differential Equations

    Av Joseph Krasil'shchik, Alexander Verbovetsky m. fl.

    Inbunden, 2018

    1569 kr

    Lägg i varukorg

27. 

    Concrete Tetrahedron

    Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates

    Av Manuel Kauers, Peter Paule

    Häftad, 2010

    1069 kr

    Lägg i varukorg

28. 

    Numerical and Symbolic Scientific Computing

    Progress and Prospects

    Av Ulrich Langer, Peter Paule

    Häftad, 2011

    1429 kr

    Lägg i varukorg

29. 

    Loewy Decomposition of Linear Differential Equations

    Av Fritz Schwarz

    Inbunden, 2012

    1429 kr

    Lägg i varukorg

30. 

    Computer Algebra in Quantum Field Theory

    Integration, Summation and Special Functions

    Av Carsten Schneider, Johannes Blümlein

    Inbunden, 2013

    1429 kr

    Lägg i varukorg