Suggested Topics within your search.
Search alternatives:
programming education » programmes education, programming evaluation, programs education
java programming » c programming
education java » education japan, education naval, education jane
program java » program jarak, program a, program jom
https » http
1
Cover Image
Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: “...Introducing HTML and JavaScript -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
by Preston, Scott., Preston, Scott.
Published 2006
Table of Contents: “... -- Navigation, making your robot go places -- Advanced Techniques -- Sample Programs....”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2008
Table of Contents: “... to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2008
Table of Contents: “... of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
“... in anIPE which held at the three faculties of a private university in Central Java, Indonesia. The IPE...”
View full text
Article
Save to List
Saved in:
9
Cover Image
Published 2013
Table of Contents: “... Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2006
Table of Contents: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
by Percival, John., Percival, John.
Published 2013
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
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
Save to List
Saved in:
13
Cover Image
Published 2005
Table of Contents: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2010
Table of Contents: “...Education in the Clouds: How Colleges and Universities are Leveraging Cloud Computing -- Weak...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2015
Table of Contents: “... the Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2008
Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2007
Table of Contents: “... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2013
Table of Contents: “... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2014
Table of Contents: “... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2007
Table of Contents: “... on Meta-Synthesis Approach -- ICT and Special Educational Needs: Using Meta-synthesis for Bridging...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search