Learn IT - Books tags springer

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

Springer, 2011

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.

Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a...

Advanced Peripheral Nerve Surgery and Minimal Invasive Spinal Surgery (Acta Neurochirurgica Supplement)

Springer, 2005

A summary of the most recent and effective techniques for treating difficult functional problems and painful situations using minimally invasive spinal surgery techniques. Including an up-to-date review of the physiopathology of the diseases.

...

Active Ageing and Labour Market Engagement: Evidence from Eastern India

Springer, 2019

The book provides an interesting analysis of the time-use data to examine the extent to which active ageing is occurring in India. It also synthesizes data from the National Sample Survey Office All India Survey and another survey undertaken in Kolkata, Bhubaneswar, and Ranchi (capital cities of East Indian states) to examine the...

China’s Domestic and International Migration Development (International Talent Development in China)

Springer, 2019

This book offers the most comprehensive, up-to-date assessment of China’s domestic and international migration. Restructuring economic development requires large numbers of educated and skilled talents, but this effort comes at a time when the size of China’s domestic workforce is shrinking. In response, both national and regional...

Smart Intelligent Computing and Applications: Proceedings of the Second International Conference on SCI 2018, Volume 2 (Smart Innovation, Systems and Technologies (105))

Springer, 2018

The proceedings covers advanced and multi-disciplinary research on design of smart computing and informatics. The theme of the book broadly focuses on various innovation paradigms in system knowledge, intelligence and sustainability that may be applied to provide realistic solution to varied problems in society, environment and...

The 10th International Conference on Computer Engineering and Networks (Advances in Intelligent Systems and Computing, 1274)

Springer, 2020

This book contains a collection of the papers accepted by the CENet2020 – the 10th International Conference on Computer Engineering and Networks held on October 16-18, 2020 in Xi’an, China. The topics focus but are not limited to Internet of Things and Smart Systems, Artificial Intelligence and Applications, Communication System...

Theoretical Introduction to Programming

Springer, 2005

Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML. This book is intended to...

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)

Springer, 2008

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic...

Reuse Methodology Manual for System-on-a-Chip Designs

Springer, 2002

Reuse Methodology Manual for System-on-a-Chip Designs, Third Edition outlines a set of best practices for creating reusable designs for use in an SoC design methodology. These practices are based on the authors' experience in developing reusable designs, as well as the experience of design teams in many companies around the world....

Geometric Computing: for Wavelet Transforms, Robot Vision, Learning, Control and Action

Springer, 2010

Geometric algebra (GA) is a powerful new mathematical system for computational geometry. Although its origins can be traced back to Hermann Grassmann (1844), its development as a language for space–time geometry with applications to all of physics did not begin until 1966. Suddenly, in the year 2000 it was recognized that a specialized...

Encyclopedia of Machine Learning

Springer, 2011

This comprehensive encyclopedia, with over 250 entries in an A-Z format, provides easy access to relevant information for those seeking entry into any aspect within the broad field of machine learning. Most entries in this preeminent work include useful literature references.

Topics for the Encyclopedia of Machine Learning...

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference

Springer, 2011

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented together with the abstract of one...

Result Page: 465 464 463 462 461 460 459 458 457 456 455 454 453 452 451 450 449 448 447