Search Results - Galliyan~

  1. 421

    Astronomy 2e by Fraknoi, Andrew, Morrison, David, Wolff, Sidney C.

    Published 2022
    Table of Contents: “…Rings, Moons, and Pluto -- 12.1 Ring and Moon Systems Introduced -- 12.2 The Galilean Moons of Jupiter -- 12.3 Titan and Triton -- 12.4 Pluto and Charon -- 12.5 Planetary Rings (and Enceladus) -- Chapter 13. …”
    Access online version
    Electronic eBook
  2. 422
  3. 423

    La hora del cuento en español by Rojas-Primus, Constanza, Rodríguez, Sofía

    Published 2023
    Table of Contents: “…Licensing Info -- Accessibility statement -- Agradecimientos/Acknowledgements -- Reconocimientot de tierras/Land Acknowledgement -- Prefacio/Preface -- Primera parte -- El perrito quiere jugar -- El perrito quiere jugar -- El patito tonto -- La reina de la granja -- El pollo morado -- Vista panorámica -- Un mono en la granja -- El zorro malo en la granja del Señor Jorge -- El cuento del hombre cerdo -- El cuento del hombre cerdo -- El lobo mentiroso -- El granjero enfermo -- El cumpleaños de la gata -- El poder del “NO” -- El perro inteligente -- La gallina pata -- La gran fiesta -- Part One -- The Puppy Wants to Play -- A Day in the Life of Farmer Gustavo -- The Silly Duckling -- The Queen of the Farm -- The Purple Chicken -- Panoramic View -- A Monkey on the Farm -- The Bad Fox on Mr. …”
    Access online version
    Electronic eBook
  4. 424

    The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

    Published 2021
    Table of Contents: “…'Spoken from the impulse of the moment': Epistolarity, Sensibility, and Breath in Frances Burney's Evelina, Gillian Skinner -- 13. 'Eloquence and Oracle': Tobacco in Eighteenth-Century Life and Literature, Andrew Russell -- 14. …”
    Link to Metadata
    Electronic eBook
  5. 425

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
    Link to Metadata
    Electronic eBook
  6. 426

    Applied Pedagogies for Higher Education Real World Learning and Innovation across the Curriculum /

    Published 2021
    Table of Contents: “…The journey of Higher Degree Apprenticeships (HDAs); Claire Hughes and Gillian Saieva -- PART III. The journey of Higher Degree Apprenticeships (HDAs) -- Chapter 12. …”
    Link to Metadata
    Electronic eBook
  7. 427

    Information Literacy Research and Collaboration across Disciplines by Maid, Barry

    Published 2016
    Table of Contents: “…Supporting Academics to Embed Information Literacy to Enhance Students' Research and Writing Process, Angela Feekery, Lisa Emerson, and Gillian Skyrme -- Chapter 18. Building Critical Researchers and Writers Incrementally: Vital Partnerships Between Faculty and Librarians, Alison S. …”
    Access online version
    Electronic eBook
  8. 428

    Working With Academic Literacies Case Studies Towards Transformative Practice by Lillis, Theresa, Harrington, Kathy, Lea, Mary, Mitchell, Sally

    Published 2015
    Table of Contents: “…Transforming Resources, Genres and Semiotic Practices -- Introduction to Section 3 -- Genre as a Pedagogical Resource at University, Fiona English -- How Drawing Is Used to Conceptualize and Communicate Design Ideas in Graphic Design: Exploring Scamping Through a Literacy Practice Lens, Lynn Coleman -- "There is a Cage Inside My Head and I Cannot Let Things Out", Fay Stevens -- Blogging to Create Multimodal Reading and Writing Experiences in Postmodern Human Geographies, Claire Penketh and Tasleem Shakur -- Working with Grammar as a Tool for Making Meaning, Gillian Lazar and Beverley Barnaby -- Digital Posters—Talking Cycles for Academic Literacy, Diane Rushton, Cathy Malone and Andrew Middleton -- Telling Stories: Investigating the Challenges to International Students' Writing Through Personal Narrative, Helen Bowstead -- Digital Writing as Transformative: Instantiating Academic Literacies in Theory and Practice, Colleen McKenna -- Looking at Academic Literacies from a Composition Frame: From Spatial to Spatio-temporal Framing of Difference, Bruce Horner in conversation with Theresa Lillis -- Section 4. …”
    Access online version
    Electronic eBook
  9. 429
  10. 430
  11. 431
  12. 432
  13. 433
  14. 434
  15. 435
  16. 436
  17. 437
  18. 438
  19. 439
  20. 440