E- text books

  2. Home
  3. Resources
  4. E-books
  5. E- text books
  6. E books
  7. Springer eBooks
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
0-9
Reset

Logic-Based Program Synthesis and Transformation

Author : Vidal 

Springer

Access online

Learning to be Professionals

Author : Dall’Alba 

Springer

Access online

Linear Differential Equations in the Complex Domain

Author : Haraoka 

Springer

Access online

Logical Foundations of Computer Science

Author : Artemov 

Springer

Access online

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Author : Bakker 

Springer

Access online

Languages and Compilers for Parallel Computing

Author : Li 

Springer

Access online

Liouville-Riemann-Roch Theorems on Abelian Coverings

Author : Kha 

Springer

Access online

Lost Causes in and beyond Physics

Author : Streater 

Springer

Access online

Logic Based Program Synthesis and Transformation

Author : Bruynooghe 

Springer

Access online

Les Courants Résiduels Associés à une Forme Méromorphe

Author : Coleff 

Springer

Access online

Les Modèles Asymptotiques de la Mécanique des Fluides 1

Author : Zeytounian 

Springer

Access online

Logic Program Synthesis and Transformation

Author : Fuchs 

Springer

Access online

Logic Programming

Author : Dahl 

Springer

Access online

LATIN 2000: Theoretical Informatics

Author : Gonnet 

Springer

Access online

La Transformation de Fourier Complexe et L’Equation de Convolution

Author : Chou 

Springer

Access online

Learning Surgery

Author : Lowry 

Springer

Access online

Labour Markets and Demographic Change

Author : Kuhn 

Springer

Access online

Logic, Language, and Computation

Author : Bezhanishvili 

Springer

Access online

Logic-Based Program Synthesis and Transformation

Author : Hanus 

Springer

Access online

Logic-Based Program Synthesis and Transformation

Author : Schreye 

Springer

Access online

Linear Models for Optimal Test Design

Author : Linden 

Springer

Access online

Lebesgue and Sobolev Spaces with Variable Exponents

Author : Diening 

Springer

Access online

Language, Games, and Evolution

Author : Benz 

Springer

Access online

Languages and Compilers for Parallel Computing

Author : Chatterjee 

Springer

Access online

Living in Worlds of Music

Author : Mans 

Springer

Access online

Low Power Design Essentials

Author : Rabaey 

Springer

Access online

Local Lyapunov Exponents

Author : Siegert 

Springer

Access online

Local Minimization, Variational Evolution and Γ-Convergence

Author : Braides 

Springer

Access online

Low-Dimensional Systems

Author : Brandes 

Springer

Access online

Lp-Structure in Real Banach Spaces

Author : Behrends 

Springer

Access online

Large-Scale and Distributed Optimization

Author : Giselsson 

Springer

Access online

Laser Dermatology

Author : Goldberg 

Springer

Access online

Legitimacy Needs as Drivers of Business Exit

Author : Decker 

Springer

Access online

Lymphangiogenesis in Cancer Metastasis

Author : Stacker 

Springer

Access online

Leonardo’s Lost Robots

Author : Rosheim 

Springer

Access online

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Author : Margaria 

Springer

Access online

Logic and Computational Complexity

Author : Leivant 

Springer

Access online

Learning About Particles — 50 Privileged Years

Author : Steinberger 

Springer

Access online

Logic in Reality

Author : Brenner 

Springer

Access online

Logic, Language, Information, and Computation

Author : Moss 

Springer

Access online

Lectures on Choquet’s Theorem

Author : Phelps 

Springer

Access online

Logics in Artificial Intelligence

Author : Ojeda-Aciego 

Springer

Access online

Leading in a VUCA World

Author : Kok 

Springer

Access online

Languages, Methodologies and Development Tools for Multi-Agent Systems

Author : Dastani 

Springer

Access online

Languages, Methodologies, and Development Tools for Multi-Agent Systems

Author : Dastani 

Springer

Access online

Lectures on n-Dimensional Quasiconformal Mappings

Author : Väisälä 

Springer

Access online

Large-Scale Scientific Computing

Author : Margenov 

Springer

Access online

Localization in Group Theory and Homotopy Theory

Author : Hilton 

Springer

Access online

Laser Ablation Mechanisms and Applications

Author : Miller 

Springer

Access online

Latino Farmworkers in the Eastern United States

Author : Quandt 

Springer

Access online

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Author : Margaria 

Springer

Access online

L'Analyse Harmonique dans le Domaine Complexe

Author : Akutowicz 

Springer

Access online

Lie Algebras and Applications

Author : Iachello 

Springer

Access online

Logic and Its Applications

Author : Banerjee 

Springer

Access online

LINQ for Visual C# 2005

Author : Ferracchiati 

Springer

Access online

Life as Its Own Designer

Author : Marko¿ 

Springer

Access online

Lifetime Estimation of Welded Joints

Author : Łagoda 

Springer

Access online

Logic, Language, and Computation

Author : Cate 

Springer

Access online

Learning in Communities

Author : Carroll 

Springer

Access online

Logica Universalis

Author : Beziau 

Springer

Access online

Linear Partial Differential Equations for Scientists and Engineers

Author : Myint-U 

Springer

Access online

Linked Data

Author : Heath 

Springer

Access online

Lipids in Photosynthesis

Author : Wada 

Springer

Access online

Local Heroes in the Global Village

Author : Audretsch 

Springer

Access online

Large-Scale Nonlinear Optimization

Author : Pillo 

Springer

Access online

Lectures on Topological Fluid Mechanics

Author : BergerRicca 

Springer

Access online

Legal Programming

Author : Subirana 

Springer

Access online

Lying by Approximation

Author : Prantil 

Springer

Access online

Lévy Flights and Related Topics in Physics

Author : Shlesinger 

Springer

Access online

Logic Programming

Author : Codognet 

Springer

Access online

Logic Synthesis for FSM-Based Control Units

Author : Barkalov 

Springer

Access online

Logic for Programming and Automated Reasoning

Author : Ganzinger 

Springer

Access online

Land Use and Soil Resources

Author : Braimoh 

Springer

Access online

Logic-Based Program Synthesis and Transformation

Author : Flener 

Springer

Access online

Lectures in Supercomputational Neurosciences

Author : Graben 

Springer

Access online

Languages and Compilers for Parallel Computing

Author : Li 

Springer

Access online

Lectures on Geometric Quantization

Author : Simms 

Springer

Access online

Long-Range Electron Transfer in Biology

Author :  

Springer

Access online

Live Data Structures in Logic Programs

Author : Mulkers 

Springer

Access online

Living Systems

Author : Margolis 

Springer

Access online

Laser Heterodyning

Author : Protopopov 

Springer

Access online

Leibniz and the Natural World

Author : Phemister 

Springer

Access online

Lymphocyte Signal Transduction

Author : Tsoukas 

Springer

Access online

Latency Strategies of Herpesviruses

Author : Minarovits 

Springer

Access online

L’astro narrante

Author : Greco 

Springer

Access online

L’astrofilo moderno

Author : Mobberley 

Springer

Access online

Logic Programming

Author : Demoen 

Springer

Access online

Learning and Collaboration Technologies

Author : Zaphiris 

Springer

Access online

Logica Universalis

Author : Beziau 

Springer

Access online

Logical Aspects of Computational Linguistics

Author : Asher 

Springer

Access online

Lectures in Algebraic Combinatorics

Author : Garsia 

Springer

Access online

Logics in AI

Author : Eijck 

Springer

Access online

Linkage in Evolutionary Computation

Author : Chen 

Springer

Access online

Logics in Artificial Intelligence

Author : Dix 

Springer

Access online

Liquidity, Markets and Trading in Action

Author : Ozenbas 

Springer

Access online

Lunar Outpost

Author : Seedhouse 

Springer

Access online

Location, Transport and Land-Use

Author : Chan 

Springer

Access online

Logic Programming And Nonmonotonic Reasoning

Author : Dix 

Springer

Access online

Leveraging the Semantics of Topic Maps

Author : Maicher 

Springer

Access online

Logic and Program Semantics

Author : Constable 

Springer

Access online

Image
P K Kelkar Library
Indian Institute of Technology Kanpur
Kanpur, U P 208016 India
E-mail: librarian@iitk.ac.in
Ph.: +91 512 259-7698 (Professor I/c, Library)
Ph.: +91 512 259-7233 (Circulation)
 
Downloads
+ Forms
Useful Links
+ IITs /IISc Libraries
+ Open Access Resources
Guidelines/Help
+ E-Resources Access
+ Thesis Submission
+ Library Rules
+ E-resources (Off-Campus)
+ SciFinder 

Opening Hours

Monday - Friday

08:00 am - 12:00 Midnight

Saturday

09:00 am - 12:00 Midnight

Sunday & Gazetted Holidays

09:00 am - 05:30 pm

Examination days:  Round the clock
Library Catalog