| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996393162603316 |
|
|
Titolo |
By the Major. Whereas by severall orders of the House of Commons in Parliament assembled, and by a letter to the the speaker of that House, from the Committee of the countie of York, this day delivered to the Common-councell by a committee of the said House of Commons, it is declared, that the Parliaments army in the northern parts are in a sad and distressed condition for want of food and other necessaries; .. [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[London], : Printed by Richard Cotes Printer to the honorable City of London, 1648 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
WarnerJohn, Sir, <d. 1648.> |
|
|
|
|
|
|
Soggetti |
|
Great Britain Militia Early works to 1800 |
London (England) History 17th century Early works to 1800 |
Great Britain History Civil War, 1642-1649 Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Collection of arrears for the army; dated at end: 29. day of August, 1648. |
Annotation on Thomason copy: "Aug ye 31". |
Reproduction of the original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910714995403321 |
|
|
Autore |
Arrowood Janet |
|
|
Titolo |
South Vietnam [[electronic resource] ] : Ho Chi Minh City, the Mekong River Delta & Beyond |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
West Palm Beach, : Hunter Publishing, 2010 |
|
Washington, D.C. : , : Far Eastern Law Division, Law Library, Library of Congress, , 1970 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (248 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Vietnam -- Economic conditions |
Vietnam -- Social conditions |
Vietnam --Politics and government -- 1945-1975 |
Vietnam |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction; The Recent Past; The Land; Why Come Here?; What Can You Do Here?; Cautions & Advice; Customs, Immigration & Visas; Vietnamese Embassies in; Foreign Embassies in Vietnam; Visas; ; ; ; ; ; Immigration & Customs; Departure Taxes; Electrical Appliances; Opening Hours; Banks & ATMs; Booking Tours; Health Considerations; Getting There; Getting Around; The Weather & When to Visit; What to Pack; Prices - Hotels & Restaurants; Overview - Vietnam; About the Country; Touring Vietnam; History of Vietnam; People, Customs & Culture; Geography & Land; Climate; Flora & Fauna |
Government & EconomyLifestyles; Food Basics; Clothing & Costumes; Visas - Vietnam; Getting There; The Vietnam War; Introduction; Country at a Glance; Getting There & Around; What to Take; Where to Stay; Hoi An; History; Getting There & Away; Where to Stay; Where to Eat; Markets & Shopping; Tours & Travels; Getting Around; What to See & Do; Nearby Areas; Useful Information; Nha Trang; History; Getting There & Away; Where to Stay; Markets & Shopping; Sports; Tours & Travels; Getting Around; What to See & Do; Useful Information; Dalat & the Southern Highlands; History; Getting There & Away |
|
|
|
|
|
|
|
|
|
|
|
Where to StayWhere to Eat; Entertainment; Markets & Shopping; Tours & Travels; Getting Around; What to See & Do; Around Dalat; Useful Information; Ho Chi Minh City (HCMC/Saigon); History; Getting There & Away; Where to Stay; Where to Eat; Entertainment; Markets & Shopping; Tours & Travels; What to See & Do; Useful Information; The Mekong Delta; History; Where to Stay; Markets & Shopping; Tours & Travels; Getting Around; What to See & Do; Transportation; Useful Information; Adventure Travel Options&Itineraries; Mekong Delta; Red River Delta; Sa Pa (Sapa) Trekking; Mount Sapa |
Walking Tour Itinerary IdeasBiking Tour Itinerary Ideas; Motorcycle Touring; Books & Websites; Books; Websites |
|
|
|
|
|
|
Sommario/riassunto |
|
This guide focuses on Ho Chi Minh City, the Mekong River Delta, Hoi An, Nha Trang, Dalat & the Southern Highlands - all of the southern half of Vietnam. Huge lakes, tremendous waterfalls, elephant rides, jungles, wonderful people, fabulous food. The sense of the new and unknown will amaze you. Prices? Phenomenally low. And the scenery is spectacular. Canoe on Vietnam's historic lakes, kayak the South China Sea, see some of the largest waterfalls in the world, visit the islands, trek to hill-tribe areas, visit former royal palaces, wander through local markets. The imperial temples along the Pe |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910744505403321 |
|
|
Autore |
Bowen Jonathan P |
|
|
Titolo |
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (417 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 14080 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Software Engineering |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Jifeng He’s Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng’s research contributions, especially in the area of formal methods, and |
|
|
|
|
|
|
|
|
|
|
the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP. |
|
|
|
|
|
| |