Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Jesús 4,883
- Jesucristo 3,395
- Historia 2,970
- Biblia 2,234
- Història 2,086
- Jesuitas 1,981
- Bíblia 1,957
- Teresa de Jesús 1,862
- Sagrado Corazón de Jesús 1,470
- Cristologia 1,351
- Espiritualidad 1,167
- Jueus 971
- Crítica e interpretación 965
- Universidad Pontificia de Salamanca (España) 927
- Cristología 921
- Meditaciones 907
- Església Catòlica 871
- Biografia 849
- Biografías 833
- Teología 825
- Vida espiritual 814
- Sermones 741
- Vida cristiana 723
- Misticismo 705
- Crítica, interpretació, etc 641
- Virgen María 628
- Teresa del Niño Jesús 618
- Goigs 613
- Culto 582
- Moral cristiana 582
-
126221Publicado 1992Tabla de Contenidos: “…Overview of Lisp; 3.1 A Guide to Lisp Style; 3.2 Special Forms; 3·3 Functions on Lists; 3.4 Equality and Internal Representation; 3.5 Functions on Sequences; 3.6 Functions for Maintaining Tables; 3.7 Functions on Trees; 3.8 Functions on Numbers; 3.9 Functions on Sets; 3.10 Destructive Functions; 3.11 Overview of Data Types; 3.12 Input/Output; 3.12 Input/Output; 3.13 Debugging Tools; 3.14 Antibugging Tools…”
Libro electrónico -
126222Publicado 2023Tabla de Contenidos: “…-- Turning on the LDE -- Linux features -- Managing device permissions and Linux backup/restore -- Linux permissions -- Linux backup/restore -- Managing Linux storage -- Enabling Android Debug Bridge -- Implementing port forwarding -- Summary -- Chapter 8: Working with the Chrome Shell (Crosh) -- Technical requirements -- Accessing Crosh -- Looking at the essential Crosh commands for systems administration -- help -- help_advanced -- uptime -- top -- enroll_status -- ipaddrs -- ping -- modem -- set_time -- battery_test -- battery_firmware info -- free -- meminfo -- memeory_test -- Ssorage_test -- network_diag -- tracepath -- route -- rollback -- vmc -- exit -- Shell scripting -- Summary -- Chapter 9: Google Workspace Admin Console -- Technical requirements -- An overview of Google Workspace -- The major features of the Admin console -- Accessing the Admin console…”
Libro electrónico -
126223por MODELS 2009Tabla de Contenidos: “…-- (Meta-)Model Modeling and Management -- Modeling Modeling -- Representation and Traversal of Large Clabject Models -- Meta-model Pruning -- Quantitative Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems -- Model Driven Performance Measurement and Assessment with MoDePeMART -- Security Analysis of a Biometric Authentication System Using UMLsec and JML -- Model Transformations and Constraints -- Automatically Discovering Hidden Transformation Chaining Constraints -- CSP(M): Constraint Satisfaction Problem over Models -- Parsing SBVR-Based Controlled Languages -- Model Management -- SLIM—A Lightweight Environment for Synchronous Collaborative Modeling -- Language-Independent Change Management of Process Models -- Requirements for Practical Model Merge – An Industrial Perspective -- UML in Practice and Quality Assurance -- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study -- Concern Visibility in Base Station Development – An Empirical Investigation -- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation -- Formalization of Model Transformations -- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars -- Formal Support for QVT-Relations with Coloured Petri Nets -- Scenario Modeling -- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example -- Refactoring-Safe Modeling of Aspect-Oriented Scenarios -- Model-Based Testing Using LSCs and S2A -- Business Application Development -- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward -- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors -- Rule-Enhanced Business Process Modeling Language for Service Choreographies -- Model Synchronisation and Change Propagation -- Change-Driven Model Transformations -- An Incremental Algorithm for High-Performance Runtime Model Consistency -- Traceability-Based Change Awareness -- Keynote 2 -- Interaction Design and Model-Driven Development -- Language Specification and Annotation -- Towards Test-Driven Semantics Specification -- Scalable Semantic Annotation Using Lattice-Based Ontologies -- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages -- Domain-Specific Languages -- Domain-Specific Languages in Practice: A User Study on the Success Factors -- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation -- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context -- Model-Based Analysis -- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty -- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation -- Polymorphic Scenario-Based Specification Models: Semantics and Applications -- Model (De-)Composition and Abstractio -- Aspect Model Unweaving -- Model Composition Contracts -- Abstracting Complex Languages through Transformation and Composition -- An Approach for Evolving Transformation Chains -- Distributed Software Development -- Deterministic UML Models for Interconnected Activities and State Machines -- Automated Encapsulation of UML Activities for Incremental Development and Verification -- Using UML Statecharts with Knowledge Logic Guards -- Service and Business Process Integration -- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems -- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems -- Executable Domain Specific Language for Message-Based System Integration -- Keynote 3 -- Architectural Mining: The Other Side of the MDD -- Genericity and Constraints -- Generic Model Refactorings -- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers -- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages -- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language -- Variability Management -- Variability within Modeling Language Definitions -- Variability Modelling throughout the Product Line Lifecycle -- Weaving Variability into Domain Metamodels -- Automatic Domain Model Migration to Manage Metamodel Evolution -- Model Transformation Engineering -- Model Transformation by Demonstration -- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development of Model Transformation Chains Using Automated Testing -- Test-Driven Development of Model Transformations -- Symposium -- Educators’ Symposium at MODELS 2009.…”
Publicado 2009
Libro electrónico -
126224Publicado 2018Tabla de Contenidos: “…Multiple Patterns in a Single Case -- Using the where Statement within case -- Evaluating Optionals with a switch Statement -- Activity: Converting Code from if to switch -- Loops -- The for...in Statement -- Iterating over Objects -- Iterating over Array Objects with index -- The for Loop where Clause -- The break Control Transfer Statement -- The continue Control Transfer Statement -- The while Loop -- The repeat...while Loop -- Activity: Implementing Loops -- Summary -- Functions, Classes, and Structs -- Functions -- Defining a Function -- Argument Labels -- Excluding Argument Labels -- Parameter Default Values -- Activity: Implementing a Function -- Returning Values from Functions -- Using @discardableResult -- Function Attributes -- Variadic Parameters -- inout Parameters -- Recursion -- Functions as Parameters -- Closures -- Creating a Function to Receive Content from an Asynchronous Web Service Call -- Error Handling -- The do...catch Statement -- Multiple catch Blocks -- Using do without catch -- The guard Statement -- Activity: Exception Handling -- Object-Oriented Features -- Object-Oriented Principles -- Classes Versus Structs -- Defining Classes and Structures -- Activity: Creating a Customer Struct and Class -- Summary -- Challenge -- Collections -- Arrays -- Working with Arrays -- Index -- Common Operations with Index -- ArraySlice -- Creating Slices -- Activity: Working with Arrays -- Sets -- Working with Sets -- Combining Sets -- Comparing Sets -- Activity: Removing Duplicates from a Sequence -- Dictionaries -- Working with Dictionaries -- Activity: Using Dictionaries -- Summary -- Strings -- String Fundamentals -- Character -- Collection -- Index -- Working with String Index -- Debugging -- Activity: All Indices of a Character -- Using Strings -- Creating Strings -- Common Operations -- Activity: All Ranges of a Substring…”
Libro electrónico -
126225por Ogden, BillTabla de Contenidos: “…Basic discussions -- 7.1 Resource definitions -- 7.2 Linux windows and FLEX-ES operation -- 7.3 64-bit operation -- 7.4 Creating additional emulated volumes -- 7.5 Operating systems messages console -- 7.6 x3270 client -- 7.7 S/390 identification -- 7.8 z/OS TCP/IP profile -- 7.9 Initial debugging -- 7.10 VTAM APAR -- 7.11 Security -- 7.12 RAS discussion -- 7.13 Useful Linux commands -- Chapter 8. …”
Publicado 2003
Libro electrónico -
126226por Lee, Wei-MengTabla de Contenidos: “…Handle Exit and Close Events; 1.6. Run and Debug the Application; 1.7. Inspect an Object at Runtime; 1.8. …”
Publicado 2005
Libro electrónico -
126227Publicado 2005Tabla de Contenidos: “…4.2 Assembly File4.3 Memory Management; 4.4 Compiler Utility; 4.5 Code Initialization; 4.6 Bibiolography; Lab 1: Getting Familiar with Code Composer Studio; L1.1 Creating Projects; L1.2 Debugging Tools; L1.3 EVM Target; L1.4 Simulator; Bibliography; Chapter 5. …”
Libro electrónico -
126228por Von Hagen, WilliamTabla de Contenidos: “…Testing Windows Authentication; 1.6.8. Debugging Windows Authentication Problems; 1.6.9. See Also; 6. …”
Publicado 2005
Libro electrónico -
126229por Laahs, KevinTabla de Contenidos: “…13.4 Creating Custom Web Parts13.5 Coding Web Parts; 13.6 Connecting Web Parts; 13.7 Debugging Web Parts; 13.8 Packaging and Deploying Web Parts; Chapter 14. …”
Publicado 2008
Libro electrónico -
126230Publicado 2013Tabla de Contenidos: “…7 Experience of Real-World Sensor Network Deployment7.1 Volcano Monitoring; 7.2 First Deployment of Volcano Monitoring Sensor Network; 7.3 Main Contribution; 7.4 Hardware Design; 7.5 Software Design; 7.6 Deployment Experience; 7.7 Second Deployment of Volcano Monitoring Sensor Network; 7.8 System Overview; 7.9 Automatic Fault Detection and Recovery; 7.10 Remote Command and Control; 7.11 Configurable Sensing; 7.12 Over-the-Air Network Reprogramming; 7.13 Data Quality Evaluation; 7.14 System Debugging Experience; 7.15 Event Detection Accuracy; 7.16 Data Prioritization…”
Libro electrónico -
126231
-
126232por Savikas, AndrewTabla de Contenidos: “…Hello, World; 1.3.3. Organizing and Debugging Your Macros; 1.3.4. Running Macros; 1.3.5. …”
Publicado 2005
Libro electrónico -
126233Publicado 2023Tabla de Contenidos: “…Intro -- Table of Contents -- About the Author -- About the Technical Reviewer -- Introduction -- Chapter 1: ReScript Basics -- Expressions, Values, and Side Effects -- Compile Time and Runtime -- Types, Typechecking, and Type Inference -- Primitive Types and Operators -- Integer and Float -- Boolean -- String -- Unit -- Printing and Debugging -- Bindings -- Mutation and Refs -- Blocks -- Block Scoping -- Conditionals -- Switches -- Loops -- Putting It All Together -- Final Thoughts -- Chapter 2: Functions -- Defining and Using Functions -- Type Annotations -- Using Standard Library Functions and Opening Modules -- Higher-Order Functions -- Piping -- Labeled and Optional Parameters -- Currying and Partial Application -- Polymorphic Functions -- Pure Functions -- Ignoring Return Values -- Recursion -- Syntax -- How to Use Recursion -- Final Thoughts -- Chapter 3: Composite Data Types -- Tuples -- Creating Tuples -- Accessing Tuples -- Pattern Matching with Tuples -- Variants -- Declaring and Constructing Variants -- Pattern Matching with Variants -- Exhaustiveness -- Complex Patterns -- Variants with Data -- Recursive Data Types -- Options -- Pattern Matching Options -- Exceptions and Error Handling -- Raising Exceptions -- Catching Exceptions -- Custom Exceptions -- Another Way to Handle Errors: Result -- Result in Action -- Defining Errors for Results -- Composing Results -- Final Thoughts -- Chapter 4: Records and Objects -- Records -- Declaring and Creating Records -- Nominal Typing -- Accessing Record Fields -- Updating Records -- Mutable Fields -- Optional Fields -- Destructuring Records -- Pattern Matching with Records -- Records and Variants -- Printing Records -- Records and JSON -- Serialization -- Deserialization -- Objects -- Declaring and Creating Objects -- Accessing Object Fields -- Structural Typing -- Mutating Objects…”
Libro electrónico -
126234Publicado 2024Tabla de Contenidos: “…-- 14.2 AutoGPT -- 14.3 BabyAGI -- 14.4 HuggingGPT -- Chapter 15: LangSmith and LangServe -- 15.1 LangSmith -- 15.2 LangServe -- Chapter 16: Additional Features -- 16.1 Fallbacks -- 16.1.1 Fallback for LLMs -- 16.1.2 Fallback for Chains -- 16.2 Safety -- 16.2.1 OpenAIModerationChain -- 16.2.2 ConstitutionalChain -- 16.3 Model Laboratory -- 16.4 Debugging and Verbose -- Endnotes -- About the Author…”
Libro electrónico -
126235por Joly, LaurentTabla de Contenidos: “…L'impasse du nationalisme césarien, 1898-1900 -- L'affaire Dreyfus et les origines de l'Action française (janvier 1898-juin 1899) -- La rupture d'Henri Vaugeois avec l'Union pour l'action morale -- Maurice Pujo et la polémique nationaliste au sein de l'Union pour l'action morale -- La crise nationaliste d'un certain patriotisme républicain : le cas François de Mahy -- Les blessures universitaires d'Henri Vaugeois -- Les débuts dans l'antidreyfusisme : Action française versus Union pour l'action morale -- Le "manifeste" de L'Éclair (19 décembre 1898) -- Maurice Barrès et le lancement de la Ligue de la Patrie française (janvier-février 1899) -- L'affaire de Reuilly (23 février 1899) et la mystique du coup de force -- L'Action française et les autres projets de quotidien nationaliste à "un sou" -- Les "modérés" et les "emballés" un clivage droite/extrême droite au sein de la LPF -- La conférence du 20 juin 1899 : une "dissidence" au sein de la Ligue de la Patrie française ? …”
Publicado 2015
Libro -
126236Publicado 1575Tabla de Contenidos: “…De basilica sancti Vincentii que est Cesarauguste, ubi cruor eius dicitur effluxisse (h . 43 r.-v.) . vv.: Macte decus proprium Vincenti martyr alumne (h . 43 r.) . 9 . …”
Manuscrito -
126237Publicado 2018Tabla de Contenidos: “…. -- See also -- Chapter 8: Debugging and Automated Testing -- Introduction -- Producing server logs to help debug methods -- Getting ready -- How to do it... -- How it works... -- There's more... -- See also -- Using the Odoo shell to interactively call methods -- Getting ready -- How to do it…”
Libro electrónico -
126238Publicado 2021Tabla de Contenidos: “…Handling different screen resolutions, part 1 - initializing the variables -- Errors, warnings, and bugs -- Printing debugging information -- Testing the game -- Summary -- Chapter 4: Structuring Code with Java Methods -- Methods -- Methods revisited and explained further -- Method overloading by example -- Creating a new project -- Coding the method overloading mini-app -- Running the method overloading mini-app -- Scope - methods and variables -- Method recursion -- Revisiting the code and methods we have used already -- Generating random numbers to deploy a sub -- The Random class and the nextInt method -- Testing the game -- Summary -- Chapter 5: The Android Canvas Class - Drawing to the Screen -- Understanding the Canvas class -- Getting started drawing with Bitmap, Canvas, and ImageView -- Using the Canvas class -- Preparing the objects of classes -- Initializing the objects -- Setting the Activity content -- Canvas Demo app -- Creating a new project -- Android coordinate system -- Plotting and drawing -- Drawing the Sub' Hunter graphics and text -- Preparing to draw -- Initializing Canvas, Paint, ImageView, and Bitmap objects -- Drawing some gridlines -- Drawing the HUD -- Upgrading the printDebuggingText method -- Summary -- Chapter 6: Repeating Blocks of Code with Loops -- Making decisions with Java -- Keeping things tidy -- More operators -- Java loops -- While loops -- Do while loops -- For loops -- Using for loops to draw the Sub' Hunter grid -- Summary -- Chapter 7: Making Decisions with Java If, Else, and Switch -- If they come over the bridge, shoot them -- Else do this instead -- Switching to make decisions -- Switch example -- Combining different control flow blocks -- Using the continue keyword -- Making sense of screen touches -- Coding the onTouchEvent method -- Final tasks -- Coding the takeShot method…”
Libro electrónico -
126239Publicado 2018Tabla de Contenidos: “…. -- There's more... -- Debugging C# Azure Functions on a local staged environment using Visual Studio 2017 -- Getting ready -- How to do it... -- How it works... -- There's more... -- Connecting to the Azure Storage cloud from the local Visual Studio environment -- Getting ready -- How to do it... -- How it works... -- There's more... -- Deploying the Azure Function app to Azure Cloud using Visual Studio -- How to do it... -- There's more…”
Libro electrónico -
126240