Search alternatives:
aids » aims, aid
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- The modular framework of computer-aided verification -- Verifying liveness properties by verifying safety...”
Cover Image
Read Now

2
by Henley, Ernest J.
Published 1973
Academic Press
Subjects: “...computer-aided designs (visual works) / aat...”
Cover Image
Read Now

3
by Sabin, Malcolm
Published 2010
Springer Berlin Heidelberg
Subjects: “...Computer-Aided Engineering (CAD, CAE) and Design...”
Cover Image
Read Now

4
by Han, Bin
Published 2017
Springer International Publishing
Subjects: “...Computer-aided engineering...”
Cover Image
Read Now

5
by Daepp, Ulrich, Gorkin, Pamela
Published 2003
Springer New York
“...This book, which is based on Pólya's method of problem solving, aids students in their transition...”
Cover Image
Read Now

6
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Aided Investigation of Total Graph Coherent Configurations for Two Infinite Families of Classical...”
Cover Image
Read Now

7
Published 1999
Springer US
Table of Contents: “... Approximate Reasoning in Computer-Aided Medical Decision Systems -- 12 Image Processing in Medicine -- III...”
Cover Image
Read Now

8
by Erdős, Paul
Published 1984
North-Holland Pub. Co.
Table of Contents: “... relations for r = 2; 20. A negative partition relation established with the aid of GCH...”
Cover Image
Read Now

9
by Lai, Ming-Jun, Schumaker, Larry L.
Published 2007
Cambridge University Press
“..., computer-aided geometric design, image analysis, and numerical analysis. The theory of univariate splines...”
Cover Image
Read Now

10
Published 2014
Springer Netherlands
“... and management with the aid of the latest complexity and chaos theories. Until now, deterministic chaos...”
Cover Image
Read Now

11
by Chartrand, Gary, Egan, Cooroo, Zhang, Ping
Published 2019
Springer International Publishing
“... connection to the four color theorem is described to aid mathematicians to initiate new methods...”
Cover Image
Read Now

12
by Gupta, Vijay, Agarwal, Ravi P.
Published 2014
Springer International Publishing
“... relevance to studies of computer-aided geometric design, numerical analysis, and differential equations...”
Cover Image
Read Now

13
by Wendland, Holger
Published 2005
Cambridge University Press
“... courses on multivariate approximation and it can be used to support courses in computer-aided geometric...”
Cover Image
Read Now

14
Published 2014
Springer International Publishing
“... theory, computer-aided geometric design, numerical analysis, and related approximation areas...”
Cover Image
Read Now

15
Published 2020
Birkhäuser
“... seeking to mentor them. It may also aid students and faculty participating in independent studies...”
Cover Image
Read Now

16
by Flajolet, Philippe, Sedgewick, Robert
Published 2009
Cambridge University Press
“... and notes to aid understanding. The book can be used for an advanced undergraduate or a graduate course...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
“..., engineers, and computer scientists working in approximation theory, computer-aided geometric design...”
Cover Image
Read Now

18
by Rao, Anup, Yehudayoff, Amir
Published 2020
Cambridge University Press
“..., and exercises to aid understanding...”
Cover Image
Read Now

19
by Aral, Ali, Gupta, Vijay, Agarwal, Ravi P.
Published 2013
Springer New York
“... in general mathematics and it also provides powerful tools to application areas such as computer-aided...”
Cover Image
Read Now

20
Published 1993
Springer Berlin Heidelberg
“... planning, robotics, scene analysis, and computer aided design. The book consists of twelve chapters...”