Mostrando 16,681 - 16,700 Resultados de 20,414 Para Buscar 'Urrao~', tiempo de consulta: 1.09s Limitar resultados
  1. 16681
    Publicado 2009
    Tabla de Contenidos: “….); Beatriz: un ahogo en la mirada, Beatriz: (...); La ciudad en su errar; El camino de la aventura; El palimpsesto o el garabato; La obediencia que reclama el objeto escriturario; La seducción es otra historia de amor (...); La seducción: Eros tejiendo el juego (...)…”
    Libro electrónico
  2. 16682
    Publicado 2008
    Tabla de Contenidos: “…Los "usos" del policial : consideraciones -- El relato policial : valoraciones en pugna -- "Una máquina de leer" : los mecanismos del policial -- La ciudad y el relato policial: una poética de la vida moderna -- El relato policial, intrigas urbanas : Paul Groussac, Eduardo Holmberg, Horacio Quiroga, Roberto Arlt (1880-1930): -- Paul Groussac : "La pesquisa", entre el policial y el folletín -- Eduardo Ladislao Holmberg : La bolsa de huesos, un juguete policial -- Horacio Quiroga : desquicios en la ciudad : crimen y paranoia -- Roberto Arlt : juguetes criminales, juguetes "rabiosos" -- El relato policial y el dominio de la literatura : Adolfo Bioy Casares, Silvina Ocampo, Jorge Luis Borges, Julio Cortázar, Rodolfo Walsh, Ricardo Piglia, Juan Sasturain, Luisa Valenzuela, Juan José Saer (1940-2000): -- Artesanos del enigma : el relato policial argentino en las décadas de los 40 y 50 -- Jorge Luis Borges : desde el alma del barrio a la infamia del arrabal -- Aperturas de fin del milenio : policial y testimonio de la violencia…”
    Libro electrónico
  3. 16683
    Publicado 2003
    Tabla de Contenidos: “…Amadú Kekediurú (el salvador de los suyos)El huerfanillo odiado por sus hermano; La pequeña liebre; Kuakú Baboní (la más terrible de todas las criaturas); Ntyi, vencedor de la serpiente; Fanfarronadas; Las aventuras de Xatla, el Chacal; La burra del lavandero; Aua, la huerfanita; La novia de la raza yblisa; Historia de Rabotity; Seetetelané; La lanza perdida…”
    Libro electrónico
  4. 16684
    por García Huidobro, Fernando
    Publicado 2008
    Tabla de Contenidos: “…; 5 BARRIO CIUDAD; Diseño urbano abierto; Barrio ciudad; Comercio; Equipamientos; Versatilidad, esquina, doble frente; Plazas comunidad; 6 CASOS; Kikutake, Kurokawa, Maki: familia Fernández; James Stirling: familia Zamora; Esquerra, Sáenz, Samper, Urdaneta: familia Espinoza; Atelier 5: familia Ramos; Atelier 5: familia Garcés…”
    Libro electrónico
  5. 16685
    Publicado 2018
    Tabla de Contenidos: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. …”
    Libro electrónico
  6. 16686
    Publicado 2009
    Tabla de Contenidos: “…National-Level Options DoD-Level Options; Army-Level Options; Arraying the Options in Terms of Leverage and Fallback; "Whole of Government" Staffing Approach; Planning Tools; APPENDIX - Additional Materials; Bibliography; APPENDIX A - Inputs, Outputs, and Outcomes of PRT Capabilities; APPENDIX B - Evaluation of Occupations by Capabilities and Tasks; APPENDIX C - Utilizing FEDScope to Locate Personnel for a FACT; APPENDIX D - Observations on Interagency Training Program…”
    Libro electrónico
  7. 16687
    por Kiefer, Stefan
    Publicado 2021
    Tabla de Contenidos: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- Certifying Inexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem…”
    Libro electrónico
  8. 16688
    Publicado 2023
    Tabla de Contenidos: “…Chapter 1: Introduction -- Part I: Computers, Data, and Communication -- Chapter 2: A Short History of Computers -- Chapter 3: How Computers Communicate -- Chapter 4: How a Computer Looks at Data -- Chapter 5: How Computers Work -- Part II: Basic Ingredients for Web Programming -- Chapter 6: The HTML File Format -- Chapter 7: Introduction to Cascading Style Sheets -- Chapter 8: Your First JavaScript Program -- Part III: JavaScript Fundamentals -- Chapter 9: Basic JavaScript Syntax -- Chapter 10: Introducing Functions and Scope -- Chapter 11: Grouping Values Together with Objects and Arrays -- Chapter 12: Interacting with Web Pages -- Part IV: Intermediate JavaScript -- Chapter 13: Recursive Functions and the Stack -- Chapter 14: Manipulating Functions and Scopes -- Chapter 15: Intermediate Objects -- Part V: Programming Applications -- Chapter 16: Modernizing JavaScript -- Chapter 17: Working With Remote Services (APIs) -- Chapter 18: Writing Server-Side JavaScript -- Chapter 19: Conclusion -- Appendix A: Glossary -- Appendix B: Operating System and Browser Specifics -- Appendix C: The JavaScript Toolbox on Docker -- Appendix D: Character Encoding Issues -- Appendix E: Additional Machine Language Programs…”
    Libro electrónico
  9. 16689
    Publicado 2017
    Tabla de Contenidos: “…-- Chapter 11: How to Flick a Virtual Switch -- Chapter 12: Around and Around It Goes -- Chapter 13: Piles of Files: Dealing with Information Overload -- Chapter 14: Creating Loops within Loops -- Chapter 15: The Old Runaround -- Chapter 16: Using Loops and Arrays -- Part 4: Using Program Units -- Chapter 17: Programming with Objects and Classes -- Chapter 18: Using Methods and Fields from a Java Class -- Chapter 19: Creating New Java Methods -- Chapter 20: Oooey GUI Was a Worm -- Part 5: The Part of Tens -- Chapter 21: Ten Websites for Java -- Chapter 22: Ten Useful Classes in the Java API -- Index…”
    Libro electrónico
  10. 16690
    Publicado 2020
    Tabla de Contenidos: “…PGINA LEGAL -- CONTENIDO -- PRLOGO -- INTRODUCCIN -- I AVATARES DE UN ARTISTA POLIFACTICO -- LA OPCIN POR EL ARRABAL EN LOS TIEMPOS DE LA BOHEMIA -- DEL GRUPO DE LOS CINCO A LA REVISIN DE LOS ARTISTAS DEL PUEBLO -- NUEVAS AMISTADES Y NUEVOS PROYECTOS -- DE "ARTISTA DEL PUEBLO" A "ARTISTA PROLETARIO" -- II ESCRITOS DE UN POLEMISTA -- COMBATE CON LA CRTICA Y DISPUTAS EN EL CAMPO CULTURAL PORTEO -- POLMICAS SOBRE LA FIGURA DEL ARTISTA Y EL "ARTE PROLETARIO" -- CMO ALCANZAR LA UTOPA REVOLUCIONARIA? …”
    Libro electrónico
  11. 16691
    por Mojica, Jose
    Publicado 2002
    Tabla de Contenidos: “…Contents; C# & VB.NET Conversion Pocket Reference; Introduction; Conventions Used in This Book; Syntax Differences; Case Sensitivity; Line Termination; Comments; Namespace Declaration and Usage; Variable Declaration; Variable Initialization; Declaring Function Parameters; Passing Function Parameters; Optional Parameters; Parameter Lists; Method Declaration; Returning Output Parameters; Program Startup; Exiting Programs/Methods/Loops; Member Scope; Static and Shared Methods; Classes Versus Modules; If Statements; Short-Circuiting; Conditional Statement; Properties and Indexers; Arrays…”
    Libro electrónico
  12. 16692
    por Welling, Luke, 1972-
    Publicado 2009
    Tabla de Contenidos: “…PHP crash course ; Storing and retrieving data ; Using arrays ; String manipulation and regular expressions ; Reusing code and writing functions ; Object-oriented PHP ; Error and exception handling -- Using MySQL. …”
    Libro electrónico
  13. 16693
    por Horton, Ivor
    Publicado 2008
    Tabla de Contenidos: “…Ivor Horton's Beginning Visual C++ 2008; About the Author; Acknowledgments; Credits; Contents; Introduction; Chapter 1: Programming with Visual C++ 2008; Chapter 2: Data, Variables, and Calculations; Chapter 3: Decisions and Loops; Chapter 4: Arrays, Strings, and Pointers; Chapter 5: Introducing Structure into Your Programs; Chapter 6: More about Program Structure; Chapter 7: Defining Your Own Data Types; Chapter 8: More on Classes; Chapter 9: Class Inheritance and Virtual Functions; Chapter 10: The Standard Template Library; Chapter 11: Debugging Techniques…”
    Libro electrónico
  14. 16694
    Publicado 2006
    Tabla de Contenidos: “…Introduction to computers, the Internet and the Web -- Introduction to Java applications -- Introduction to classes and objects -- Control statements: part 1 -- Control statements: part 2 -- Methods: a deeper look -- Arrays -- Classes and objects: a deeper look -- Object-oriented programming: inheritance -- Object-oriented programming: polymorphism -- GUI components: part 1 -- Graphics and Java 2D -- Exception handling -- Files and streams -- Recursion -- Searching and sorting -- Data structures -- Generics -- Collections -- Introduction to Java applets -- Multimedia: applets and applications -- GUI components: part 2 -- Multithreading -- Networking -- Accessing databases with JDBC -- Web applications: part 1 -- Web applications: part 2 -- JAX-WS Web services -- Formatted output -- Strings, characters and regular expressions -- A. …”
    Libro electrónico
  15. 16695
    por White, Alexei
    Publicado 2009
    Tabla de Contenidos: “…JavaScript Programmer's Reference; About the Author; Acknowledgments; Contents; Introduction; Chapter 1: Introduction to JavaScript; Chapter 2: JavaScript in the Browser; Chapter 3: JavaScript Basics; Chapter 4: Expressions, Operators, and Statements; Chapter 5: Functions; Chapter 6: The Global and Object Objects; Chapter 7: The String and RegExp Objects; Chapter 8: The Boolean, Number, and Math Objects; Chapter 9: The Array and Date Objects; Chapter 10: Object Oriented Development; Chapter 11: Windows and Frames; Chapter 12: Events; Chapter 13: The Document Object Model; Chapter 14: Forms…”
    Libro electrónico
  16. 16696
    por Lischner, Ray, 1961-
    Publicado 2004
    Tabla de Contenidos: “…ptr_fun function templateBinders; Arithmetic and Logical Functors; Comparison Functors; Miscellaneous; Allocators; Bitset; Pairs; Smart Pointer; Boost; Arrays; Dynamic Bitsets; Binders; Composition; Adapters; Functional Header Replacement; Lambda Functions; Smart Pointers; Index…”
    Libro electrónico
  17. 16697
    por Chaudhary, Amit
    Publicado 2024
    Tabla de Contenidos: “…Cover -- Title page -- Copyright and credits -- Dedication -- Contributors -- Table of contents -- Preface -- Architecting Salesforce Success -- Understanding the role of a Salesforce Architect -- Decoding the role and responsibilities of a Salesforce Architect -- Skills required to become a Salesforce Architect -- Navigating the path from Developer to Architect -- Cultivating an architectural mindset -- Thinking beyond development - Architectural thought process -- Incorporating multi-cloud best practices and general architecture strategies -- Avoiding common pitfalls -- Common mistakes Architects make -- Proactively steering clear of common Salesforce mistakes -- Elevating code review standards -- Amplifying productivity and efficiency -- Essential hacks and strategies for Salesforce Architects -- Harnessing tools, extensions, and plugins for maximum efficiency -- Streamlining development workflow with Salesforce-centric approaches -- Crafting your path to architectural excellence -- Mastery of crucial domains - System integration, data architecture, and solution design -- Navigating the array of Salesforce Architect certifications -- Nurturing soft skills and facilitating growth -- Essential soft skills for a Salesforce Architect -- Gleaning wisdom from complex architectural challenges -- Active engagement within the Salesforce Architect community -- Persistent learning and professional advancement -- Staying synced with Salesforce's progressive updates and innovations -- Adhering to best practices followed by accomplished Salesforce Enterprise Architects -- Leveraging Salesforce's official decision guides for informed choices -- Summary -- Index -- Other Books You May Enjoy…”
    Libro electrónico
  18. 16698
    Publicado 2002
    Tabla de Contenidos: “…Errar lo menos : notas para una interpretación de El alcalde de Zalamea / Historia, fantasía, catequesis : los recursos del auto sacramental calderoniano La devoción de la misa / F.M. …”
    Libro
  19. 16699
    por Kamthane, Ashok N.
    Publicado 2011
    Tabla de Contenidos: “…13.7 Multidimensional Arrays…”
    Libro electrónico
  20. 16700
    Publicado 2019
    Tabla de Contenidos: “…Jan Vardaman -- 3 Embedded Wafer-Level Ball Grid Array (eWLB) Packaging Technology Platform 55 /Thorsten Meyer and Steffen Krohnert -- 4 Ultrathin 3D FO-WLP eWLB-PoP (Embedded Wafer-Level Ball Grid Array-Package-on-Package) Technology 77 /S.W. …”
    Libro electrónico