Resultados de búsqueda - functional computer program execution java https

1

Beginning Java Game Development with LibGDX

por STEMKOSKI, LEE., STEMKOSKI, LEE.
Publicado 2015

Tabla de Contenidos: “...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
Enlace del recurso

Electrónico eBook

2

A Beginner's Guide to Scala, Object Orientation and Functional Programming

por Hunt, John., Hunt, John.
Publicado 2014

Tabla de Contenidos: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Enlace del recurso

Electrónico eBook

3

Distributed, Embedded and Real-time Java Systems

Publicado 2012

Tabla de Contenidos: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
Enlace del recurso

Electrónico eBook

4

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Enlace del recurso

Electrónico eBook

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Publicado 2006

Tabla de Contenidos: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Enlace del recurso

Electrónico eBook

6

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

Publicado 2015

Tabla de Contenidos: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
Enlace del recurso

Electrónico eBook

7

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Publicado 2015

Tabla de Contenidos: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Enlace del recurso

Electrónico eBook

8

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Publicado 2007

Tabla de Contenidos: “...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”
Enlace del recurso

Electrónico eBook

9

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Enlace del recurso

Electrónico eBook

10

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
Enlace del recurso

Electrónico eBook

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicado 2006

Tabla de Contenidos: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Enlace del recurso

Electrónico eBook

12

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Enlace del recurso

Electrónico eBook

13

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

Publicado 2010

Tabla de Contenidos: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
Enlace del recurso

Electrónico eBook

14

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Publicado 2012

Tabla de Contenidos: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Enlace del recurso

Electrónico eBook

15

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Publicado 2010

Tabla de Contenidos: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Enlace del recurso

Electrónico eBook

16

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

Publicado 2015

Tabla de Contenidos: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Enlace del recurso

Electrónico eBook

17

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

Publicado 2008

Tabla de Contenidos: “... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”
Enlace del recurso

Electrónico eBook

18

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

Publicado 2005

Tabla de Contenidos: “...Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services...”
Enlace del recurso

Electrónico eBook

19

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Publicado 2010

Tabla de Contenidos: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
Enlace del recurso

Electrónico eBook

20

Pro Apache Ant

por Moodie, Matthew., Moodie, Matthew.
Publicado 2006

Materias: “...Computer programming....”
Enlace del recurso

Electrónico eBook

Resultados Agrupados