Filter by
Theory and Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Practice of Gearing and Transmissions In Honor of Professor Faydo…
This book brings together papers from all spheres of mechanical engineering related to gears and transmissions, from fundamentals to advanced applications, from academic results in numerical and experimental research, to new approaches to gear design and aspects of their optimization synthesis and to the latest developments in manufacturing. Furthermore, this volume honours the work of Faydor L…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19740-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Practice in the Bioarchaeology of Care
This book provides the first comprehensive introduction to, and explanation of, the theory and practice of the ‘bioarchaeology of care’, an original, fully theorised and contextualised case study-based approach designed to identify and interpret cases of care provision in prehistory. The applied methodology comprises four stages of analysis, each building on the content of the preceding on…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18860-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Engineering of Complex Systems and Dependability Proceedings of t…
Building upon a long tradition of scientifi c conferences dealing with problems of reliability in technical systems, in 2006 Department of Computer Engineering at Wrocław University of Technology established DepCoS-RELCOMEX series of events in order to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. Contemporary…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19216-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Smart Cameras
This book presents an overview of smart camera systems, considering practical applications but also reviewing fundamental aspects of the underlying technology. It introduces in a tutorial style the principles of sensing and signal processing, and also describes topics such as wireless connection to the Internet of Things (IoT) which is expected to be the biggest market for smart cameras. It…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9987-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation Third International Workshop…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Applied Electromagnetics APPEIC 2015
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2015, the 2nd Applied Electromagnetic International Conference, held in K…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30117-4
- Collation
- -
- Series Title
- -
- Call Number
- -
'Charms', Liturgies, and Secret Rites in Early Medieval England
Since its inception in the nineteenth century, the genre of Anglo-Saxon charms has drawn the attention of many scholars and appealed to enthusiasts of magic, paganism, and popular religion. Their Christian nature has been widely acknowledged in recent years, but their position within mainstream liturgical traditions has not yet been fully recognised. In this book, Ciaran Arthur undertakes a wid…
- Edition
- -
- ISBN/ISSN
- 9781787442887
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography