History
1
805


Help on query formulation

Result 41 to 60 of 805 total

{\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
41
{\sc Satoulouse}: The computational power of propositional logic shown to beginners. (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, 77-84 (2011).
Classification: E35 P25 R25 A65
42
Mathematical modelling with MATLAB. A practice-oriented introduction. (Mathematische Modellierung mit MATLAB. Eine praxisorientierte Einführung.) (German)
Heidelberg: Spektrum Akademischer Verlag (ISBN 978-3-8274-2398-6/pbk; 978-3-8274-2399-3/ebook). xii, 332~p. (2011).
Classification: M15 R25 U55 Reviewer: Burkhard Alpers (Aalen)
43
Parameter estimates in differential equation models for chemical kinetics. (English)
Int. J. Math. Educ. Sci. Technol. 42, No. 1, 37-51 (2011).
Classification: M65 I75 N45 R25
44
Construction of logarithm tables for Galois fields. (English)
Int. J. Math. Educ. Sci. Technol. 42, No. 1, 91-102 (2011).
Classification: H45 R25
45
Introduction to cryptography with mathematical foundations and computer implementations. (English)
Discrete Mathematics and Its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4398-1763-6/hbk). xix, 649~p. (2011).
Classification: F65 H75 R25 Reviewer: Nicolae Constantinescu (Craiova)
46
Role of interaction in enhancing the epistemic utility of 3D mathematical visualizations. (English)
Intern. J. Comput. Math. Learn. 15, No. 3, 191-224 (2010).
Classification: U75 H55 R25 C35 U65
47
A student’s guide to the study, practice, and tools of modern mathematics. (English)
Discrete mathematics and its applications. Boca Raton, FL: CRC Press (ISBN 978-1-4398-4606-3/pbk). x, 260~p. (2010).
Classification: U25 R25 E45
48
Students’ use of {\it Derive} software in comprehending and making sense of definite integral and area concepts. (English)
Hitt, Fernando (ed.) et al., Research in collegiate mathematics education. VII. Providence, RI: American Mathematical Society (AMS); Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-8218-4996-5/pbk). CBMS Issues in Mathematics Education 16, 29-61 (2010).
Classification: I55 R25 C75
49
Investigation in inversive geometry with dynamic geometric software. (Skúmanie inverzie pomocou dynamického geometrického programu.) (Slovak. English summary)
Žilková, Katarína (ed.), Potenciál prostredia IKT v školskej matematike. II. Bratislava: Univerzita Komenského v Bratislave (ISBN 978-80-223-2911-8). 14-21 (2010).
Classification: G45 R25 U55
50
Mathematical modeling with EXCEL. (English)
International Series in Mathematics. Boston, MA: Jones and Bartlett Publishers (ISBN 978-0-7637-6566-8/hbk). xiv, 286~p. (2010).
Classification: M15 R25 I75 Reviewer: Svitlana P. Rogovchenko (Umeå)
51
Mini-sudokus and groups. (English)
Math. Mag. 83, No. 2, 111-122 (2010).
Classification: A20 H45 R25 M95
52
The impact of CAS use in introductory engineering mathematics. (English)
Fitt, Alistair D. (ed.) et al., Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008. Berlin: Springer (ISBN 978-3-642-12109-8/hbk; 978-3-642-12110-4/ebook). Mathematics in Industry 15, 653-659 (2010).
Classification: U75 R25 D35
53
The nature of arguments provided by college geometry students with access to technology while solving problems. (English)
J. Res. Math. Educ. 41, No. 4, 324-350 (2010).
Classification: G95 R25 C75
54
Research and practice of multimedia teaching for mathematics courses. (Chinese. English summary)
J. Dalian Nationalities Univ. 12, No. 3, 258-260 (2010).
Classification: D35 R25
55
A practical guide to error-control coding using MATLAB. With DVD. (English)
Boston, MA: Artech House (ISBN 978-1-60807-088-6/hbk; 978-1-60807-089-3/ebook). x, 281~p. (2010).
Classification: P25 N25 R25 Reviewer: Manfred Tasche (Rostock)
56
Numerical methods in engineering with Python. 2nd ed. (English)
Cambridge: Cambridge University Press (ISBN 978-0-521-19132-6/pbk). x, 422~p. (2010).
Classification: N15 R25
57
Teaching math online: Current practices in Turkey. (English)
J. Educ. Technol. Syst. 39, No. 1, 47-64 (2010-2011).
Classification: U55 R25 D35 D45
58
On visualisation problems by using the "GeoGebra" and "Scientific WorkPlace" packages. (English)
Int. J. Technol. Math. Educ. 17, No. 4, 191-196 (2010).
Classification: I55 R25 C75
59
Principles of linear algebra with Maple. (English)
Pure and Applied Mathematics. A Wiley Series of Texts, Monographs and Tracts. Hoboken, NJ: John Wiley \& Sons (ISBN 978-0-470-63759-3/hbk). xiv, 596~p. (2010).
Classification: H65 N35 R25 Reviewer: Michael Jung (Dresden)
60

Result 41 to 60 of 805 total

Valid XHTML 1.0 Transitional Valid CSS!