Springer London Ltd Forlag
-
Mathematical Logic for Computer Science (Bog, Paperback / softback, Engelsk)
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Handbook of Face Recognition (Bog, Paperback / softback, Engelsk)
This highly anticipated new edition provides a comprehensive account of face recognition research and technology, spanning the full range of topics needed for designing operational face recognition systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic and Structure (Bog, Paperback / softback, Engelsk)
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model... Læs mere
Levering: 6 - 9 hverdage -
Further Linear Algebra (Bog, Paperback / softback, Engelsk)
Most of the introductory courses on linear algebra develop the basic theory of finite dimensional vector spaces, and in so doing relate the notion of a linear mapping to that of a matrix.
Levering: 6 - 9 hverdage -
-
Handbook of Lasers in Dermatology (Bog, Paperback / softback, Engelsk)
This book discusses lasers and light technologies in dermatology. It is the first handbook of lasers in dermatology, facilitating access to information to all... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Atlas of Trichoscopy: Dermoscopy in Hair and Scalp Disease (Bog, Paperback / softback, Engelsk)
The aim of this atlas is to provide detailed and comprehensive, easy-to-use information, sufficient to perform trichoscopy in clinical practice. The second part consists of detailed description of characteristic trichoscopy features of diverse diseases of hair and scalp.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Estimating Animal Abundance: Closed Populations (Bog, Paperback / softback, Engelsk)
Open population methods are in many ways simply extensions of closed population methods, and we have tried to pro vide the reader with a foundation on which understanding of both closed and open population methods can develop.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Fundamentals of Aircraft and Rocket Propulsion (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Introduction to Geometric Computing (Bog, Paperback / softback, Engelsk)
What may not be clear to individual programmers is that these design decisions have already been contemplated by others who have gone down some system design path only to discover (usually much later) that the design decisions that were made were lacking in some respect.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Rheumatoid Arthritis and Proteus (Bog, Paperback / softback, Engelsk)
Rheumatoid Arthritis and Proteus explores the idea that Rheumatoid arthritis is caused by a urinary tract infection as a result of Proteus bacteria.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Energy Economics: Concepts, Issues, Markets and Governance (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
