Risultati della ricerca - processing java processing programs active https

Cerca anche:
processing programs » processing programmed , processing problems , processing products
processing java » processing japan , processing james , processing j
java processing » data processing , data processings , data processsing
programs active » programs action , programs adaptive , programs practices
active https » practice https , vaccine https , crime https

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... in Agile Software: An Empirical Study -- Part Testing and Beyond -- Visualizing Testing Activities...”
Testo

Elettronico eBook

Reflections on the Teaching of Programming Methods and Implementations /

Pubblicazione 2008

Sommario: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
Testo

Elettronico eBook

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... in Concurrent Programming with Active Objects....”
Testo

Elettronico eBook

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /

Pubblicazione 2013

Sommario: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Testo

Elettronico eBook

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Solver over 3-D Dodecahedron Partitions -- GridMD: Program Architecture for Distributed Molecular...”
Testo

Elettronico eBook

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Pubblicazione 2012

Sommario: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Testo

Elettronico eBook

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

di Hunt, John., Hunt, John.
Pubblicazione 2014

Sommario: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Testo

Elettronico eBook

Handbook of Data Visualization

Pubblicazione 2008

Sommario: “... Visualization -- Visualization in Bayesian Data Analysis -- Programming Statistical Data Visualization...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”
Testo

Elettronico eBook

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Testo

Elettronico eBook

Advanced Topics in Exception Handling Techniques

Pubblicazione 2006

Sommario: “...Programming Languages -- Bound Exceptions in Object-Oriented Programming -- Exception-Handling Bugs...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Testo

Elettronico eBook

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”
Testo

Elettronico eBook

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... in Presence of Callbacks and Autonomous Activities -- Efficient Model Checking of Networked Applications...”
Testo

Elettronico eBook

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /

Pubblicazione 2008

Sommario: “... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Testo

Elettronico eBook

Object-Oriented Technology.ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /

Pubblicazione 2007

Sommario: “... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”
Testo

Elettronico eBook

Restringi la ricerca