Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Historia 2,228
- Història 1,562
- Universidad Pontificia de Salamanca (España) 1,505
- Documentales 1,157
- Engineering & Applied Sciences 827
- History 658
- Development 588
- Computer Science 583
- Església Catòlica 570
- Mapes 494
- Fonts 482
- Application software 475
- Documents pontificis 414
- Management 404
- Computer programs 359
- HTML (Document markup language) 354
- Design 352
- Web sites 336
- Web site development 318
- Iglesia Católica 299
- Data processing 295
- Fonts històriques 283
- Color 277
- Crítica e interpretación 277
- Documentos 269
- Universidad Pontificia de Salamanca, Facultad de Educación 241
- Política y gobierno 227
- Business & Economics 226
- Computer networks 226
- Operating systems (Computers) 220
-
28421por AISC 2010Tabla de Contenidos: “…-- How to Correctly Prune Tropical Trees -- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals -- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar -- Contributions to Calculemus 2010 -- Some Considerations on the Usability of Interactive Provers -- Mechanized Mathematics -- Formal Proof of SCHUR Conjugate Function -- Symbolic Domain Decomposition -- A Formal Quantifier Elimination for Algebraically Closed Fields -- Computing in Coq with Infinite Algebraic Data Structures -- Formally Verified Conditions for Regularity of Interval Matrices -- Reducing Expression Size Using Rule-Based Integration -- A Unified Formal Description of Arithmetic and Set Theoretical Data Types -- Contributions to MKM 2010 -- Against Rigor -- Smart Matching -- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System -- An OpenMath Content Dictionary for Tensor Concepts -- On Duplication in Mathematical Repositories -- Adapting Mathematical Domain Reasoners -- Integrating Multiple Sources to Answer Questions in Algebraic Topology -- An Integrated Development Environment for Collections -- Proofs, Proofs, Proofs, and Proofs -- Dimensions of Formality: A Case Study for MKM in Software Engineering -- Towards MKM in the Large: Modular Representation and Scalable Software Architecture -- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents -- Notations Around the World: Census and Exploitation -- Evidence Algorithm and System for Automated Deduction: A Retrospective View -- On Building a Knowledge Base for Stability Theory -- Proviola: A Tool for Proof Re-animation -- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype…”
Publicado 2010
Libro electrónico -
28422por Institute of Medicine (U.S.).Tabla de Contenidos: “…""Projected Health Outcomes""""Projected Costs""; ""Relationship Between the Evidence and the Guidelines""; ""Preference for Empirical Evidence Over Expert Judgement""; ""Thorough Literature Review""; ""Methods Used to Evaluate the Scientific Literature""; ""Strength of Evidence""; ""Use of Expert Judgment""; ""Strength of Expert Consensus""; ""Independent Review""; ""Pretesting""; ""RELIABILITY/REPRODUCIBILITY""; ""CLINICAL APPLICABILITY""; ""CLINICAL FLEXIBILITY""; ""CLARITY""; ""MULTIDISCIPLINARY PROCESS""; ""SCHEDULED REVIEW""; ""DOCUMENTATION""; ""CONCLUSION""; ""REFERENCES""…”
Publicado 1990
Libro electrónico -
28423Publicado 1998Tabla de Contenidos: “…Religious Liberty / Mohamed Talbi. 19. The Medina Document / Ali Bulac. 20. The Downhill Path and Defense, Not Surrender / Rusmir Mahmutcehajic -- Pt. …”
Libro -
28424Publicado 2015Tabla de Contenidos: “…THE VALUE OF INSCRIPTIONS FOR RECONSTRUCTING THE ROMAN WORLD -- INSCRIPTIONS AND ROMAN PUBLIC LIFE -- The Roman Republic / Olli Salomies -- The Roman emperor and the imperial family / Frédéric Hurlet -- Senators and equites : prosopography / Christer Bruun -- Local elites in Italy and the western provinces / Henrik Mouritsen -- Local elites in the Greek east / Christof Schuler -- Government and administration / Christer Bruun -- Laws, lawmaking, and legal documents / Greg Rowe -- The Roman army / Michael A. …”
Libro -
28425Publicado 2023Tabla de Contenidos: “…Tischler -- Between local tradition and external influences: the canons of the Diocese of Vic up to the Episcopate of Berengar Seniofred de Lluçà / Ursula Vones-Liebenstein -- Cultura documental a Catalunya i a Anglaterra, ca. 975-1050 / Adam J. …”
Biblioteca Pública Episcopal del Seminario de Barcelona (Otras Fuentes: Biblioteca del Instituto Superior de Teología de las Islas Canarias, Biblioteca Universitat Ramon Llull, Biblioteca de la Universidad de Navarra, Universidad Loyola - Universidad Loyola Granada, Biblioteca Provicincial Misioneros Claretianos - Provincia de Santiago, Biblioteca Universidad de Deusto, Biblioteca del Instituto Diocesano de Teología y Pastoral de Bilbao)Libro -
28426por Schwenzer, IngeborgTabla de Contenidos: “…General Remarks on the Obligations of the Seller; 29. Delivery; 30. Documents and Costs; 31. Conformity of the Goods; 32. …”
Publicado 2012
Libro -
28427Publicado 2007Tabla de Contenidos: “…Telling a story (p. 104) ; Concept development (p. 108) ; Design development (p. 112) ; Materials (p. 116) ; Media and technology (p. 118) ; Lighting and acoustic design (p. 120) ; Exhibition design and the environment (p. 124) ; Storytelling and documentation (p. 128) ; Choosing a fabricator (p. 134) ; Evaluation (p. 136) -- Portfolios. …”
Libro -
28428
-
28429
-
28430
-
28431
-
28432
-
28433
-
28434
-
28435
-
28436
-
28437
-
28438
-
28439
-
28440
