Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
Reliable Software Technologies - Ada Europe 96
Content Description #Includes bibliographical references and index.
Creek Internationalism in an Age of Revolution, 1763–1818
Creek Internationalism in an Age of Revolution, 1763–1818 examines how Creek communities and their leaders remained viable geopolitical actors in the trans-Appalachian West well after the American Revolution. The Creeks pursued aggressive and far-reaching diplomacy between 1763 and 1818 to assert their territorial and political sovereignty while thwarting American efforts to establish control over the region. The United States and the Creeks fought to secure recognition from the powers of Europe that would guarantee political and territorial sovereignty: the Creeks fought to maintain their connections to the Atlantic world and preserve their central role in the geopolitics of the trans-App...
Reliable Software Technologies - Ada-Europe 2008
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
Setting the Table
"A long-needed comparison between Spanish and Spanish colonial sites, showing how both inform us about Spanish identity at home and abroad."--Charles R. Ewen, coeditor of Pieces of Eight: More Archaeology of Piracy "The first systematic attempt to consider the eighteenth-century archaeological record in Spain and measure it against the decades-long research in St. Augustine. It is long overdue and valuable."--Russell K. Skowronek, coauthor of Ceramic Production in Early Hispanic California: Craft, Economy, and Trade on the Frontier of New Spain Examining ceramics from eighteenth-century household sites in Jerez de la Frontera, Spain, and St. Augustine, Florida, Setting the Table opens up new...
Iberian Books Volumes II & III / Libros Ibéricos Volúmenes II y III (2 vols)
Iberian Books II & III presents an indispensable foundational listing of everything known to have been published in Spain, Portugal and the New World, or of items printed in Spanish or Portuguese elsewhere, during the first half of the seventeenth century. Drawing on library catalogues, specialist bibliographies and studies, as well as auction catalogue records, Iberian Books lists 45,000 items, and the locations of some 215,000 copies surviving in 1,800 collections worldwide. These volumes offer a powerful research tool which will appeal to researchers, librarians and to the book selling and collecting communities. They will prove invaluable to anyone with a research interest in the literat...
