Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Història 167
- Raspberry Pi (Computer) 123
- Python (Computer program language) 79
- Historia 78
- Programming 67
- Biografia 58
- Computer input-output equipment 49
- Hardware and Maker 45
- Política 40
- Nacionalisme 37
- Política i govern 37
- Pi i Margall, Francesc 35
- Pi i Sunyer, Carles 35
- Linux 32
- Biblia 29
- Computer programming 28
- Microcomputers 27
- Federalisme 26
- Internet of things 25
- Punts de vista polítics i socials 24
- Bíblia 22
- Application software 21
- Development 21
- Guerra Civil Espanyola, 1936-1939 21
- Descripcions i viatges 20
- Església de Santa Maria del Pi (Barcelona, Catalunya) 20
- Operating systems (Computers) 20
- Polítics 20
- Govern 19
- Arduino (Programmable controller) 17
-
2821
-
2822Libro
-
2823
-
2824
-
2825
-
2826por Husserl, Edmund, 1859-1938
Publicado 1982Biblioteca Universidad Eclesiástica San Dámaso (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca, Biblioteca Universidad de Deusto, Biblioteca del Instituto Superior de Teología de las Islas Canarias, Biblioteca de la Universidad de Navarra)Libro -
2827Libro
-
2828por Jiménez Arias, Diego, O.P., 1490-1578
Publicado 1728Biblioteca Universitat Ramon Llull (Otras Fuentes: Institución Colombina)Libro -
2829Publicado 2005Tabla 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 -
2830Publicado 1933Tabla 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 -
2831Publicado 1950Tabla 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 -
2832Publicado 2015Tabla 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 -
2833Publicado 2021Tabla 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 -
2834por Yoshida, NobukoTabla 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. …”
Publicado 2021
Libro electrónico -
2835Publicado 2001Tabla 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 -
2836
-
2837
-
2838
-
2839Publicado 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 -
2840Publicado 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