Tabla de Contenidos: “…-- Features that Make GoLang the Premium Choice for Programming -- Intentionally Excluded Features from GoLang -- Go Programs -- Summary -- Chapter 2: Go Basics -- Ancestors of Go -- Go Syntax -- Installing Go -- Go Playground -- Developing Go Applications Using IDEs -- Getting Started Programming Go Applications -- Let's Print Hello World! …”

Tabla de Contenidos: “…; 4 Meet Energia-a Software Development Environment; 4.1 How to Teach Your LaunchPad New Tricks; 4.2 Get Energia; 4.2.1 Installation; 4.3 Project 2: LaunchPad's First Trick-Blink; 4.4 Looking at Our First Code Example…”

Tabla de Contenidos: “…4.2 Zahlung ohne Kreditkarte4.3 App-Empfehlungen standortabhängig; 4.4 Kostenlose und kostenpflichtige Apps; 4.5 Keine Löschung der vorinstallierten Apps; 4.6 Größe der Apps berücksichtigen; 4.7 Rückgabe von Apps; 4.8 Installation via Rechner; Kapitel 5: Im Internet zu Hause; 5.1 Safari bleibt Standardbrowser; Browser-Einschränkungen durch Apple; Gestensteuerung mit Dolphin; Synchronisation über die Cloud; 5.2 iCab hinterlässt keine Surfspuren; 5.3 Googles Antwort lautet Chrome; 5.4 Opera reduziert den Datentraffic; 5.5 Puffin: Steuerung per Trackpad; 5.6 Noch ein Klassiker: Apollo…”

Tabla de Contenidos: “…View and export underlying data -- Summary -- Knowledge check -- Part 3: The Final Prep -- Chapter 10: Exam Preparation -- Technical requirements -- Preparation through examination scheduling -- Examination basics -- Preparing for the online examination before the day of the exam -- Scheduling the examination and additional preparation -- Final examination preparation -- Post-scheduling preparation -- Exam day preparation -- Once the examination is done -- Summary -- Chapter 11: Mock Test -- Technical requirements -- Mock exam -- Start the exam -- Exam answers -- Exam scoring -- Basic scoring -- Domain scoring -- What's next? …”

Tabla de Contenidos: “…Cover; Titel; Impressum; Inhaltsverzeichnis; Vorwort; Kapitel 1: AutoCAD starten und loslegen; 1.1 Die Testversion: Download und Installation; 1.2 Die Studentenversion; 1.3 Hard- und Software-Voraussetzungen; 1.4 Die AutoCAD-Umgebung; 1.5 Installierte Programme; 1.6 AutoCAD 2017 und AutoCAD LT 2017; 1.7 AutoCAD starten; 1.8 Die AutoCAD-Benutzeroberfläche; 1.9 Wie kann ich Befehle eingeben?…”

Tabla de Contenidos: “…Intellectual Property; 2.7. Some Final Words; 3. A Tale of Two Standards; 3.2. First Implementation Past the Post; 3.3. …”

Tabla de Contenidos: “…3.4.5 RESONANT-CAVITY ENHANCED PHOTODETECTORS (RECAP)3.4.6 INTERFEROMETRIC SENSORS; 3.5 Noise; 3.5.1 SHOT NOISE; 3.5.2 THERMAL NOISE; 3.5.3 OTHER NOISE SOURCES; 3.5.4 SIGNAL-TO-NOISE RATIO; Chapter 3 References; 4 Fiber Optic Link Design; 4.1 Figures of Merit; 4.2 Link Budget Analysis; 4.2.1 INSTALLATION LOSS; 4.2.2 TRANSMISSION LOSS; 4.2.3 ATTENUATION VS. …”

Tabla de Contenidos: “…3.1.4.2 Key Agreement3.1.4.3 Manual Key Establishment; 3.2 Management of Symmetric Keys; 3.2.1 EAP Key Management Methods; 3.2.2 Diffie-Hellman Key Agreement for Symmetric Key Generation; 3.2.2.1 Problems with Diffie-Hellman; 3.2.3 Internet Key Exchange for Symmetric Key Agreement; 3.2.4 Kerberos and Single Sign On; 3.2.4.1 Kerberos Issues; 3.2.5 Kerberized Internet Negotiation of Keys (KINK); 3.3 Management of Public Keys and PKIs; 3.4 Further Resources; 3.5 References; Chapter 4 Internet Security and Key Exchange Basics; 4.1 Introduction: Issues with Link Layer-Only Security…”

Tabla de Contenidos: “…The Comprehensive Perl Archive Network; 3.8. Installing Modules from CPAN; 3.9. Setting the Path at the Right Time; 3.10. …”

Tabla de Contenidos: “…2.3 whereis: Finding Where a Command Is Located2.4 Searching Online Manual Pages; 2.5 How Unix Systems Remember TheirNames; 2.6 Which Version Am I Using?…”

Tabla de Contenidos: “…front cover; copyright; table of contents; front matter; Preface; Organization; Typographical Conventions; Acknowledgments; Solutions Manual; body; 1 Introduction; 1.1 Data and Database Management; 1.2 The Database Life Cycle; 1.3 Conceptual Data Modeling; 1.4 Summary; 1.5 Literature Summary; 2 The Entity-Relationship Model; 2.1 Fundamental ER Constructs; 2.1.1 Basic Objects: Entities, Relationships, Attributes; 2.1.2 Degree of a Relationship; 2.1.3 Connectivity of a Relationship; 2.1.4 Attributes of a Relationship; 2.1.5 Existence of an Entity in a Relationship…”

Tabla de Contenidos: “…3.1.7 Miscellaneous features3.1.8 Summing up the architecture overview; 3.2 Mobile devices; 3.2.1 Different types of devices; 3.2.2 Terminals becoming general-purpose devices; 3.2.3 Some challenges; 3.2.4 Concluding words on mobile devices; 3.3 Relationship of EPC to radio networks; 3.3.1 Overview of radio networks for mobile services; 3.3.2 Functionality of radio networks; 3.3.3 GSM; 3.3.4 WCDMA; 3.3.5 LTE; Chapter 4 EPS deployment scenarios and operator cases; 4.1 Scenario 1: EPS with LTE deployment with existing 3GPP installations; 4.2 Scenario 2: LTE and EPS for Greenfield operators…”

Tabla de Contenidos: “…File Handling -- Writing and Reading Binary Data -- Pickles with Optional Compression -- Raw Binary Data with Optional Compression -- Writing and Parsing Text Files -- Writing Text -- Parsing Text -- Parsing Text Using Regular Expressions -- Writing and Parsing XML Files -- Element Trees -- DOM (Document Object Model) -- Manually Writing XML -- Parsing XML with SAX (Simple API for XML) -- Random Access Binary Files -- A Generic BinaryRecordFile Class -- Example: The BikeStock Module's Classes -- Summary -- Exercises -- Chapter 8. …”

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? …”

Tabla de Contenidos: “…A short history; 3.8.3. Manually abstracted model; 3.8.4. Automatically generated model; 3.9. …”

Tabla de Contenidos: “…2 Selected FAQs on Using GnuPG2.1 Why Use GnuPG; 2.2 Why Start with the Command Line; 2.3 Why Use the Command Line; 2.4 Getting to the Command Line; 2.5 Is GnuPG Even Installed?; 2.6 GnuPG Commands and Options; 2.7 Simple Examples; 2.8 Options: Getting More Information; 2.9 Options: Text or Binary; 2.10 Command Summary and Review; 2.11 Review Questions; 3 Public Keys; 3.1 Getting Someone's Public Key; 3.2 Generating a Public Key; 3.3 Why Two Key Pairs?…”

Tabla de Contenidos: “…Eine einzelne Skriptdatei lesen -- Strukturbeispiele aus HowDoI -- Stilbeispiele aus HowDoI -- Diamond -- Eine größere Anwendung lesen -- Strukturbeispiele aus Diamond -- Stilbeispiele aus Diamond -- Tablib -- Eine kleine Bibliothek lesen -- Strukturbeispiele aus Tablib -- Stilbeispiele aus Tablib -- Requests -- Eine größere Bibliothek lesen -- Strukturbeispiele aus Requests -- Stilbeispiele aus Requests -- Werkzeug -- Code in einem Toolkit lesen -- Stilbeispiele aus Werkzeug -- Strukturbeispiele aus Werkzeug -- Flask -- Code in einem Framework lesen -- Stilbeispiele aus Flask -- Strukturbeispiele aus Flask -- Kapitel 6: Guten Code ausliefern -- Nützliches Vokabular und nützliche Konzepte -- Paketierung Ihres Codes -- Conda -- PyPI -- Einfrieren Ihres Codes -- PyInstaller -- cx_Freeze -- py2app -- py2exe -- bbFreeze -- Paketierung für Linux-Built-Distributionen -- Ausführbare ZIP-Dateien -- Teil 3: Szenario-Guide -- Kapitel 7: Nutzerinteraktion -- Jupyter Notebooks -- Kommandozeilenanwendungen -- argparse -- docopt -- Plac -- Click -- Clint -- cliff -- GUI-Anwendungen -- Widget-Bibliotheken -- Spieleentwicklung -- Webanwendungen -- Web-Frameworks/Mikroframeworks -- Web-Template-Engines -- Web-Deployment -- Kapitel 8: Codemanagement und -optimierung -- Continuous Integration -- Tox -- Systemadministration -- Travis-CI -- Jenkins -- Buildbot -- Serverautomatisierung -- System- und Task-Überwachung -- Geschwindigkeit -- Threading -- Multiprocessing -- Subprozesse -- PyPy -- Cython -- Numba -- GPU-Bibliotheken -- Interfacing mit C-/C++-/FORTRAN-Bibliotheken -- Kapitel 9: Software-Interfaces -- Webclients -- Web-APIs -- Datenserialisierung -- Pickle -- Sprachübergreifende Serialisierung -- Komprimierung -- Das buffer-Protokoll -- Verteilte Systeme -- Vernetzung -- Kryptografie -- ssl, hashlib und secrets -- pyOpenSSL -- PyNaCl und libnacl -- Cryptography…”

Tabla de Contenidos: “…A Multi-Get Interface -- The Vote Interface -- API Design Guidelines -- Models -- Rails -- Rails 2.3 Routes -- Rails 3 Routes -- The Rails Controller -- Sinatra -- Rack -- Conclusion -- 6 Connecting to Services -- Blocking I/O, Threading, and Parallelism -- Asynchronous I/O -- Multi-threading -- Typhoeus -- Making Single Requests -- Making Simultaneous Requests -- Multi-threaded Requests -- JRuby -- Logging for Performance -- Handling Error Conditions -- Testing and Mocking Service Calls -- Requests in Development Environments -- Conclusion -- 7 Developing Service Client Libraries -- Packaging -- Jeweler -- Building and Deploying a Library -- Parsing Logic -- The JSON Gem -- YAJL Ruby -- Wrapping Parsed Results -- ActiveModel -- Validations -- Serialization -- Connection and Request Logic -- Data Reads -- Data Writes -- Mocks, Stubs, and Tests -- Conclusion -- 8 Load Balancing and Caching -- Latency and Throughput -- Load Balancing -- Load Balancing Algorithms -- Implementing Load Balancing -- Caching with Memcached -- The Memcached Client and ActiveRecord -- Time-Based Expiration -- Manual Expiration -- Generational Cache Keys -- HTTP Caching -- Expiration-Based Caching -- Validation-Based Caching -- Implementing HTTP Caching -- Conclusion -- 9 Parsing XML for Legacy Services -- XML -- REXML -- Nokogiri -- SOAP -- Exploring Web Services with a WSDL File -- Making Requests -- Conclusion -- 10 Security -- Authentication -- HTTP Authentication -- Signing Requests -- SSL for Authentication -- Authentication for Rails Applications -- Authorization -- Firewalls -- An RBAC Authorization Service -- Encryption -- SSL for Encryption -- Public/Private Key Pairs for Encryption -- Conclusion -- 11 Messaging -- What Is Messaging? …”

Tabla de Contenidos: “…Making selections : Reviewing the basics ; Selection strategies ; Selecting areas manually ; Selecting with edge detection tools ; Tips for using selection tools ; Selecting by tone or color ; Anti-aliasing and feathering ; Selecting difficult edges ; The modify submenu ; Floating selections ; Quick masks ; Selecting with channels ; Selections, layers, and masks -- 10. …”

Tabla de Contenidos: “…Cover; Titel; Impressum; Inhaltsverzeichnis; Vorwort; Kapitel 1: AutoCAD starten und loslegen; 1.1 Die Testversion; 1.1.1 Hard- und Software-Voraussetzungen; 1.1.2 Installation; 1.2 Installierte Programme; 1.3 AutoCAD 2015 und AutoCAD LT 2015; 1.4 AutoCAD starten; 1.4.1 Start; 1.5 Die AutoCAD-Benutzeroberfläche; 1.6 Wie kann ich Befehle eingeben?…”