Tabla de Contenidos: “…Chapter 1: SmartWatch Design History, Concepts Terms and Installation -- Chapter 2: SmartWatch Design Assets -- Chapter 3: SmartWatch Design Considerations: Watch Face Types -- Chapter 4: SmartWatch Design Considerations: Watch Face States -- Chapter 5: SmartWatch Design Motion Assets: Watch Face Animation -- Chapter 6: SmartWatch Design Testing: Software and Hardware Testing -- Chapter 7: SmartWatch Watch Face Layer-Based Design Using GIMP -- Chapter 8: SmartWatch Conditional Design Using the Timeline -- Chapter 9: Watch Face Battery or Steps Taken: Percentage Conditional Design -- Chapter 10: Watch Face Complications Design -- Chapter 11: Watch Face Gyroscopic Design: Using the Gyroscope -- Chapter 12: Watch Face Weather Design: Using Weather APIs -- Chapter 13: Watch Face Algorithm Design: Using Tag Expressions -- Chapter 14: Watch Face Publishing…”

Tabla de Contenidos: “…Part 1 - Getting Started with React -- 1 - Your First React Application -- 2 - Understanding React -- 3 - HTML and JSX Primer -- 4 - JavaScript Primer -- 5 - SportsStore: A Real Application -- 6 - SportsStore: REST and Checkout -- 7 - SportsStore: Administration -- 8 - SportsStore: Authentication and Deployment -- Part 2 - Working with React -- 9 - Understanding React Projects -- 10 - Stateless Components -- 11 - Stateful Components -- 12 - Events -- 13 - Reconciliation and Lifecycle -- 14 - Composing Applications -- 15 - Forms and Validations -- 16 - Using Refs -- 17 - Unit Testing -- Part 3 - Creating Complete React Applications -- 18 - Creating Complete Applications -- 19 - Using a Data Store -- 20 - Using the Data Store APIs -- 21 - Using URL Routing -- 22 - Advanced URL Routing -- 23 - Using RESTful Web Services -- 24 - Understanding GraphQL -- 25 - Consuming GraphQL…”

Tabla de Contenidos: “…-- Attributes of bitcoin and blockchain -- Getting a bitcoin wallet -- The different forms of bitcoin wallet -- Getting and sending bitcoins -- Summary -- Chapter 2: Programming Bitcoin and Blockchain with Python -- Programming bitcoin with Python -- Pi Bitcoin tools library -- How to generate private keys and public keys -- Creating a multisignature bitcoin address -- Blockchain API programming with Python -- Installing the Blockchain.info Python library -- Getting bitcoin exchange rates from Blockchain.info -- Statistics -- Block explorer methods -- Learning to mine bitcoin -- How to mine bitcoin -- Increasing difficulty in mining bitcoin -- Summary -- Chapter 3: Earning Bitcoin Programmatically -- Accepting bitcoin on your website -- Introduction to BitPay -- How to generate a bitcoin payment button -- How to add a bitcoin payment button to your website -- Building and releasing bitcoin-enabled APIs -- 21.co marketplace -- 21.co SDK -- Selling microservices on the 21.co marketplace -- Building a bitcoin trading bot -- Triggering the bitcoin trade advice alert -- How to get a current bid and asking price for bitcoin -- The triggering of buy bitcoin -- The triggering of sell bitcoin -- Summary -- Chapter 4: Bitcoin Data Analysis -- Manipulating and visualizing bitcoin price data -- Getting set up for data analysis -- Getting, reading in, and cleaning bitcoin price data -- DataFrame -- Data cleanup -- Setting the index to the Date column -- Exploring, manipulating, and visualizing the cleaned-up data -- Data visualization -- Exploring bitcoin transaction graphs…”

“…This completely revised edition shows you how to master key JavaScript concepts such as functions, closures, objects, prototypes, and promises. It covers APIs such as the DOM, events, and timers. You’ll discover best practice techniques such as testing, and cross-browser development, all taught from the perspective of skilled JavaScript practitioners. …”

Tabla de Contenidos: “…Using the High-End Graphics APIs -- Part IV. Language Migration -- 17. Swift Language Basics -- 18. …”

“…Next, you'll take on .NET APIs for performing tasks like managing and querying data, working with the filesystem, and serialization. …”

Tabla de Contenidos: “…PREFACE xi -- 1 INTRODUCTION: SERVICE RELIABILITY 1 -- 1.1 Motivation 4 -- 1.2 Technical Challenges 5 -- 1.3 Summary of Earlier Solutions 7 -- 1.4 Summary of New Ways to Verify Web Services 8 -- 1.5 Structure of the Book 10 -- References 11 -- 2 MODEL CHECKING 15 -- 2.1 Advantages and Disadvantages of Model Checking 18 -- 2.2 State-Space Explosion 19 -- 2.3 Model-Checking Tools 22 -- References 25 -- 3 PETRI NETS 27 -- 3.1 Colored Petri Nets 31 -- 3.1.1 CPN ML 31 -- 3.1.2 CPN Syntax and Semantics 35 -- 3.1.3 Timed Colored Petri Nets 41 -- 3.1.4 Multisets 47 -- 3.1.5 CPN Definitions 47 -- 3.2 Hierarchical Colored Petri Nets 49 -- References 55 -- 4 WEB SERVICES 57 -- 4.1 Business Process Execution Language 59 -- 4.2 Spring Framework 70 -- 4.3 JAXB 2 APIs 74 -- 4.3.1 Unmarshaling XML Documents 74 -- 4.3.2 Marshaling Java Objects 75 -- References 76 -- 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 -- 5.1 Motivation 78 -- 5.2 Overview of the Problem and Solution 79 -- 5.3 Related Work 83 -- 5.4 Models for Memory-Efficient State-Space Analysis 86 -- 5.4.1 Sequential Model 87 -- 5.4.2 Tree Model 98 -- 5.5 Experimental Results 108 -- 5.6 Discussion 112 -- 5.7 Summary 113 -- References 113 -- 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115 -- 6.1 Motivation 116 -- 6.2 Overview of the Problem and Solution 118 -- 6.3 Overview of Hierarchical Colored Petri Nets 119 -- 6.4 Related Work 123 -- 6.5 Technique for Time-Efficient State-Space Analysis 125 -- 6.5.1 Access Tables and Parameterized Reachability Graph 126 -- 6.5.2 Exploring a Module 129 -- 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134 -- 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137 -- 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143 -- 6.5.6 Theoretical Evaluation of the Reduction in Delay 145 -- 6.6 Experimental Results 149 -- 6.7 Discussion 151 -- 6.8 Summary 152 -- References 153 -- 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155 -- 7.1 Motivation 156 -- 7.2 Overview of the Problem and Solution 158 -- 7.3 Basics of Substitution Transition 160 -- 7.4 Related Work 161 -- 7.5 Method for Installing Hierarchy 162 -- 7.5.1 Lookup Method 163 -- 7.5.2 Clustering Method 189 -- 7.5.3 Time Complexity of the Lookup Algorithm 193 -- 7.6 Experimental Results 194 -- 7.7 Discussion 201 -- 7.8 Summary 202 -- References 203 -- 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205 -- 8.1 Motivation 206 -- 8.2 Overview of the Problem and Solution 208 -- 8.3 Related Work 209 -- 8.4 Colored Petri Net Semantics for BPEL 211 -- 8.4.1 Component A 211 -- 8.4.2 Component B 214 -- 8.4.3 Object Model for BPEL Activities 217 -- 8.4.4 XML Templates 221 -- 8.4.5 Algorithm for Cloning Templates 234 -- 8.5 Results 236 -- 8.6 Discussion 241 -- 8.7 Summary 242 -- References 242 -- 9 CONCLUSIONS AND OUTLOOK 245 -- 9.1 Results 246 -- 9.2 Discussion 249 -- 9.3 What Could Be Improved? …”

“…This book will help you join the thousands of successful iPhone apps developers without needing to learn Objective-C or the Cocoa touch APIs. If you want to apply your existing web development skills to iPhone and iPad development, then now you can. …”

“…All the concepts and APIs are clearly presented with code snippets you can customize and use, as you like, in your own apps. …”

Tabla de Contenidos: “…Primitive types -- E. Using the java API documentation -- F. Using the debugger -- G. …”

Tabla de Contenidos: “…Intro -- Inhalt -- Vorwort -- Teil I: Grundlagen -- Kapitel 1: Das Android-System -- Versionsgeschichte -- Architektur -- Android-Apps -- Kapitel 2: Entwicklungsumgebung und Entwicklungsprozess -- Installation -- Die Entwicklungsumgebung im Überblick -- Das SDK konfigurieren -- Ein neues Projekt anlegen -- Programmieren -- Der Build-Prozess -- Starten und debuggen -- Testen -- Veröffentlichen -- Kapitel 3: Kotlin für Android -- Kotlin im Android-Projekt -- Elementare Unterschiede -- Das Typensystem -- Null-sichere Operatoren -- Ablaufsteuerung -- Funktionen -- Variablen, Felder und Properties -- Klassen und Interfaces -- Singleton-Objekte -- Kollektionen, Maps und Wertebereiche -- Teil II: Apps implementieren -- Kapitel 4: Apps programmieren -- App-Komponenten -- Der Kontext -- Intents und Parcels -- Berechtigungen deklarieren und prüfen -- Multithreading -- Logging -- Kapitel 5: Mit Ressourcen arbeiten -- Struktur und Form -- Auf Ressourcen zugreifen -- Einfache Ressourcentypen -- Roh-Ressourcen -- Kapitel 6: Activity und Layout -- Funktionsweise der Activity -- Anmeldung im Manifest -- Implementierung -- Start und Ende -- Vorgefertigte Activities -- Layoutdefinition -- View-Ereignisse -- Elementare Views -- View-Gruppen -- Fragmente -- Kapitel 7: Weitere Komponententypen -- Komponententyp Service -- Komponententyp Broadcast-Receiver -- Komponententyp Content-Provider -- Teil III: Systemfunktionen -- Kapitel 8: Navigation und Dialoge -- Menüs -- Dialoge -- Mitteilungen -- Kapitel 9: Persistente Daten -- Präferenzdaten -- Zugriff auf Dateien -- SQLite-Datenbanken -- Kapitel 10: Systemdienste und Sensoren -- Systemdienste verwenden -- Auf Sensoren zugreifen -- Android-Versionen -- API-Übersichten -- Ressourcenkennzeichen -- Systemdienste -- Sensortypen -- Standardaktionen -- Manifest -- Kotlin-Standardfunktionen -- Index…”

“…Beginning Progressive Web App Development includes best practices to make your app work even when an end user has a poor or no Internet connection, and to send notifications and reminders with the Notification and Push APIs to keep your users engaged. You will come away with an understanding of the technologies—application shells, server push technology, and caching—that will allow you to rapidly deliver content to your users. …”

“…All the concepts and APIs are clearly presented with code snippets you can customize and use, as you like, in your own apps. …”

“…The authors explain simple and complex Android topics with equal ease. " – James Steele, author of The Android Developer's Cookbook…”

“…This book teaches both core Java language concepts and how to wisely but rapidly employ the design patterns and logic using the Android SDK, which is based on Java APIs. You'll also learn best practices that ensure your code will be efficient and perform well. …”

Tabla de Contenidos: “…The big picture -- Part I: the mouthpiece of Java EE: the web tier -- Java Servlet API and Java Servlets -- Dynamic web pages: Java ServerPages (JSP) -- Assembling dynamic web pages: JavaServer Faces (JSF) -- Web sites for the non-browsers: JAX-RS -- Adding sparkle: Java WebSocket -- Securing web applications -- The self-contained Web Site: Java EE Web Application -- Part II: the brain of Java EE: middle tier -- The fundamentals of Enterprise Beans -- Advanced thinking with Enterprise Beans -- Part III: the collective memory: The information tier -- Classic memories: JDBC -- Modern memories: the Java persistence API -- Part IV: the Java EE Toolbox: Java EE Environment -- The big picture revisited: Java EE applications -- Deconstructing components: Java EE contexts and dependency injection -- Java EE security -- Deconstructing components: dependency injection -- Many hands make light work: Java EE concurrency…”

“…The book also covers topics that enable scripting languages to take advantage of Java features and the Java class library, including the new Java Collections and JavaFX 8 APIs. …”

Tabla de Contenidos: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”

Tabla de Contenidos: “…Cover; Title Page; Copyright; Contents; Contributors; 1: Service Composition and Control for Next-Generation Converged Applications; 2: Service Delivery Platform for the Next-Generation Network; 3: Moving the SDP to the Cloud; 4: Enabling Service Delivery in Next-Generation Networks toward Service Clouds; 5: How to Model Dynamic Service Composition Using UML 2.x and Composition Policies; 6: Overview of Cognitive NGSDP Model: An Intelligent System in View of APIS (Applications, Performance, Intelligence, and Security); 7: Service Innovation for Electronic Services…”

Tabla de Contenidos: “…From Mechanized Semantics to Verified Compilation: The Clight Semantics of CompCert -- Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models -- Probabilistic Runtime Enforcement of Executable BPMN Processes -- Integrating Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring the Future of Smart Contracts -- Comprehending Object State via Dynamic Class Invariant Learning -- Detection for Large-Scale Online Service Systems Using Multi-Channel Data -- Refinement Verification of OS Services based on a Verified Preemptive Microkernel -- Fuzzy quantitative attack tree analysis -- Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation -- Invariant-based Program Repair -- Can ChatGPT support software verification -- Combining Deductive Verification with Shape Analysis -- First Steps towards Deductive Verification of LLVM IR -- FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution) -- Fizzer: New Gray-Box Fuzzer (Competition Contribution) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) -- Ultimate TestGen: Test Case Generation with Automata-based Software Model Checking (Competition Contribution)…”