Filter by
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…
- Edition
- -
- ISBN/ISSN
- 9783854480464
- Collation
- -
- Series Title
- -
- Call Number
- -
Theatrical Worlds : Beta Version
From the University of Florida College of Fine Arts, Charlie Mitchell and distinguished colleagues form across America present an introductory text for theatre and theoretical production. This book seeks to give insight into the people and processes that create theater. It does not strip away the feeling of magic but to add wonder for the artistry that make a production work well.
- Edition
- -
- ISBN/ISSN
- 9781616101664
- Collation
- -
- Series Title
- -
- Call Number
- 700 MIT t
Teaching Creatively in Higher Education : Bridging Theory and Practice
The topic of this booklet is a synthesis of relevant research in the field of creativity in higher education, with focus on creative teaching methods. By means of literature review and research findings this booklet describes a wide range of contexts and effects on student learning and development, together with teacher motivation and overall satisfaction. This booklet meets the need for renewa…
- Edition
- -
- ISBN/ISSN
- 9788771125924
- Collation
- -
- Series Title
- Higher Education Practices Series, No. 1
- Call Number
- 370 CHE t
Proceedings of Seventh International Symposium on Project Approaches in Engin…
International Joint Conference on the Learner in Engineering Education (1JCLEE'2015) was organized by Mondragon University, in collaboration with Active Learning in Engineering Education Workshop (ALE), International Symposium on Project Approaches in Engineering Education (PAEE) and International Research Symposium on Problem Based Learning (IRSPBL).
- Edition
- -
- ISBN/ISSN
- 9788771123050
- Collation
- 553 halaman
- Series Title
- -
- Call Number
- 620 PRO
Critical Perspectives on the Scholarship of Assessment and Learning in Law Vo…
The Assessment in Legal Education book series offers perspectives on assessment in legal education across a range of Common Law jurisdictions. Each volume in the series provides: Information on assessment practices and cultures within a jurisdiction. A sample of innovative assessment practices and designs in a jurisdiction. Insights into how assessment can be used effectively across different a…
- Edition
- -
- ISBN/ISSN
- 9781760463007
- Collation
- -
- Series Title
- -
- Call Number
- 340 BON c
A Handbook of Fourier Theorems
This book is concerned with the well-established mathematical technique known as Fourier analysis (or alternatively as harmonic or spectral analysis). It is a handbook comprising a collection of the most important theorems in Fourier analysis, presented without proof in a form that is accurate but also accessible to a reader who is not a specialist mathematician. The technique of Fourier analys…
- Edition
- -
- ISBN/ISSN
- 9781139171823
- Collation
- -
- Series Title
- -
- Call Number
- -
Group-Sequential Clinical Trials with Multiple Co-Objectives
This book focuses on group sequential methods for clinical trials with co-primary endpoints based on the decision-making frameworks for: (1) rejecting the null hypothesis (stopping for efficacy), (2) rejecting the alternative hypothesis (stopping for futility), and (3) rejecting the null or alternative hypothesis (stopping for either futility or efficacy), where the trial is designed to evaluat…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55898-9
- Collation
- IX, 113
- Series Title
- -
- Call Number
- 530 HAM g
A Guide to Monte Carlo Simulations in Statistical Physics
Dealing with all aspects of Monte Carlo simulation of complex physical systems encountered in condensed matter physics and statistical mechanics, this book provides an introduction to computer simulations in physics. The 5th edition contains extensive new material describing numerous powerful algorithms and methods that represent recent developments in the field. New topics such as active matte…
- Edition
- -
- ISBN/ISSN
- 9781108780346
- Collation
- -
- Series Title
- -
- Call Number
- -
Manifesto for the Humanities : Transforming Doctoral Education in Good Enough…
After a remarkable career in higher education, Sidonie Smith offers Manifesto for the Humanities as a reflective contribution to the current academic conversation over the place of the Humanities in the 21st century. Her focus is on doctoral education and opportunities she sees for its reform. Grounding this manifesto in background factors contributing to current “crises” in the humanities,…
- Edition
- -
- ISBN/ISSN
- 9780472900060
- Collation
- 272 halaman
- Series Title
- -
- Call Number
- 370 SMI m
Creating Models in Psychological Research
This concise reference serves as a companion to traditional research texts by focusing on such essentials as model construction, robust methodologies and defending a compelling hypothesis. Designed to wean Master's and doctorate-level students as well as new researchers from their comfort zones, the book challenges readers to engage in multi-method approaches to answering multidisciplinary ques…
- Edition
- 1
- ISBN/ISSN
- 9783319157535
- Collation
- XXI, 126
- Series Title
- SpringerBriefs in Psychology
- Call Number
- 150
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography