| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000036564 |
|
|
Autore |
Hoffman, Frederick J. |
|
|
Titolo |
William Faulkner / di Frederick J. Hoffman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Firenze : <<La >> Nuova Italia, 1961 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910452516703321 |
|
|
Autore |
Agius Dionisius A. |
|
|
Titolo |
Seafaring in the Arabian Gulf and Oman : the people of the dhow / / Dionisius A. Agius |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Abingdon, Oxon : , : Routledge, , 2005 |
|
|
|
|
|
|
|
ISBN |
|
0-203-04031-7 |
1-283-88536-0 |
1-136-20175-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (313 p.) |
|
|
|
|
|
|
Collana |
|
The Kegan Paul Arabia library |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Dhows - Persian Gulf Region - History |
Dhows - Oman |
Seafaring life - Persian Gulf - History |
Seafaring life - Oman |
Electronic books. |
Persian Gulf Region Social conditions |
Oman Social conditions |
|
|
|
|
|
|
|
|
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 and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Seafaring in the Arabian Gulf and Oman; Copyright; Contents; Preface; Abbreviations; Transliteration System; Note; Acknowledgements; List of illustrations, Tables and Maps; 1. The Present Study; 2. The Dhow; 3. The Northern Arabian and the People of the Sea; 4. Oman and its Seafarers Gateway to the Indian Ocean; 5. The Dhow Industry; 6. The Routes to West India and East Africa; 7. The Crew of an Ocean-going Dhow; 8. The Pearldivers and Crew; 9. The Principles of Navigation; 10. Getting Ready: Steering and Rigging; 11. Braving the Winds; 12. The Sea: Portraying the Reality; Glossary |
BibliographyGeneral Index; Index of Arabic Terms |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book is a study of the seafaring communities of the Arabian Gulf and Oman in the past 150 years. It analyses the significance of the dhow and how coastal communities interacted throughout their long tradition of seafaring. In addition to archival material, the work is based on extensive field research in which the voices of seamen were recorded in over 200 interviews. The book provides an integrated study of dhow activity in the area concerned and examines the consciousness of belonging to the wider culture of the Indian ocean as it is expressed in boat-building traditions, navi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNICASLIG0067839 |
|
|
Autore |
Haydn, Franz Joseph |
|
|
Titolo |
8 Sonates pour Violon et Piano / Joseph Haydn ; Jacques-Francis Manzone |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Francia], : Decca, p1974 |
|
|
|
|
|
|
|
Titolo uniforme |
ABS Sonate. Pianoforte |
|
|
|
|
|
Descrizione fisica |
|
3 dischi sonori : 33 1/3 rpm, stereo ; 30 cm |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Musica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Sul contenitore: L' Oeuvre pour violon-Vol. 3, 4 et 5. |
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910767556503321 |
|
|
Titolo |
Mathematical Knowledge Management : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings / / edited by Jonathan Borwein, William M. Farmer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 295 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4108 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BorweinJonathan M |
FarmerWilliam Michael |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Information storage and retrieval systems |
Application software |
Database management |
Computer networks |
Mathematics |
Artificial Intelligence |
Information Storage and Retrieval |
Computer and Information Systems Applications |
Database Management |
Computer Communication Networks |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- The Omega Number: Irreducible Complexity in Pure Math -- Roles of Math Search in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales in Isabelle: Theories and Proof Contexts -- A Dynamic Poincaré Principle -- A Proof-Theoretic Approach to Tactics -- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus -- Proof Transformation by CERES -- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge -- Verifying and Invalidating Textbook Proofs Using Scunak -- Capturing Abstract Matrices from Paper -- Towards a Parser for Mathematical Formula Recognition -- Stochastic Modelling of Scientific Terms Distribution in Publications -- Capturing the Content of Physics: Systems, Observables, and Experiments -- Communities of Practice in MKM: An Extensional Model -- From Notation to Semantics: There and Back Again -- Managing Informal Mathematical Knowledge: Techniques from Informal Logic -- From Untyped to Polymorphically Typed Objects in Mathematical Web Services -- Managing Automatically Formed Mathematical Theories -- Authoring LeActiveMath Calculus Content -- Information Retrieval and Rendering with MML Query -- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools. |
|
|
|
|
|
|
|
| |