History
1
101


Help on query formulation
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 101 total

When life is linear. From computer graphics to bracketology. (English)
Anneli Lax New Mathematical Library 45. Washington, DC: The Mathematical Association of America (MAA) (ISBN 978-0-88385-649-9/pbk; 978-0-88385-988-9/ebook). xiii, 136~p. (2015).
Classification: H65 M55 R45 Reviewer: Dieter Riebesehl (Lüneburg)
1
Principal component analysis: resources for an essential application of linear algebra. (English)
PRIMUS, Probl. Resour. Issues Math. Undergrad. Stud. 25, No. 5, 400-420 (2015).
Classification: H65 K45 M55 M65 R45
2
Linear algebra. Pure and applied. (English)
Hackensack, NJ: World Scientific (ISBN 978-981-4508-36-0/hbk; 978-981-4508-37-7/pbk). xvi, 716~p. (2014).
Classification: H65 P25 R45 N55 K65 G75 Reviewer: John D. Dixon (Ottawa)
3
The expertise reversal effect concerning instructional explanations. (English)
Instr. Sci. 41, No. 2, 407-429 (2013).
Classification: U55 C35 K45 K85 R45
4
Old tails and new trails in high dimensions. (English)
Coll. Math. J. 44, No. 1, 48-52 (2013).
Classification: I95 R45
5
Introduction to logic. (English)
Synthesis Lectures on Computer Science 5. San Rafael, CA: Morgan \& Claypool Publishers (ISBN 978-1-62705-005-0/pbk; 978-1-62705-006-7/ebook). xiii, 151~p. (2012).
Classification: E35 R45 Reviewer: Audrey Yap (Victoria)
6
Theorem proving with GeoGebra. Is that possible? (Demostración de teoremas con GeoGebra. ?‘Es posible?) (Spanish)
Epsilon (Puerto Real) 29, No. 82, 79-87 (2012).
Classification: R45 U75 N85
7
Finding conspirators in the network via machine learning. (English)
UMAP J. 33, No. 3, 275-292 (2012).
Classification: R45 M75 U45 K95 Reviewer: Peter Dürr (Linkenheim)
8
Demonstrating the feature of energy saving of transforms in secondary schools. (English)
Teach. Math. Comput. Sci. 10, No. 1, 43-55 (2012).
Classification: R45 I75 I95 M55
9
Finite-dimensional linear transformations applied to the development of the direct kinematic model of robot KUKA KR 60 JET R in linear algebra courses and drawing of machines. (Transformaciones lineales de dimensión finita, aplicadas al desarrollo del modelo cinemático directo para el robot KUKA KR 60 JET$\circledR$ en cursos de álgebra lineal y dibujo de máquinas.) (Spanish. English summary)
Mat., Enseñ. Univ. (N.S.) 19, No. 2, 33-47 (2011).
Classification: M55 R45
10
Mathematical image processing. Introduction to foundations and modern theory. (Mathematische Bildverarbeitung. Einführung in Grundlagen und moderne Theorie.) (German)
Studium. Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-1037-3/pbk; 978-3-8348-9814-2/ebook). x, 445~p. (2011).
Classification: R45 Reviewer: Carl H. Rohwer (Stellenbosch)
11
Proofs and algorithms. An introduction to logic and computability. (English)
Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155~p. (2011).
Classification: P25 E35 R45 Reviewer: Damas Gruska (Bratislava)
12
Understanding evaluation of learning support in mathematics and statistics. (English)
Int. J. Math. Educ. Sci. Technol. 42, No. 2, 189-212 (2011).
Classification: D45 D35 R25 R45 U75 C75
13
The AproS project: Teaching logic to business and engineering students. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 190-197 (2011).
Classification: E35 E55 R25 R45 A65
14
{\sc Panda}: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 85-92 (2011).
Classification: E35 E55 P25 R25 R45 A65
15
Mathematics for computer graphics. 3rd ed. (English)
Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-84996-022-9/pbk; 978-1-84996-023-6/ebook). xvi, 293~p. (2010).
Classification: R45 H15 I15 N55
16
Centroids, clusters, and crime: Anchoring the geographic profiles of serial criminals. (English)
UMAP J. 31, No. 2, 129-148 (2010).
Classification: M95 K95 R45
17
The MIZAR computer system as a tool for a computer assisted teaching in higher education. (System komputerowy MIZAR narzędziem do komputerowego wspomagania nauczania w szkole wyższej.) (Polish. English summary)
Ann. Univ. Paedagog. Crac. 82, Stud. Didact. Math. Pertin. 3, 21-40 (2010).
Classification: P45 E55 E35 Q55 R45
18
Principles of speech coding. (English)
Boca Raton, FL: CRC Press (ISBN 978-0-8493-7428-9/hbk). xxiii, 357~p. (2010).
Classification: R45 K55 P45 M55 Reviewer: Adrian Atanasiu (Bucharest)
19
The use of programmable robots in the education of programming. (English)
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28‒31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 29-36 (2009).
Classification: P55 R35 R45
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 101 total

Valid XHTML 1.0 Transitional Valid CSS!