This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Continue reading
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Continue reading
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Continue reading
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Continue reading
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue reading
This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
Continue reading
Discusses pathology principles essential to understanding the disease process. The text is presented logically and designed ...
Continue readingThis book is for personalized medicine as a prescription of specific treatments and therapeutics best suited for an individual ...
Continue reading
Tectonic motion of the Adria microplate exerts a first-order control on the tectonics, geology, seismology, resource distribution, ...
Continue reading
The Agulhas Current is one of the major currents of the world ocean. In the network of currents that connect the major ocean ...
Continue reading
Once a common resident of the northeastern United States, the Allegheny woodrat (Neotoma magister) has now disappeared from ...
Continue reading
Appendices provide extensive star, lunar and planetary maps, along with a vast amount of data and information that makes ...
Continue reading
This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
Continue reading
It seems to be a strange enterprise to attempt write a physics book about a single number. It was not my idea to do so, but ...
Continue reading
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Continue reading
The global automotive industry is currently undergoing significant changes and the companies are not only faced with opportunities, ...
Continue reading
This book summarizes the multi-disciplinary results of one of China’s main primatological research projects on the endemic ...
Continue reading
Verity Stob is the comedienne of the programming world. She has been writing satirical chronicles of techie life since 1988. ...
Continue reading
Each of the 35 papers marshals its own evidence for or against the flood hypothesis. No summary or overall resolution to ...
Continue reading
This comprehensive introduction to honeybee biology (originally published as Phänomen Honigbiene) explores such topics as ...
Continue reading