Filter by
Logic-Based Program Synthesis and Transformation: 24th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and prom…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17822-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Federal Rules of Bankruptcy Procedure : As amended to January 2, 2014
The Bankruptcy Rules and Forms govern procedure in cases under title 11 of the United States Code. The rules shall be cited as the Federal Rules of Bankruptcy Procedure and the forms as the Official Bankruptcy Forms. These rules shall be construed to secure the just, speedy, and inexpensive determination of every case and proceeding. (As amended Mar. 30, 1987, eff. Aug. 1, 1987; Apr. 30, 1991, …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 348 FED
Logic-Based Program Synthesis and Transformation: 25th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote …
- Edition
- -
- ISBN/ISSN
- 978-3-319-27436-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the u…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40220-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Logistics Management: Products, Actors, Technology - Proceedings of the Germ…
This book gathers papers presented at the Logistik-Management-Konferenz 2013, which was organized by the VHB Wissenschaftliche Kommission Logistik and held in Bremen, Germany. The papers reflect the current state-of-the-art in logistics and supply chain management, focusing on environmental sustainability in logistics and supply chain network dynamics and control. The target audience primarily …
- Edition
- -
- ISBN/ISSN
- 978-3-319-13177-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Local Government Budget Stabilization: Explorations and Evidence
This book is the first comprehensive, full-scale treatment of the politics, law, and economics with regard to the policies and policy instruments for budget stabilization at the local level. It examines budget stabilization in the United States from the 1910s to 2010 (from adoption of public budgeting in this country through the Great Recession). In addition, it provides details on the methods …
- Edition
- -
- ISBN/ISSN
- 78-3-319-15186-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Stand up, Speak out : The Practice and Ethics of Public Speaking
Stand up, Speak out: The Practice and Ethics of Public Speaking features two key themes. First it focuses on helping students become more seasoned and polished public speakers, and second is its emphasis on ethics in communication. It is this practical approach and integrated ethical coverage that sets Stand up, Speak out: The Practice and Ethics of Public Speaking apart from the other texts in…
- Edition
- -
- ISBN/ISSN
- 9781946135254
- Collation
- -
- Series Title
- -
- Call Number
- 808.51 STA
Local Flaps in Facial Reconstruction: A Defect Based Approach
Written by three experienced consultants with a large skin cancer practice and international reputations for excellence, this book provides comprehensive practical solutions to defects in the head and neck region that are confronted by the clinician in day-to-day practice. Essential information is first provided on anesthesia, defect assessment and individual flaps, while the core chapters focu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08479-4
- Collation
- -
- Series Title
- -
- Call Number
- -
The Being of Analogy
Similarity has long been excluded from reality in both the analytical and continental traditions. Because it exists in the aesthetic realm, and because aesthetics is thought to be divorced from objective reality, similarity has been confined to the prison of the subject. In The Being of Analogy, Noah Roderick unleashes similarity onto the world of objects. Inspired by object-oriented theories o…
- Edition
- -
- ISBN/ISSN
- 9781785420221
- Collation
- -
- Series Title
- -
- Call Number
- 100 ROD b
University Success
University Success has a student-friendly format arranged to help you develop the essential skills and provide the information you need to succeed in university. This is not a textbook full of theory and extensive detail that merely discusses student success; rather, this is a how-to manual for your first year of study. The book provides realistic, practical guidance ranging from study skills t…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 378 MAH u
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography