Resultats de la cerca - processing java programs generic java https

1

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

per Sharan, Kishori., Sharan, Kishori.
Publicat 2014

Matèries: “...Java (Computer program language)....”
Obtenir text complet

Electrònic eBook

2

SCJP Exam for J2SE 5 A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam /

per Sanghera, Paul., Sanghera, Paul.
Publicat 2006

Taula de continguts: “...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
Obtenir text complet

Electrònic eBook

3

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Publicat 2006

Taula de continguts: “...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”
Obtenir text complet

Electrònic eBook

4

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Publicat 2014

Taula de continguts: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Obtenir text complet

Electrònic eBook

5

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Obtenir text complet

Electrònic eBook

6

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Publicat 2005

Taula de continguts: “... with Non-regular Protocols -- A Java Implementation of a Component Model with Explicit Symbolic Protocols...”
Obtenir text complet

Electrònic eBook

7

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine...”
Obtenir text complet

Electrònic eBook

8

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... -- Formalising Progress Properties of Non-blocking Programs -- Towards a Fully Generic Theory of Data...”
Obtenir text complet

Electrònic eBook

9

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicat 2008

Taula de continguts: “... Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete...”
Obtenir text complet

Electrònic eBook

10

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Publicat 2010

Taula de continguts: “... Processes -- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling -- Role-Based Generic...”
Obtenir text complet

Electrònic eBook

11

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...

Publicat 2006

Taula de continguts: “... Modeling -- Modeling Aspect-Oriented Compositions -- Towards a Generic Aspect Oriented Design Process -- W5...”
Obtenir text complet

Electrònic eBook

12

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
Obtenir text complet

Electrònic eBook

13

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Publicat 2006

Taula de continguts: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
Obtenir text complet

Electrònic eBook

14

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... for Web-Services -- Inflatable XML Processing -- INDISS: Interoperable Discovery System for Networked...”
Obtenir text complet

Electrònic eBook

15

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...”
Obtenir text complet

Electrònic eBook

16

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 /

Publicat 2005

Taula de continguts: “... Passing Platform for Java -- Cluster and Grid -- The Open Run-Time Environment (OpenRTE): A Transparent...”
Obtenir text complet

Electrònic eBook

17

A Theory of Distributed Objects Asynchrony - Mobility - Groups - Components /

per Caromel, Denis., Caromel, Denis., Henrio, Ludovic.
Publicat 2005

Taula de continguts: “... Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties...”
Obtenir text complet

Electrònic eBook

18

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

Publicat 2005

Taula de continguts: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
Obtenir text complet

Electrònic eBook

19

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

Publicat 2007

Taula de continguts: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
Obtenir text complet

Electrònic eBook

20

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Obtenir text complet

Electrònic eBook

Refinar cerca