Filter by
Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are org…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46675-9
- Collation
- XIV, 363
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Functions and Generality of Logic
This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, tak…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17109-8
- Collation
- XXI, 125
- Series Title
- Logic, Epistemology, and the Unity of Science
- Call Number
- -
Functionalized Redox Systems
In this book the authors describe how they reproduced the redox functions of biocatalysts artificially. It includes the introduction and discussion of synthetic reactions via electron transfer, hybrid π-conjugated systems, and biorganometallic conjugates as novel redox systems. The work was conducted in pioneering fields based on redox systems, in synthetic organic chemistry, synthetic materia…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55306-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Functional and Shape Data Analysis
This textbook for courses on function data analysis and shape data analysis describes how to define, compare, and mathematically represent shapes, with a focus on statistical modeling and inference. It is aimed at graduate students in analysis in statistics, engineering, applied mathematics, neuroscience, biology, bioinformatics, and other related areas. The interdisciplinary nature of the broa…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-4020-2
- Collation
- XVIII, 447
- Series Title
- Springer Series in Statistics
- Call Number
- -
Functional and Motility Disorders of the Gastrointestinal Tract
This volume covers the myriad of functional and motility gastrointestinal disorders in a comprehensive manner. The book is divided into seven major sections, with each section beginning with a brief case presentation highlighting the specific disorder to be reviewed. Appropriate criteria is highlighted, followed by a brief review on the epidemiology, etiology, pathophysiology, diagnosis and tre…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1498-2
- Collation
- XIII, 285
- Series Title
- -
- Call Number
- -
Functional and Ecological Xylem Anatomy
The book will describe the xylem structure of different plant groups, and will put the findings in a physiological and ecological context. For instance, when differences in vessel diameter are featured, then there will be an explanation why this matters for water transport efficiency and safety from cavitation. The focus is on the hydraulic function of xylem, although mechanical support and sto…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15783-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Functional Verification of Dynamically Reconfigurable FPGA-based Systems
This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. The authors describe the use of a simulation-only layer to emulate the behavior of target FPGAs and accurately model the characteristic features of reconfiguration. Readers are enabled with this simulation-only layer to maintain…
- Edition
- -
- ISBN/ISSN
- 978-3-319-06838-1
- Collation
- -
- Series Title
- -
- Call Number
- -
A Directory for the Navigation of the Pacific Ocean, with Descriptions of its…
The English geographer and hydrographer Alexander George Findlay (1812–75) had observed that navigators of his time had to consult a considerable number of documents to gather the information they needed to sail the Pacific Ocean safely. Not only was this highly impractical, it also exposed seafarers to conflicting information that could lead to their demise. First published in 1851, this two…
- Edition
- -
- ISBN/ISSN
- 9781139583114
- Collation
- -
- Series Title
- Cambridge Library Collection - Maritime Exploration
- Call Number
- -
A Diplomat in Japan The Inner History of the Critical Years in the Evolution…
A brilliant linguist, Sir Ernest Satow (1843–1929) was recruited into the British consular service as a student interpreter in 1861. The following year he arrived in Japan, where he witnessed the overthrow of the Tokugawa Shogunate and the Meiji restoration of imperial rule. Drafted in the 1880s while he was consul-general in Bangkok, this 1921 account is based on the voluminous diaries Satow…
- Edition
- -
- ISBN/ISSN
- 9781316144671
- Collation
- -
- Series Title
- Cambridge Library Collection - East and South-East Asian History
- Call Number
- -
Allegories of the Anthropocene
In Allegories of the Anthropocene Elizabeth M. DeLoughrey traces how indigenous and postcolonial peoples in the Caribbean and Pacific Islands grapple with the enormity of colonialism and anthropogenic climate change through art, poetry, and literature. In these works, authors and artists use allegory as a means to understand the multiscalar complexities of the Anthropocene and to critique the v…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 800 LOU a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography