| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910157457203321 |
|
|
Autore |
Munson Victoria |
|
|
Titolo |
British seashore |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (64 p.) : ill |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Seashore animals |
Seashore plants |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Easy-to-follow identification guides for nature-loving children who want to find out more about British seaside wildlife, in rockpools or on a coastal walk.Includes the most common plants, insects, crustaceans, seasweeds, molluscs and birds found on British seashores today. From shells and anemones, to jellyfish and crabs, lugworms, urchins, sandhoppers, butterflies and gulls, a world of wildlife waits for you to discover it. Full descriptions of each, along with their scientific name, size, family and food. Stunning large colour photographs help to make identification easy.Includes fascinating information about rock pools, the tides, food chains and safety at the beach.Become a nature detective and explore the natural world around you. If you enjoy this book, then why not search out the other titles in this series: British Birds; British Mammals; British Trees; British Wild Flowers; British Butterflies; Urban Wildlife and British Insects. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483136503321 |
|
|
Titolo |
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / / edited by Jasmin Christian Blanchette, Stephan Merz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 502 p. 88 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 9807 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Computer science |
Algorithms |
Software engineering |
Electronic digital computers - Evaluation |
Computer simulation |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Software Engineering |
System Performance and Evaluation |
Computer Modelling |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. |
|
|
|
|
|
|
|
| |