History
1
449


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

Result 1 to 20 of 449 total

Algorithms from Hammurapi to Gödel. With examples from the computer algebra systems Mathematica and Maxima. (Algorithmen von Hammurapi bis Gödel. Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima.) 4th revised and extended edition. (German)
Heidelberg: Springer Spektrum (ISBN 978-3-658-12362-8/pbk; 978-3-658-12363-5/ebook). xii, 376~p. (2016).
Classification: P25 P45 P55 A35
1
Teaching mathematical reasoning principles for software correctness and its assessment. (English)
ACM Trans. Comput. Educ. 15, No. 3, Article No. 15, 22 p., electronic only (2015).
Classification: P55
2
An integrative approach to teaching mathematics, computer science, and physics with MATLAB. (English)
Math. Comput. Educ. 48, No. 1, 6-18 (2014).
Classification: D35 I45 I55 M55 U75 P55 I75 N45
3
About mathematical modeling in the reality of the cybernetic world. (English)
Ubuz, Behiye (ed.) et al., CERME 8. Proceedings of the eigth congress of the European Society of Research in Mathematics Education, Antalya, Turkey, February 6‒10, 2013. Ankara: Middle East Technical University (ISBN 978-975-429-315-9). 1097-1106 (2013).
Classification: M55 P55 R85
4
Learning and teaching programming successfully. (Erfolgreich Programmieren lernen und lehren.) (German)
Zimmermann, Marc (ed.) et al., Mathematik lehren in der Hochschule. Didaktische Innovationen für Vorkurse, Übungen und Vorlesungen. Hildesheim: Franzbecker (ISBN 978-3-88120-525-2/pbk). 143-152 (2012).
Classification: P55 Q55 Q65
5
Preparatory course in computer science. The entry to the study of computer science. (Vorkurs Informatik. Der Einstieg ins Informatikstudium.) 2nd revised and expanded ed. (German)
Studium; Leitfäden der Informatik. Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-0959-9/pbk). xi, 339~p. (2011).
6
Introduction to software process improvement. (English)
Undergraduate Topics in Computer Science. London: Springer (ISBN 978-0-85729-171-4/pbk; 978-0-85729-172-1/ebook). xvii, 246~p. (2011).
Classification: P15 P55
7
Abstract state machines and the inquiry process. (English)
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 405-413 (2010).
Classification: Q55 P55
8
Setting the scope of concept inventories for introductory computing subjects. (English)
ACM Trans. Comput. Educ. 10, No. 2, Paper No. 1, 29 p., electronic only (2010).
Classification: Q55 N75 P55 E35
9
Software engineering education in cooperation with industrial partners. (English)
Teach. Math. Comput. Sci. 8, No. 1, 133-148 (2010).
Classification: P55 P65 Q55
10
Difference lists in Prolog. (English)
Teach. Math. Comput. Sci. 8, No. 1, 73-87 (2010).
Classification: P45 P55 Q65 Q85
11
Increasing the popularity and efficiency of distance education by old-new methods. (English)
Teach. Math. Comput. Sci. 8, No. 2, 211-228 (2010).
Classification: B40 P45 P55 Q65 U55
12
The C++ compendium. STL, object factories, exceptions. (Das C++ Kompendium. STL, Objektfabriken, Exceptions.) 2nd ed. (English)
eXamen.press. Berlin: Springer (ISBN 978-3-642-04786-2/pbk; 978-3-642-04787-9/ebook). xiv, 818~p. (2010).
Classification: P45 P55 P15
13
Algorithms. From Hammurapi to Gödel. (Algorithmen. Von Hammurapi bis Gödel.) 3rd revised ed. (English)
Frankfurt am Main: Harri Deutsch (ISBN 978-3-8171-1864-9/pbk). 349~p. (2010).
Classification: P25 P45 P55 A35
14
How to teach programming practices. (English)
\V Cernák, Igor (ed.) et al., IMEM 2009. Proceedings of the international congress on interdisciplinary relationships in the theory and practice of informatics, management, economics and mathematics, Spišská Kapitula, Slovakia, September 9‒11, 2009. Ružomberok: Catholic University in Ružomberok, Faculty of Education (ISBN 978-80-8084-471-4/pbk). 104-112, electronic only (2009).
Classification: Q65 P55 P65 Reviewer: Milan Lehotský (Ružomberok)
15
Verificator: Educational tool for learning programming. (English. Lithuanian summary)
Inf. Educ. 8, No. 2, 261-280 (2009).
Classification: P55 Q75
16
Reform of the software engineering teaching ‒ demands and conception. (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. 63-70 (2009).
Classification: P55 Q65
17
Teaching Java programming based on the pool of open source case studies. (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. 55-62 (2009).
Classification: P55 Q65
18
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
19
A comparison of tools for teaching formal software verification. (English)
Formal Asp. Comput. 21, No. 3, 293-301 (2009).
Classification: P55 Q65 Q85
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 449 total

Valid XHTML 1.0 Transitional Valid CSS!