Sets Logic and Maths for Computing

Author: David Makinson
Publisher: Springer Science & Business Media
ISBN: 9781447125006
Release Date: 2012-02-27
Genre: Computers

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.

Red Sea Pilot

Author: Elaine Morgan
Publisher: Imray Laurie Norie & Wilson Limited
ISBN: 0852885547
Release Date: 2002-01-01
Genre: Sports & Recreation

The second edition of this comprehensive pilot incorporates information collected by the authors during their cruises in the area. Some 70 anchorages were resurveyed and new ones explored, and the details of these have been included in this edition. Improved coverage for divers is also one of the key improvements. The text is illustrated by a section of color plates which capture the atmosphere of the sometimes harsh but always fascinating geography of the area covered by this pilot.

Lochs and Lights

Author: Patrick Roach
Publisher:
ISBN: 1846231698
Release Date: 2010-01-01
Genre: Coasts

'Lochs and Light' is one of a series of attractive tours of coastlines using views from the air. This addition to the range covers the mainland part of the West coast of Scotland, one of the most attractive sailing areas in the British Isles. Starting from the estuaries of Galloway on the Solway Firth, the tour leads northwards across the Firth of Clyde, taking in Ardnamurchan, Oban, Loch Linnhe, Mallaig and past Skye to reach the lonely and dramatic cliffs of Cape Wrath. Patrick Roach's outstanding aerial photographs, taken in a typical range of weather and tidal conditions, are matched by a commentary and description by West coast based yachting journalist, Gordon Buchanan. These wonderful views from the air give an idea of the drama and variety in the long and complex Scottish coast, and for anyone at sea as well as walkers and other landside visitors, 'Lochs and Lights' is the ideal companion.

Channel Waypoint Guide

Author: Peter Cumberlidge
Publisher: Imray Laurie Norie & Wilson
ISBN: 1846233836
Release Date: 2011-01-01
Genre: English Channel

A comprehensive waypoint pilot for both sides of the English Channel, from the Isles of Scilly to Ramsgate, and Calais to the Chenal du Four. Includes the Channel Islands and over 50 cross-channel routes. This Waypoint Guide has been compiled for the convenience of anyone who uses electronic systems for navigating the popular cruising areas of the English Channel, under sail or power. The waypoints presented in this guide have certainly been set with safety in mind, but they have also been chosen to be practical in all kinds of passage-making circumstances, whether yachts are pottering fairly close inshore within a local area, cruising between neighbouring coastal areas, or arriving on a particular stretch of coast after a longish offshore passage. Near the front of the guide is a set of charts, waypoints and routes for crossing different sections of the English Channel. In full colour with charts devised by Jane Cumberlidge

North Sea Passage Pilot

Author: Brian Navin
Publisher:
ISBN: 1846239605
Release Date: 2018-05
Genre:

The author's well-established guide to the East Coast of England, from Great Yarmouth to Dover and the corresponding coasts between Calais and Den Helder, has been updated for this revised 6th edition. Information on the extensive new wind farms in the Thames Estuary and off the coast of Belgium and the Netherlands has been included, along with details of changed traffic separation schemes off the continental coast and updated contact details for ports and services. North Sea Passage Pilot provides valuable information for entering the rivers and harbours on both sides of the North Sea and for sailing the passages between them.

Cruising Cork and Kerry

Author: Graham Swanson
Publisher: Imray Laurie Norie & Wilson Limited
ISBN: 0852887582
Release Date: 2005-01-01
Genre: Sports & Recreation

Graham Swanson's cruising companion to this beautiful part of Ireland provides background information that is not found in the traditional pilots and almanacs. His gentle commentary of places and people is a joy to read and conveys the spirit and atmosphere of the remote harbours and anchorages tucked into the rias of Southwest Ireland. The introduction contains an illustrated section on sea birds and each cruising section is lightened by recipes for traditional dishes from the area. The photography illustrates the text and balances the detailed Imray cartography with a sequence of specially commissioned photographs by Patrick Roach. In praise of 'Cruising Cork & Kerry': "A superb pilot book plus a lot of additional information, really well presented" - Sailor visiting Gweek Quay in Cordelia "...a MUST for anyone sailing this wonderful and challenging coast" - RNSA Journal "His deep research comes through well and I highly recommend this personal pilot book" - Ocean Cruising Club website "Many of the aerial shots are fully annotated and complement the maps perfectly" - The Log, Journal of the British Airline Pilots Association "... provides a plethora of fascinating detail on each port that is often not available in a pilot book" - Sailing Today "Planned to complement, not challenge, The Irish Sailing Club's Sailing Directions...Highly recommended ... in this reviewer's case ... to relive happy memories of cruises past" - Cruising Association "Highly readable, even for a landlubber, with so much detail, clear maps and stunning pics ... entertaining, sometimes humorous and not overwhelmingly technical to the layman" - A fly-fishing journalist "A lovely book ... for anyone interested in finding out more about this beautiful part of the world" - RNLI Offshore News "... beautiful and informative aerial photographs rarely, if ever, seen in a tourist guide" - Sherkin Comment Irish environmental newspaper "Easily the best pilot for this area ... as useful ashore as it is afloat" - Yachting Monthly "... he's good at mixing practical sailing advice with local history, on shore amenities, recipes etc" - udge's comments, Award for best guidebook - Outdoor Writers and Photographers Guild

Shetland Islands Pilot

Author: Gordon Buchanan
Publisher:
ISBN: 0852889771
Release Date: 2009-01-01
Genre: Pilot guides

Well known to ancient Norse mariners, the Shetland Islands offer a fascinating cruising ground for today's less warlike sailors. There are numerous beautiful, if sometimes rugged anchorages, many harbours and several marinas all of which create a variety that ensures that one visit to these islands will not be the last. Natural scenery apart, one function of the ongoing drive to attract tourism is a strong appreciation of the benefits brought by visiting yachts, and this, coupled with the natural and very welcoming grace of the Shetland people, ensures a hugely warm welcome. Summer is the time to cruise these islands, one added benefit of their Northern location is the almost constant daylight, making both sightseeing and pilotage much more enjoyable. Summer is also the time when many of the island's towns and villages hold their annual festivals, often including yacht races and much waterborne hilarity. That is not to say that a visit in winter should be avoided; the annual festival of 'Up Helly Aa' at the end of January is an experience not to be missed. The riotous enthusiasm with which the ever-friendly Shetland Islanders share their annual celebration of Shetland history is likely to draw summer visitors back time and time again. Gordon Buchanan knows the Shetland Islands from visits over many years and presents detailed pilotage information on reaching and cruising this delightful area.

Irish Sea Pilot

Author: David Rainsbury
Publisher: Imray Laurie Norie & Wilson
ISBN: 184623591X
Release Date: 2015-09-18
Genre:

The Irish Sea is a huge, almost landlocked sea. Around its shores and islands there are no fewer than six countries, provinces or protectorates.Several languages are represented; English, Welsh, Irish, Scots Gaelic and Manx, along with countless accents and dialects. Its waters teem with life; dolphins and porpoises are a common sight; leatherback turtles come here from the Caribbean to feed on the jellyfish and whales are regular visitors. In the air there are gulls, puffins, guillemots and more. The range of challenges and coastlines is astonishing. Tides above five knots are commonplace and yet there are calm, sheltered waters for relaxed wandering.This well established pilot covers both sides of the Irish Sea from Milford Haven to Portpatrick, and Rathlin Island to Carnsore Point. From his base in Liverpool David Rainsbury spent much of 2014 revisiting the coasts he describes. The sailing directions and descriptions, updated for this second edition, cover all the places that provide shelter. At the start of each chapter there are useful coasting notes which deal with some of the more difficult passages and tidal gateways. The harbour text is then clearly organised so that essential information regarding accessibility, tides and shelter always proceed the pilotage notes which are supported by clear full colour plans.For this second edition the harbour plans have been updated and throughout new photos have been added. The text records all changes as well as including a new section on wind farms.Updates are published on the Irish Sea Pilot website.

Mediterranean Cruising Handbook

Author: Rod Heikell
Publisher: Imray Laurie Norie & Wilson
ISBN: 1846231701
Release Date: 2011-09-01
Genre: Mediterranean Region

This fully updated 6th edition has had a complete facelift and is now published in full color in a new format. Throughout, the work has been updated, and in places expanded. It now includes a list of useful waypoints and routes ofr the entire Mediterranean which are shown on overprinted charts folded into the back of the book. The Mediterranean Cruising Handbook is a constant companion to the Imray Mediterranean Almanac and provides information on climate, equipment, radio, naviagation, routes to the Mediterranean, history, marine life, food and basic information on each Mediterranean country.

Inland Waterways of France

Author: David Edwards-May
Publisher: Imray Laurie Norie & Wilson Limited
ISBN: 1846230144
Release Date: 2010-01-01
Genre: Sports & Recreation

The standard guide to the French canals and navigable rivers includes maps and distance tables for each waterway, giving the user a general view of the geography of each waterway as well as a detailed cockpit reference. The introduction forms a comprehensive general guide to the French waterways, including distances and overall dimensions, formalities, navigation regulations and an up-to-date list of hire operators, making inland waterways of France not just an unrivalled reference for planning but also an outstanding cruising guide. The new edition is now in full colour with redrawn maps and many new photographs.

Ocean Passages and Landfalls

Author: Rod Heikell
Publisher: Imray Laurie Norie & Wilson Limited
ISBN: 1846231558
Release Date: 2009-01-01
Genre: Sports & Recreation

'Ocean Passages and Landfalls' is a handbook for world cruisers. It provides invaluable passage-planning information for crossing the oceans, with discussions on climates, seasons, oceanography and the merits of different world cruising routes. The heart of the book is an ocean-by-ocean round-up, and at the beginning of each of these sections is a description of routes, followed by information on the countries relevant to these routes. Details of formalities and regulations are then followed by essential information on key harbours and landfalls. This second edition has been thoroughly revised and enlarged and now features new sections on chosen areas and topics - the Atlantic Circuit or Cruising on Ice, for instance. Here the opportunity has been taken to provide more informal commentary and observations based on first-hand experience. These sections are illustrated by the author's colour photographs, many of which have been taken during the production of this new edition and sent in from far-flung parts of the oceans; Rod Heikell in the South Pacific and the Torres Strait, and Andy O'Grady in Brazil and the high latitudes of Chile. As an up-to-date reference for world cruising this new edition of 'Ocean Passages and Landfalls' sets the benchmark as both a practical reference and also as a book for dreamers.

Secret Anchorages of Brittany

Author: Peter Cumberlidge
Publisher: Imray Laurie Norie & Wilson
ISBN: 1846238153
Release Date: 2016-12-08
Genre:

Secret Anchorages of Brittany provides concise pilotage directions for practically all the natural anchorages along the Brittany coast, from the Bay of Mont St Michel round to the great estuary of the Loire.As with the first edition, the anchorages start near Cap de la Hague on the Cotentin Peninsula and include Iles Chausey. The book enters Brittany waters near Cancale and follows the whole 300-mile coastline, with its rivers, estuaries and offshore islands, looking into every nook and cranny on the way. This stylish second edition includes many new anchorages and is lavishly illustrated in colour, while the anchorage charts have been redrawn and verified against the Admiralty or French SHOM charts.The pilotage sections are peppered with short features on the maritime traditions, life and history of this inimitable coast. Peter Cumberlidge is a well known writer and photographer who cruises widely under sail and power. He always returns to Brittany with affection and the new Secret Anchorages reflects his sympathy for this fabulous cruising area, the people who live here and the superlative seafood for which the coast is justly renowned.

South Pacific Anchorages

Author: Warwick Clay
Publisher: Imray Laurie Norie & Wilson
ISBN: 0852884826
Release Date: 2001-01-01
Genre: Pilot guides

Details of harbors and anchorages in the Pacific south of the Equator between New Guinea and South America are offered in this updated edition.