This comprehensive volume, written by experts in the field, includes concise and timely reviews of Listeria monocytogenes, ...
Weiterlesen
The book also covers cutting-edge research and technological advances that will shape the surgery of tomorrow. There is little ...
WeiterlesenNew therapeutical approaches, advances in oncology and in diagnostic imaging, which reduce the need for invasive techniques ...
Weiterlesen
Offering a compelling personal account of his life in architecture as an influential postmodern designer, architect-planner ...
Weiterlesen
This book draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques ...
Weiterlesen
All over the world, sustainable river basin management is a leading principle of policy plans and legal instruments for water ...
Weiterlesen
A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. ...
Weiterlesen
Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation ...
Weiterlesen
Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...
Weiterlesen
Some ferromagnetic materials with localized magnetic moments have become a hot topic in modern solid-state physics because ...
Weiterlesen
These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...
Weiterlesen
Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...
Weiterlesen
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Weiterlesen
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
Weiterlesen
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Weiterlesen
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Weiterlesen
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...
Weiterlesen
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Weiterlesen
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Weiterlesen