1
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... on Meta-Synthesis Approach -- ICT and Special Educational Needs: Using Meta-synthesis for Bridging...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook