Mostrando 2,821 - 2,840 Resultados de 3,354 Para Buscar '"PiS"', tiempo de consulta: 0.08s Limitar resultados
  1. 2821
  2. 2822
  3. 2823
  4. 2824
  5. 2825
  6. 2826
  7. 2827
  8. 2828
  9. 2829
    Publicado 2005
    Tabla de Contenidos: “…APPC exploiter sample source code -- CICS Programs -- CICS Inbound program - CICSPG1 -- CICS Outbound program - GTCICS02 -- IMS programs -- IMS Inbound program - CPISLAVE -- IMS Outbound program - IMS1PS3 -- IMS Outbound program - IMS1PI3 -- IMS Outbound Implicit program - IMS1PI1 -- IMS Outbound Implicit program - IMS1PS1 -- IMS Inbound Implicit program - IMS2IMI -- IMS Outbound Implicit program - IMS1PI2 -- IMS Outbound Explicit program - IMS1PS2 -- IMS Inbound Explicit program - IMS2EXP -- IMS DB2 program - IMS1DB2 -- IMS DB2 program - IMS2DB2 -- Appendix C. …”
    Libro electrónico
  10. 2830
    Publicado 1933
    Tabla de Contenidos: “…Tribunal de Garanties / Josep Roig i Bergadà -- Perspectives de les finances de Catalunya segons l'Estatut / Cristòfor Massó i Escofet -- El dret civil a Catalunya / Ramon Coll i Rodés -- La matèria hipotecària en la futura legislació civil de Catalunya / Ramon M.a Roca i Sastre -- El problema de les finances compostes / Miquel Vidal i Guardiola -- El notariat i l'autonomia de Catalunya / Antoni Par i Tusquets -- L'Estatut i les obres públiques / Rafael Gay de Montellà -- Règim local a Catalunya / Josep M.a Pi i Sunyer -- L'ordre públic en l'Estatut / Santiago Gubern i Fàbregas -- Les qüestions d'extraterritorietat en l'Estatut de Catalunya / Josep M.a Tries de Bes -- Intervenció de l'Estat en el nostre règim autonòmic / Amadeu Hurtado i Miró -- El règim de la propietat a Catalunya després de l'Estatut / Ramon d'Abadal i Calderó -- La justícia en l'Estatut / Josep Oriol Anguera de Sojo -- El procés del nostre Dret / Joan Maluquer i Viladot…”
    Libro
  11. 2831
    Publicado 1950
    Tabla de Contenidos: “…. -- Sección IV, Tomo VII: H-Pi. (700 pàgines) -- Sección IV, Tomo VIII: Pl-Z. (709 pàgines) -- Sección V, Tomo IX: Combustibles, alumbrado, industre, índice alfabético general (866 pàgines) -- Sección VI, Tomo X: Productos agrícolas, alimenticios y medicinales, A-D (686 pàgines) -- Sección VI, Tomo XI: E-Z.(748 pàgines) -- Sección VII, Tomo XII: Tintorería, curtidos, arte textil, artes gráficas, A-E. (828 pàgines) -- Sección VII, Tomo XIII: F-Z. (718 pàgines) -- Tomo XIV: Apéndice, índice alfabético general (926 pàgines)…”
    Libro
  12. 2832
    Publicado 2015
    Tabla de Contenidos: “…Deriving a conceptual model from the case study of Yalumba / Huanmei Li, Allan O'Connor -- Operationalising innovation: Hotwiring the creative organisation / Fiona Kerr -- Business model innovation in nonprofit social enterprises / Eva Balan-Vnuk, Peter Balan -- Complex systems adjusting stability levels and providing entrepreneurial opportunities / Vernon Ireland -- Intellectual capital system perspective: A case study of government intervention in digital media industries / Graciela Corral de Zubielqui, Allan O'Connor, Pi-Shen Seet -- A diagnostic tool for assessing innovation readiness / Paul Shum -- Developing a framework for the management of Critical Success Factors in organisational innovation projects: A case of Enterprise Resource Planning systems / Jiwat Ram, David Corkindale -- Innovation and entrepreneurship: Building the systems and strategies for South Australia / Allan O'Connor, Goran Roos…”
    Libro electrónico
  13. 2833
    Publicado 2021
    Tabla de Contenidos: “…Freeze, el señordel hielo -- El CaMiNo de piEFcitos: unidos por una Educación Física saludable y sostenible -- El Enigma de Seneb -- La ruleta de la salud. …”
    Libro electrónico
  14. 2834
    por Yoshida, Nobuko
    Publicado 2021
    Tabla de Contenidos: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More – Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. …”
    Libro electrónico
  15. 2835
    Publicado 2001
    Tabla de Contenidos: “…Perception of pathogen signals to initiate active defense;-- Delivery of pathogen signals: historical approach;-- Adhesion of fungal spores and effects on plant cells;-- Bacterial Avr proteins: secreted agents of parasitism and elicitors of plant defense;-- Rice receptors for chitin and glucan elicitors;-- Understanding pectate lyase C at the atomic level;-- A new type of host-selective toxin, a protein from Alternaria brassiciola;-- Chlorosis-inducing phytotoxins;-- Molecular genetics of host-specific toxin biosynthesis in Alternaria alternata;-- Victorin, apoptosis and the mitochondrion;-- Suppressors of defense;-- Signaling pathways for TMV;-- Genetic relationships specifying bacterial disease resistance in Xanthomonas;-- Signaling in rice disease resistance;-- Mi-1, a dual function disease resistance gene in tomato;-- Pathogen recognition and signal transduction mediated by the product of the Pto disease resistance gene;-- Regulation of nuclear gene expression in relations to signal molecules;-- Molecular interactions between the rice blast resistance gene Pi-ta and its corresponding avirulence gene;-- The oxidative burst in plants;-- Perception of the syringolide elicitors by soybean cells;-- Citrus responses to a pathogenicity factor;-- Effectors of bacterial virulence and mediators of disease resistance responses;-- Apoptotic response in defense of oats to infections and elicitors;-- Trafficking of…”
    Libro
  16. 2836
  17. 2837
  18. 2838
    Publicado 1768
    Accés lliure via BiPaDi
    Libro
  19. 2839
    Publicado 2016
    “…Embedded software developers who work on devices for Internet of Things find C/C++ indispensable, but so do people who tackle custom hardware projects with Arduino or Raspberry Pi. Pick up a copy of this report and learn how C/C++ enables programmers to extract maximum performance from the underlying hardware resources—especially in situations where you need real-time performance…”
    Libro electrónico
  20. 2840
    Publicado 2019
    “…In addition to this, with Internet of Things (IoT) trending and Arduino, Raspberry Pi, and other devices flooding the market, you can now create cheap devices even at home. …”
    Libro electrónico