| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000019059 |
|
|
Autore |
International symposium on apricot culture : <10. : ; 1993 |
|
|
Titolo |
10. International symposium on apricot culture : Ege university, faculty of agriculture, department of horticulture, izmir-Turkey, 20-24 September 1993 / convener Ruhinaz GÜLCAN ; Section fruit, Working group on apricot culture |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Wageningen (NL) : International society for horticultural science, 1995 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910783979503321 |
|
|
Autore |
Lovelace John Timothy |
|
|
Titolo |
The artistry & tradition of Tennyson's battle poetry / / by J. Timothy Lovelace |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Routledge, , 2003 |
|
|
|
|
|
|
|
ISBN |
|
1-135-88600-8 |
0-415-76264-2 |
1-135-88601-6 |
1-280-07611-9 |
0-203-49079-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (198 p.) |
|
|
|
|
|
|
Collana |
|
Studies in major literary authors ; ; v. 28 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Classicism - England - History - 19th century |
Military art and science in literature |
English poetry - Greek influences |
Battles in literature |
|
|
|
|
|
|
|
|
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 (p. 167-179) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Book Cover; Title; Contents; Tennyson and the Heroic Tradition; The Early War Poetry; Historical and Legendary Battles; Contemporary Conflicts; Maud; Idylls of the King; BIBLIOGRAPHY; INDEX |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Argues that Tennyson's war poems reflect image patterns of the Iliad and the Aeneid, and reinvigorate the heroic ethos that informs these and other ancient texts. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910793745203321 |
|
|
Autore |
Monsman Stacy |
|
|
Titolo |
180 days of problem solving for fifth grade / / author, Stacy Monsman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Huntington Beach, California : , : Shell Education, , [2017] |
|
©2017 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (224 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics - Study and teaching (Elementary) - United States |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
4. |
Record Nr. |
UNIORUON00468168 |
|
|
Autore |
NARANGEREL |
|
|
Titolo |
Umesao Tadao no Uchi Mongoru chōsa wo kenshō suru / Narangereru hencho |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[Suita : Kokuritsu Minzokugaku Hakubutsukan] |
|
|
|
|
|
Descrizione fisica |
|
Altro front. : Umesao Tadao's observations on Inner Mongolia |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Soggetti |
|
MONGOLIA - USI E COSTUMI |
MONGOLI - USI E COSTUMI |
UMESAO TADAO (1920-2010) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
5. |
Record Nr. |
UNINA9910141863703321 |
|
|
Titolo |
Discovery and empire : the French in the South Seas / / edited by John West-Sooby [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Adelaide : , : The University of Adelaide Press, , 2013 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 282 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Imperialism - History |
France Colonies Oceania History |
Oceania Discovery and exploration French |
France Territories and possessions History |
France Relations Oceania |
Oceania Relations France |
Oceania Colonization History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 02 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction / John West-Sooby -- Note on the Second Frank Horner Lecture / John West-Sooby -- 1. The globe encompassed : France and Pacific convergences in the Age of the Enlightenment / John Gascoigne -- 2. The Abbé Paulmier's Mémoires and early French voyages in search of Terra Australias / Margaret Sankey -- 3. The acquisitive eye? French observations in the Pacific from Bougainville to Baudin / Jean Fornasiero and John West-Sooby -- 4. Discovering the savage senses : French and British explorers' encounters with Aboriginal people / Shino Konishi -- 5. A case of peripheral vision : early Spanish and French perceptions of the British colony at Port Jackson / John West-Sooby -- 6. New creatures made known : some animal histories of the Baudin Expedition / Stephanie Pfennigwerth -- 7. "Primitive race", "pure race", "brown race", "every race" : Louis Freycinet's understanding of human difference in Oceania / Nicole Starbuck -- 8. Imperial eyes on the Pacific prize : French visions of a perfect penal colony in the South Seas / Jacqueline Dutton. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
It was not until the eighteenth century that France began sending |
|
|
|
|
|
|
|
|
|
|
|
|
|
mariners to the southern oceans on a regular basis, and by that time a new maritime power had begun to emerge: Great Britain. Together, these two nations would play a decisive role in determining the configuration of these little known parts of the globe, and particularly of the Pacific, which had for so long been the almost exclusive preserve of Spain. |
|
|
|
|
|
|
6. |
Record Nr. |
UNISA996201307803316 |
|
|
Titolo |
Scientia canadensis |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Thornhill, Ont., : HSTC Publications, ©1984- |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Science - Canada - History |
Technology - Canada - History |
Medicine - Canada - History |
Sciences - Canada - Histoire |
Technologie - Canada - Histoire |
Medicine |
Science |
Technology |
History of Medicine |
Science - history |
Technology - history |
History |
Periodicals. |
Periodical |
Canada |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Refereed/Peer-reviewed |
Title from cover. |
"Official journal of the history of Canadian science, technology and |
|
|
|
|
|
|
|
|
|
|
|
|
|
medicine." |
Published: Ottawa, Ont. : Canadian Science and Technology Historical Association, <1999-> |
|
|
|
|
|
|
7. |
Record Nr. |
UNIORUON00381121 |
|
|
Autore |
DEBYSER, Francis |
|
|
Titolo |
Le lexique des constructions verbales : présentation pour les professeurs de français et indications sur les applications pédagogiques / Francis Debyser ; avant-propos de Maurice Gross. - Paris : B.E.L.C, [19--] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
8. |
Record Nr. |
UNINA9910143597003321 |
|
|
Titolo |
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / / edited by Kung-Kiu Lau |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 188 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2042 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Computer programming |
Artificial intelligence |
Logic, Symbolic and mathematical |
Software Engineering/Programming and Operating Systems |
Logics and Meanings of Programs |
Programming Techniques |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols between Programs and Proofs -- Protocols between Programs and Proofs -- A Technique for Modular Logic Program Refinement -- A Technique for Modular Logic Program Refinement -- Transformation -- Higher-Order Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing Compilation -- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages -- Automated Strategies for Specializing Constraint Logic Programs -- Abstract Interpretation -- Measuring the |
|
|
|
|
|
|
|
|
|
|
|
Precision of Abstract Interpretations -- Debugging -- Specifying Prolog Trace Models with a Continuation Semantics. |
|
|
|
|
|
|
Sommario/riassunto |
|
ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramDevelopment streamatCL2000,theFirstInternationalConferenceonComputationalLogic, heldatImperialCollege,London,on24-28July2000. ThismeantthattheLOPSTR2000ProgramCommitteewasalsotheCL2000 ProgramCommitteeforProgramDevelopment,andassuchhadtherespon- bilityforallProgramDevelopmentsubmissionstoCL2000,inadditiontothe usualLOPSTRabstracts. Asaresult,therewere18talksattheworkshop,with 2 fourpapersappearingintheproceedingsofCL2000, and14abstractsinthe 3 LOPSTR2000pre-proceedings. Inthisvolumewehavepapersbasedontenof theabstracts. So,paradoxically,thisvolumeisslimmerthanpreviousLOPSTRproce- ings,whilstthisyear''sProgramCommitteehavehadtodealwithmoresubm- sionsandmorecategoriesthanusual!Myheartfeltthanksgotoallthemembers oftheProgramCommitteefortheirhardandconscientiousworkinreviewing andselectingthe papersatvariousstages. Iwouldalsoliketo thankallthe additionalreviewersfortheire'ortsandprofessionalism. FororganizingCL2000,IwouldliketothanktheconferencechairMarek Sergot,theprogramchairJohnLloyd,andthelocalorganizersFrankKriwaczek andFrancescaToni. Theire'ortswerepivotalforthesuccessofCL2000. Finally, I would like to thank all the authors who submitted papers and alltheworkshopattendees. Yourcontinuedsupportiscrucialtothefutureof LOPSTR. ThenextLOPSTRworkshopwillbeheldinCyprus,withICLP2001 andCP2001. ItwillmarkthetenthanniversaryofLOPSTR,soIhopetosee manyofyouthere! March2001 Kung-KiuLau 1 http://www. cs. man. ac. uk/~kung-kiu/lopstr 2 J. W. Lloyd,V. Dahl,U. Furbach,M. Kerber,K. -K. Lau,C. Palamidessi,L. M. - reira,Y. Sagiv,P. Stuckey,editors,ComputationalLogic--CL2000,LectureNotes inArti'cialIntelligence 1861, Springer-Verlag,2000. 3 K. -K. Lau,editor, Pre-Proceedings of the Tenth International Workshop on Log- basedProgramSynthesisandTransformation, Technical Report UMCS-00-6-1, - partment of Computer Science, University of Manchester, June 2000. ISSN 1361- 6161. (Electronic version at: http://www. cs. man. ac. uk/cstechrep/Abstracts/ UMCS-00-6-1. html. ) Program Chair Kung-KiuLau UniversityofManchester,UK Program Committee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AnnalisaBossi Universit`aCa''FoscaridiVenezia,Italy AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium MireilleDucass´e IRISA/INSA,France SandroEtalle UniversiteitMaastricht,TheNetherlands PierreFlener UppsalaUniversity,Sweden MichaelHanus Christian-Albrechts-Universit¨atzuKiel,Germany IanHayes UniversityofQueensland,Australia ManuelHermenegildo TechnicalUniversityofMadrid,Spain PatriciaHill UniversityofLeeds,UK BaudouinLeCharlier UniversityofNamur,Belgium MichaelLeuschel UniversityofSouthampton,UK MichaelLowry NASAAmesResearchCenter,USA AliMili WestVirginiaUniversity,USA TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi UniversityofRomeTorVergata,Italy DonSannella UniversityofEdinburgh,UK DougSmith KestrelInstitute,USA ZoltanSomogyi UniversityofMelbourne,Australia Additional Referees JamieAndrews IanGreen Germ´anPuebla AlessandroAvellone DavidHemer OlivierRidoux YvesBekkers BrahimHnich DaveRobertson FranciscoBueno EdKazmierczak SabinaRossi NicolettaCocco ZeynepK'z'ltan |
|
|
|
|
|
|
|
|
|
|
SalvatoreRuggieri RobertColvin ElviraPino JudithUnderwood MauroFerrari MaurizioProietti Germ´anVidal Table of Contents Synthesis AFormalFrameworkforSynthesisandVeri'cationofLogicPrograms . . . . . . 1 AlessandroAvellone,MauroFerrariandCamilloFiorentini ProtocolsbetweenProgramsandProofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 ImanPoernomoandJohnN. Crossley ATechniqueforModularLogicProgramRe'nement. . . . . . . . . . . . . . . . . . . . . . . 38 RobertColvin,IanHayesandPaulStrooper Transformation Higher-OrderTransformationofLogicPrograms . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 SilvijaSeresandMichaelSpivey Analysis Non-transformationalTerminationAnalysisofLogicPrograms, BasedonGeneralTerm-Orderings. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 AlexanderSerebrenikandDannyDeSchreye Specialisation AModelforInter-moduleAnalysisandOptimizingCompilation. . . . . . . . . . . 86 FranciscoBueno,Mar´?aGarc´?adelaBanda,ManuelHermenegildo, KimMarriott,Germ´anPueblaandPeterJ. Stuckey MeasuringtheE'ectivenessofPartialEvaluation inFunctionalLogicLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 ElviraAlbert,SergioAntoyandGerm´anVidal AutomatedStrategiesforSpecializingConstraintLogicPrograms . . . . . . . . . 125 FabioFioravanti,AlbertoPettorossiandMaurizioProietti Abstract Interpretation MeasuringthePrecisionofAbstractInterpretations. . . . . . . . . . . . . . . . . . . . . . . 147 AlessandraDiPierroandHerbertWiklicky VIII TableofContents Debugging SpecifyingPrologTraceModelswithaContinuationSemantics . . . . . . . . . . . 165 ErwanJahier,MireilleDucass´eandOlivierRidoux Author Index. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
|
|
|
|
|
| |