Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Using the Computer Software Spicy -- A Client-Server System for the Visualisation of Algebraic Surfaces...”
Cover Image
Read Now

2
by Enns, Richard H., McGuire, George C.
Published 2003
Birkhäuser Boston
Table of Contents: “...A. Computer Algebra Systems -- B. The Spiral Approach to Learning Mechanics -- C. Maple Help -- D...”
Cover Image
Read Now

3
by Ablamowicz, Rafal, Parra, Joseph, Lounesto, Pertti
Published 1996
Birkhäuser Boston
Table of Contents: “.... Differential Geometry, Quantum Mechanics, Spinors and Conformal Group -- The use of computer algebra...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Checking the Shape Safety of Pointer Manipulations -- Applying Relational Algebra in 3D Graphical Software...”
Cover Image
Read Now

5
by Fokkink, Wan
Published 2000
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Informal Introduction to Abstract Modules -- 1A: Towards Modularization in Software Development...”
Cover Image
Read Now

7
Published 1990
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

8
by Bistarelli, Stefano
Published 2004
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

9
by Hibbard, Allen C., Levasseur, Kenneth M.
Published 1999
Springer New York
Subjects: “...Computer software...”
Cover Image
Read Now

11
by Best, Eike, Devillers, Raymond, Koutny, Maciej
Published 2001
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

13
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Formalizing informal requirements some aspects -- ViewPoint oriented software development: Methods...”
Cover Image
Read Now

14
Published 2000
Springer Netherlands
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

15 Table of Contents: “... for hyperfunctions -- 2.4 Using computational algebra software -- 3 The Cauchy-Fueter System and its Variations...”
Cover Image
Read Now

16
by Mordeson, John N., Malik, Davender S., Kuroki, Nobuaki
Published 2003
Springer Berlin Heidelberg
Subjects: “...Application software...”
Cover Image
Read Now

17
Published 1993
Springer Netherlands
Subjects: “...Theoretical, Mathematical and Computational Physics...”
Cover Image
Read Now

18
Published 1995
Springer Netherlands
Subjects: “...Computer Communication Networks...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...A Software Implementation of Niederreiter-Xing Sequences -- Average Case Complexity of Weighted...”