Search Results - program java processing functionality 4 https

1

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

by Sharan, Kishori., Sharan, Kishori.
Published 2014

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

2

Guide to HTML, JavaScript and PHP For Scientists and Engineers /

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

3

Beginning Java Game Development with LibGDX

by STEMKOSKI, LEE., STEMKOSKI, LEE.
Published 2015

Table of Contents: “...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
View full text

Electronic eBook

4

Reflections on the Teaching of Programming Methods and Implementations /

Published 2008

Table of Contents: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
View full text

Electronic eBook

5

Practical OCaml

by Smith, Joshua B., Smith, Joshua B.
Published 2007

Table of Contents: “... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
View full text

Electronic eBook

6

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

7

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”
View full text

Electronic eBook

8

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

9

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Published 2008

Table of Contents: “... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”
View full text

Electronic eBook

10

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
View full text

Electronic eBook

11

Pro React

by de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Published 2015

Table of Contents: “... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....”
View full text

Electronic eBook

12

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

13

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”
View full text

Electronic eBook

14

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Published 2005

Table of Contents: “... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”
View full text

Electronic eBook

15

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
View full text

Electronic eBook

16

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games...”
View full text

Electronic eBook

17

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

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

18

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...”
View full text

Electronic eBook

19

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
View full text

Electronic eBook

20

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

Narrow Search