Electronic Books

Total Books: 4581 - 4600 /8429

This comprehensive volume, written by experts in the field, includes concise and timely reviews of Listeria monocytogenes, ...

The book also covers cutting-edge research and technological advances that will shape the surgery of tomorrow. There is little ...

New therapeutical approaches, advances in oncology and in diagnostic imaging, which reduce the need for invasive techniques ...

Offering a compelling personal account of his life in architecture as an influential postmodern designer, architect-planner ...

This book draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques ...

All over the world, sustainable river basin management is a leading principle of policy plans and legal instruments for water ...

A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. ...

Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation ...

Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...

Some ferromagnetic materials with localized magnetic moments have become a hot topic in modern solid-state physics because ...

These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...

Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Total Books: 4581 - 4600 /8429