1
Pubblicazione 2005
Sommario: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...
Testo
Elettronico eBook
3
Pubblicazione 2008
Sommario: ... Fault Data to Improve Test Process -- Big Improvements with Small Changes: Improving the Processes of a...
Testo
Elettronico eBook
4
di Zukowski, John., Zukowski, John.
Pubblicazione 2006
Sommario: ...Java SE 6 at a Glance -- Language and Utility Updates -- I/O, Networking, and Security Updates...
Testo
Elettronico eBook
5
di Goncalves, Antonio., Goncalves, Antonio.
Pubblicazione 2013
Soggetti: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...
Testo
Elettronico eBook
7
di Jackson, Wallace., Jackson, Wallace.
Pubblicazione 2014
Soggetti: ...Game Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29040...
Testo
Elettronico eBook
8
di Goncalves, Antonio., Goncalves, Antonio.
Pubblicazione 2010
Sommario: ...Java EE 6 at a Glance -- Java Persistence -- Object-Relational Mapping -- Managing Persistent...
Testo
Elettronico eBook
9
Pubblicazione 2008
Sommario: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Testo
Elettronico eBook
10
Pubblicazione 2008
Sommario: ... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...
Testo
Elettronico eBook
11
Pubblicazione 2006
Sommario: ... and Transformations in Calculation Form -- Mappings Make Data Processing Go ’Round -- On the Use of Graph...
Testo
Elettronico eBook
12
Pubblicazione 2006
Sommario: ... -- Intelligent Knowledge Recommendation System Based on Web Log and Cache Data -- Learning Patterns: A Mechanism...
Testo
Elettronico eBook
13
Pubblicazione 2015
Sommario: ... and Data Models: A Roadmap for Developing Architecture Variants -- Evaluation of JavaScript Maintainability...
Testo
Elettronico eBook
14
Pubblicazione 2014
Sommario: ...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...
Testo
Elettronico eBook
15
Pubblicazione 2007
Sommario: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Testo
Elettronico eBook
16
Pubblicazione 2008
Sommario: ... Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ...Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing...
Testo
Elettronico eBook
18
Pubblicazione 2005
Sommario: ... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...
Testo
Elettronico eBook
19
Pubblicazione 2007
Sommario: ... -- Program Verification -- Verifying Object-Oriented Programs with KeY: A Tutorial -- Rebeca: Theory...
Testo
Elettronico eBook
20
Pubblicazione 2010
Sommario: ... Stackless Intermediate Representation for Java Bytecode -- JNI Light: An Operational Model for the Core JNI...
Testo
Elettronico eBook