Filter by
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsis…
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17912-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Genetics, Evolution and Radiation
This book is dedicated to the great scientist and outstanding individual Nikolay Wladimirovich Timofeeff-Ressovsky. The book brings together a number of brief stories/essays about Timofeeff-Ressovsky including “Stories told by himself”, and scientific chapters addressing his major research areas: genetics, radiobiology, radiation ecology and epidemiology, and evolution. Timofeeff-Ressovsky …
- Edition
- -
- ISBN/ISSN
- 978-3-319-48837-0
- Collation
- XX, 558
- Series Title
- -
- Call Number
- 363.92 GEN
Genetics of the Mouse
This book, written by experienced geneticists, covers topics ranging from the natural history of the mouse species, its handling and reproduction in the laboratory, and its classical genetics and cytogenetics, to modern issues including the analysis of the transcriptome, the parental imprinting and X-chromosome inactivation. The strategies for creating all sorts of mutations, either by genetic …
- Edition
- -
- ISBN/ISSN
- 978-3-662-44286-9
- Collation
- XVII, 408
- Series Title
- -
- Call Number
- 363.92 GUE g
Introduction of Biotechnology in India’s Agriculture: Impact, Performance a…
Biotechnology can bring major breakthroughs in agriculture. The book examines the experience of introduction of biotechnology in Indian agriculture, specifically, examining the performance of Bt cotton versus non-Bt cotton across India’s major cotton states, namely Andhra Pradesh, Gujarat, Maharashtra and Tamil Nadu, which together account for nearly 70 percent of the country’s cotton produ…
- Edition
- -
- ISBN/ISSN
- 978-981-10-1091-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Introduction au traitement mathématique des images - méthodes déterministes
Ce cours est une introduction au traitement d'image mathématique déterministe. Les principales problématiques en traitement et analyse d’image y sont présentées: débruitage/filtrage/restauration, segmentation, rehaussement/défloutage, ainsi qu’un aperçu de quelques techniques d’acquisition. Les méthodes mathématiques utilisées ont essentiellement déterministes : transformation…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46539-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Studies of Historical Earthquakes in Southern Poland
This book examines old and new data on some of the 18th and 19th century earthquakes that either occurred or were clearly felt in southern regions of Poland. Particular emphasis is put on a detailed study and reinterpretation of the unusually severe Outer Western Carpathians earthquake on December 3, 1786 (7 I0, 5.3 Mw, 35 km depth), which was the last in a series of seismic events in the years…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15446-6
- Collation
- XIII, 179
- Series Title
- GeoPlanet: Earth and Planetary Sciences
- Call Number
- -
Introducing SQLite for Mobile Developers
This brief book is an introduction to SQLite for both iOS and Android developers. The book includes an optional introduction to SQL, a discussion of when to use SQLite, and chapters devoted to using SQLite with the most likely programming languages and then goes through adding a simple database to an Android or iOS app and finally a chapter on managing the app’s life cycle. What You Will L…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1766-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Introducing SQL Server
Introducing SQL Server is a fast and easy introduction to SQL Server and the world of relational databases. You’ll learn how databases work and how to use the T-SQL language by practicing on one of the most widely-used and powerful database engines in the corporate world: Microsoft SQL Server. Do you quake at the sight of a SELECT statement? Start to shiver when people start talking about …
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1419-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Introducing Meteor
Meteor is a full stack application platform that makes it easy to build powerful, real time Web apps quickly. Introducing Meteor guides you through building top-quality Web apps in a fraction of the time using an application platform built for the modern web. This book takes you from installing the development environment all the way through deploying a live app, and everything in between. Intr…
- Edition
- -
- ISBN/ISSN
- 978-1-4302-6835-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Introducing Gradle
This concise book is a quick start-up primer on the Gradle build and release tool. You'll learn about Gradle and how to set it up to use. You'll learn about the Gradle life cycle and how to effectively leverage and use it. Also, you'll learn the basics of using site plugins and generating Javadocs, test coverage/FindBugs reports, version/release notes and more. Furthermore, you'll take advantag…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1031-4
- 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