Programming (Mathematics) - Asian Research TOC Index

Search results for "Programming (Mathematics)"

entries per page

Filter:

Showing 41 of 41 records in 0.029 seconds;

Chapter	Chapter Author	Book	Book Author	Year	Publisher
Mathematics, Nonlinear Programming	Ettore Mosca; Ivan Merelli; Luciano Milanesi	Encyclopedia of Systems Biology	Werner Dubitzky; Olaf Wolkenhauer; Hiroki Yokota; Kwang-Hyun Cho	2013	Springer New York
Mathematics of Programming	C. A. R. Hoare	Program Verification: Fundamental Issues in Computer Science	Timothy T.R. Colburn; J.H. Fetzer; R.L. Rankin	1993	Springer Netherlands
Mathematics as programming	R. L. Constable	Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983	E. Clarke; D. Kozen	1984	Springer Berlin Heidelberg
Mathematics of Logic Programming	H.-D. Ebbinghaus; J. Flum	Handbook of Philosophical Logic	Dov M. Gabbay; Franz Guenthner	2nd ed. 2001	Springer Netherlands
The mathematics of programming	C. A. R. Hoare	Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings	S.N. Maheshwari	1985	Springer Berlin Heidelberg
131 Mathematics and Programming		Learning Processing: A Beginner's Guide to Programming Images, Animation, and Interaction	Daniel Shiffman	2008	Morgan Kaufmann
11 Programming and Mathematics		From Mathematics to Generic Programming	Alexander A. Stepanov [Александр Александрович Степанов], Daniel E. Rose	2014	Addison-Wesley
Interactive Programming and Automated Mathematics	MELVIN KLERER	Interactive Systems for Experimental Applied Mathematics	Melvin Klerer	1968	Academic Press
Mathematics for NC programming A.		CNC programming: principles and applications	Mike Mattson	2010	Delmar, Cengage Learning
Constructive Mathematics and Functional Programming (Abstract)	Thierry Coquand	Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings	Sophia Drossopoulou	2008	Springer Berlin Heidelberg
Teaching Mathematics and Computer Programming Together	A. Y. Vaninsky	Innovations in E-learning, Instruction Technology, Assessment and Engineering Education	Magued Iskander	2007	Springer Netherlands
Like Programming, Mathematics has a Culture		A Programmer’s Introduction to Mathematics	Jeremy Kun	2018	CreateSpace Independent publishing platform
On the interplay between mathematics and programming	E. W. Dijkstra	Program Construction: International Summer School	F.L. Bauer; E.W. Dijkstra; S.L. Gerhart; D. Gries; M. Griffiths; J. V. Guttag; J. J. Horning; S. S. Owicki; C. Pair; H. Partsch; P. Pepper; M. Wirsing; H. Wössner; F.L. Bauer; M. Broy	1979	Springer Berlin Heidelberg
Teaching Mathematics Through Programming in the Classroom	E. Soloway; J. C. Spohrer	Studying the Novice Programmer	E. Soloway; J. C. Spohrer	1989	Routledge
TEACHING MATHEMATICS THROUGH PROGRAMMING IN THE CLASSROOM	J.A.M. HOWE; P.M. ROSS; K.R. JOHNSON; F. PLANE; R. INGLIS	Computer Assisted Learning	P. R. Smith	1981	Pergamon
Computer Programming as Mathematics in a Programming Language and Proof System CL	Ján Komara; Paul J. Voda	Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX' 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings	Harrie de Swart	1998	Springer Berlin Heidelberg
Chapter X - Types in Logic, Mathematics and Programming	Robert L. Constable	Handbook of Proof Theory	Samuel R. Buss	1998	Elsevier
Chapter 1 Like Programming, Mathematics has a Culture		A Programmer’s Introduction to Mathematics	Jeremy Kun	2020	pimbook.org
Appendix A. The simple mathematics of integer programming		Financial management: theory and techniques	George C. Philippatos	1973	Holden-Day
Constructive Mathematics and Computer Programming Original Research Article<		Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science	L. Jonathan Cohen, Jerzy ЕЃoЕ›, Helmut Pfeiffer and Klaus-Peter Podewski (Eds.)	1982	Elsevier Science Ltd
Chapter	Chapter Author	Book	Book Author	Year	Publisher

Showing 41 of 41 records in 0.029 seconds;

entries per page

Filter:

Showing 0

Book	Book Author(s)	Year	Publisher
No data available in table
Book	Book Author(s)	Year	Publisher

Showing 0

entries per page

Filter:

Showing 0

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0

Latest Open Access Book

مطالعہ یہودیت

Written for students who likely have either no knowledge of Judaism or else come to the subject with preconceptions highly colored by political and religious polemics, this book offers a comprehensive introduction to the Jewish tradition from religious, historical, and cultural perspectives.

Quick Facts

6,354,914

Books

56,056,283

Chapters

5,151,346

Links

13,019,353

Accessible Chapters

Looking for Research Articles?

مطالعہ یہودیت