Atlantis Studies in Computing

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in compl

In this work we plan to revise the main techniques for enumeration algorithms and to show four examples of enumeration algorithms that can be applied to efficiently deal with some biological problems

This book describes benefits that emerge when the fields of constraint programming and concurrency meet. Proposes an extension to Service Oriented Languages to overcome some of their limitations and t

This volume tackles the conflicting requirements of data compression and indexing in massive datasets, by using optimization techniques to improve compression and reconfiguring data structure to incre

Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the increase of dynamic web applications. Templates a

Essays explore the world of Michael of Rhodes, examining the historical context, thediscovery of his manuscript, and Michael's knowledge of mathematics, shipbuilding, navigation, andother topics.

Two unforgettable fan-favorite novels from the biggest stars of paranormal romance?New York Times bestselling authors Gena Showalter and Jeaniene Frost The Nymph King Gena Showalter Females young and old, beautiful and plain crave Valerian's touch. None can resist his blatant sensuality and potent allure?until he steals Shaye Holling from a Florida beach and holds her prisoner in his underwater kingdom. Now Valerian must fight for the privilege of claiming her as his own. Because there's one thing Shaye doesn't know?when a nymph discovers his true mate, she's his for life. Includes all new scenes! The Beautiful Ashes Jeaniene Frost With her sister missing, Ivy discovers a startling truth?the disturbing, otherworldly hallucinations she's always had are real, and her sister is trapped in a demon realm. The one person who can help her is the dangerously attractive rebel who's bound by an ancient legacy to betray her. With destiny on one side and desire

A princess seeking to balance duty and her tempestuous heart... A wanderer searching for a purpose... A soldier destined for glory... A doomed civilization... 236 B.C. The powerful civilization of Atl

Grace Carlyle no podía imaginarse que buscando a su hermano perdido acabaría descubriendo un mundo secreto poblado por monstruos mitológicos, ni enfrentándose con un guerrero drag

Females young and old, beautiful and plain crave Valerian's touch. None can resist his blatant sensuality and potent allure—until he steals Shaye Holling from a Florida beach and holds her pris

Searching for her missing brother, Grace Carlyle never dreamed she would discover a secret world populated by mythological monsters--or find herself facing a sword-wielding being whose looks put morta

All Atlantis seeks the Jewel of Dunamis, which legend claims can overcome any enemy. Grayson James, human agent of the ultrasecret Otherworld Bureau of Investigation, has orders to keep it from the w

He is Layel, king of the vampires, a master seducer no woman can deny. But since a rogue horde of dragons killed his beloved over two centuries ago, Layel has existed only for vengeance…until he