A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
اقرأ المزيد
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
اقرأ المزيد
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
اقرأ المزيد
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
اقرأ المزيدA Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
اقرأ المزيد
A New Foundation of Physical Theories
Written in the tradition of G. Ludwig’s groundbreaking works, this book aims to clarify and formulate more precisely the ...
اقرأ المزيد
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
اقرأ المزيد
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
اقرأ المزيدA Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
اقرأ المزيد
A Primer on Environmental Decision-Making
This book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
اقرأ المزيد
A Problem-based Approach for Management Education
This book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...
اقرأ المزيد
A Programmers Introduction to C#
A Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
اقرأ المزيد
A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus
Based on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human ...
اقرأ المزيد
A Risk-Benefit Perspective on Early Customer Integration
Customer integration in the early innovation phase has been considered the method of choice in theory and practice. Growing ...
اقرأ المزيد
A Rose Armed with Thorns: Spinoza’s Philosophy Under a Novel Lens
presents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts ...
اقرأ المزيد
A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources
A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...
اقرأ المزيد
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
اقرأ المزيد
A Short Media History of English Literature / Ingo Berensmeyer
This book explores the history of literature as a history of changing media and modes of communication, from manuscript to ...
اقرأ المزيد
