Materias: “…Microsoft Windows (Computer file)…”

Materias: “…Programming languages (Electronic computers)…”

Materias:

Tabla de Contenidos: “…Ch. 1: Becoming a Great iOS Developer -- Ch. 2: Programming Basics -- Ch. 3: It’s All About the Data -- Ch. 4: Making Decisions, Program Flow, and App Design -- Ch. 5: Object-Oriented Programming with Swift -- Ch. 6: Learning Swift and Xcode -- Ch. 7: Swift Classes, Objects, and Methods -- Ch. 8: Programming Basics in Swift -- Ch. 9: Comparing Data -- Ch. 10: Creating User Interfaces -- Ch. 11: Storing Information -- Ch. 12: Protocols and Delegates -- Ch. 13: Introducing the Xcode Debugger -- Ch. 14: A Swift iPhone App -- Ch. 15: Apple Watch and WatchKit…”

Materias:

Tabla de Contenidos: “…Static Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management…”

Materias: “…Planas y Compte, José Manuel…”
Accés lliure via MDC

“…Developing trends of parliamentarism : XIVth International Congress of Comparative Law, Athens, August 1994 : general and national reports…”

“…Monde primitif, analysé et comparé avec le monde moderne ou recherches sur les antiquités du monde…”

“…Publications de l'Institut suisse de droit comparé = Veröffentlichungen des Schweizerischen Instituts für Rechtsvergleichung = Pubblicazioni dell'Istituto svizzero di diritti comparato = Publications of the Swiss Institute of Comparative Law…”

Materias: “…Computer Science|Computer Systems|Computers|Science…”
Acceso restringido, con credenciales UPSA