Accés lliure del vol. 1
Accés lliure del vol. 2

Acceso a copia digital - Hathitrust Digital Library

Accés lliure

Tabla de Contenidos: “…Common migration issues -- 5.1 J2EE application server compability -- 5.1.1 Differences in J2EE implementations -- 5.1.2 Using vendor-specific features -- 5.1.3 Class loader related problems -- 5.1.4 Deployment descriptors -- 5.2 Application portability -- 5.2.1 Application packaging -- 5.2.2 Use of native code -- 5.2.3 Database-related issues -- 5.2.4 JMS -- 5.2.5 JNDI -- 5.2.6 J2EE application clients -- 5.3 J2EE 1.3 to 1.4 migration considerations -- 5.3.1 Enterprise Java Beans -- 5.3.2 Java Server Pages -- 5.3.3 Servlets -- Chapter 6. …”

Tabla de Contenidos: “…Foreword : Japan's new visual culture / Frederik L. Schodt -- Introduction / Mark W. …”
Enlace del recurso

“…During the last six investigations, many new taxa, including new species, new genera, have been discovered. …”

Tabla de Contenidos: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs…”

Tabla de Contenidos: “…Behavior-Driven Development -- Appendix A: Design the State Data Shape of Your Application -- Appendix B: Background of Testing Strategies…”

Materias:

“…With this practical book, Android developers will learn how to make the transition from Java to Kotlin, including how Kotlin provides a true advantage for gaining control over asynchronous computations. …”

Tabla de Contenidos: “…Chapter 1: Big Data, Hadoop, and HDInsight -- Chapter 2: Provisioning HDInsight Cluster -- Chapter 3: Working with Data in HDInsight -- Chapter 4: Querying Data with Hive -- Chapter 5: Using Pig with HDInsight -- Chapter 6: Working with HBase -- Chapter 7: Real-Time Analytics with Storm -- Chapter 8: Exploring Data with Spark…”

Tabla de Contenidos: “…Analyzing big data -- Introduction to data analysis with Scala and Spark -- Recommending music and the audioscrobbler data set -- Predicting forest cover with decision trees -- Anomaly detection in network traffic with K-means clustering -- Understanding Wikipedia with latent semantic analysis -- Analyzing co-occurrence networks with GraphX -- Geospatial and temporal data analysis on the New York City taxi trip data -- Estimating financial risk through Monte Carlo simulation -- Analyzing genomics data and the BDG project -- Analyzing neuroimaging data with PySpark and Thunder…”