Search Results - Galliyan~
Suggested Topics within your search.
Suggested Topics within your search.
- Archaeology 12
- Ancient history: to c 500 CE 7
- Classical history / classical civilisation 4
- Humanities 4
- Medieval history 4
- Politics & government 4
- Education, Higher 3
- Human geography 3
- Religion & beliefs 3
- Biography & True Stories 2
- Christian leaders & leadership 2
- Church history 2
- Education 2
- English essays 2
- English poetry -- 19th century 2
- European history 2
- Fiction 2
- Film production: technical & background skills 2
- Instructional Psychology 2
- Judaism 2
- Learning, Psychology of 2
- Literary studies: classical, early & medieval 2
- Medicine 2
- Neurosciences 2
- Poetry 2
- Public administration 2
- Science 2
- Social interaction 2
- Social sciences 2
- Social theory 2
-
421
Astronomy 2e
Published 2022Table 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 -
422
-
423
La hora del cuento en español
Published 2023Table 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 -
424
The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /
Published 2021Table 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 -
425
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table 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 -
426
Applied Pedagogies for Higher Education Real World Learning and Innovation across the Curriculum /
Published 2021Table 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 -
427
Information Literacy Research and Collaboration across Disciplines
Published 2016Table 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 -
428
Working With Academic Literacies Case Studies Towards Transformative Practice
Published 2015Table 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 -
429
-
430
-
431
-
432
-
433
-
434
-
435
-
436
-
437
-
438
-
439
-
440