| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910782083703321 |
|
|
Titolo |
Semiotik [[electronic resource] ] : ein Handbuch zu den zeichentheoretischen Grundlagen von Natur und Kultur = Semiotics : a handbook on the sign-theoretic foundations of nature and culture / / herausgegeben von Roland Posner, Klaus Robering, Thomas A. Sebeok |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Walter de Gruyter, 2004 |
|
|
|
|
|
|
|
ISBN |
|
1-282-19358-9 |
9786612193583 |
3-11-019428-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (550 p.) |
|
|
|
|
|
|
Collana |
|
Handbücher zur Sprach- und Kommunikationswissenschaft ; ; Bd. 13 = Handbooks of linguistics and communication science |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
PosnerRoland |
RoberingKlaus |
SebeokThomas A <1920-2001.> (Thomas Albert) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Inhalt -- Ausgewählte Gegenstände der Semiotik -- Geschichte der Kommunikationstechniken -- Divination and futurology -- Work -- Semiotik des Sports -- Interspecific communication -- Gerontology and geriatrics -- Tourism -- Geschäftsleben -- Ideology -- Körpersignale in menschlicher Interaktion -- Multimediale Kommunikation -- Pictograms -- Zeichennormung für Handwerk und Industrie -- Fakes in arts and crafts -- Ciphers and other secret codes -- Translation -- Universal languages and language planning -- Extraterrestrial communication -- Anhang -- Semiotic organizations -- Semiotic reference works and periodicals -- Personenindex -- Sachindex |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This series of HANDBOOKS OF LINGUISTICS AND COMMUNICATION SCIENCE is designed to illuminate a field which not only includes general linguistics and the study of linguistics as applied to specific languages, but also covers those more recent areas which have |
|
|
|
|
|
|
|
|
|
|
|
|
|
developed from the increasing body of research into the manifold forms of communicative action and interaction. For ""classic"" linguistics there appears to be a need for a review of the state of the art which will provide a reference base for the rapid advances in research undertaken from a variety of theoretical standpoints, while in the... |
|
|
|
|
|
|
2. |
Record Nr. |
UNISANNIORAV0030700 |
|
|
Autore |
Gabbiano, Marcella |
|
|
Titolo |
Da via Stalingrado a Piazza degli Affari : la storia dell'Unipol / Marcella Gabbiano, Antonio Calabro ; introduzione di Giuseppe Turani |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Venezia, : Marsilio, 1988 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
148 p., \16! c. di tav. : ill. ; 22 cm. |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Classificazione |
|
IT/X435.7 |
IT/X436.9 |
Se.i.5.0 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Calabrò, Antonio <1950- > |
|
|
|
|
|
|
Disciplina |
|
368 |
368.00945 |
368.06545 |
368.945 |
|
|
|
|
|
|
|
|
Soggetti |
|
Unipol <assicurazioni> - Storia |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910143874403321 |
|
|
Titolo |
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / / edited by Alberto Pettorossi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2002.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 272 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2372 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer architecture |
Computer logic |
Computer programming |
Artificial intelligence |
Logic, Symbolic and mathematical |
Software Engineering/Programming and Operating Systems |
Computer System Implementation |
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 and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using |
|
|
|
|
|
|
|
|
|
|
|
Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs. |
|
|
|
|
|
|
Sommario/riassunto |
|
ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci'cation, synthesis, veri'cation, transformation, specialization, analysis,optimization,composition,reuse,component-basedsoftwaredevel- ment,andsoftwarearchitectures. LOPSTR 2001 took place in the Coral Beach Hotel in Paphos (Cyprus) fromNovember28-30,2001. PastLOPSTRworkshopswereheldinManchester, UK(1991,1992,1998),Louvain-la-Neuve,Belgium(1993),Pisa,Italy(1994), Arnhem,TheNetherlands(1995),Stockholm,Sweden(1996),Leuven,Belgium (1997),Venice,Italy(1999),andLondon,UK(2000). LOPSTR2001wasco-locatedwiththe17thInternationalConferenceonLo- 1 gicProgramming(ICLP2001) andthe7thInternationalConferenceonPrinci- 2 plesandPracticeofConstraintProgramming(CP2001) . TheLOPSTRc- munitypro'tedalotfromthescienti'cdiscussions,thelecturesoftheinvited speakers,andthevarioussessionsofICLPandCP. I would like to express my gratitude to all the authors of the submitted papersandalltheattendeesfortheircommitmentandcooperation. Amongthe submittedpapers,theProgramCommitteeselected13papersforpresentation. Aftertheworkshop,theauthorswereaskedtosubmitimprovedversionsoftheir paperswhichwerethenreviewedbytheProgramCommittee. The'nalversions havebeencollectedinthisvolume,whichalsoincludesthepaperbyourinvited speaker,NatarajanShankar(StanfordResearchInstitute,MenloPark,USA), onthegenerationofe'cientprogramsfromlogic. MywarmestthanksalsogotoallthemembersoftheProgramCommittee andtheadditionalreviewersfortheirdiligentworkandinvaluablehelp. Iwould liketothankFabioFioravanti(IASI-CNRofRome,Italy),MaurizioProietti (IASI-CNRofRome,Italy),andAntonisKakas(UniversityofCyprus,Cyprus), whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofComputer ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese'nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:http://www. iasi. rm. cnr. it/~adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet,Ph. ,editor,LogicProgramming--ICLP2001,LectureNotesinComputer Science 2237,Springer-Verlag,2001. 2 Walsh,T. ,editor,PrinciplesandPracticeofConstraintProgramming--CP2001, LectureNotesinComputerScience 2239,Springer-Verlag,2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRoma''TorVergata'',Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco |
|
|
|
|
|
|
|
|
|
|
Universit`aCa''FoscaridiVenezia,Italy MireilleDucass´e IRISA/INSA,France SandroEtalle TwenteUniversity&CWI,TheNetherlands JohnGallagher UniversityofBristol,UK RobertGluc ¨ k WasedaUniversity,Japan MichaelHanus Christian-Albrechts-Universit¨atzuKiel,Germany ManuelHermenegildo UniversidadPolit´ecnicadeMadrid,Spain PatriciaHill UniversityofLeeds,UK Kung-KiuLau UniversityofManchester,UK MichaelLeuschel UniversityofSouthampton,UK TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi Universit`adegliStudidiRoma''TorVergata'',Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook,USA DonSannella UniversityofEdinburgh,UK ZoltanSomogyi UniversityofMelbourne,Australia AdditionalReferees Jos´eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu´?sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ´anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstituteofCNR(Italy) Universit`adegliStudidiRoma''TorVergata''(Italy) TableofContents InvitedSpeaker Static Analysis for Safe Destructive Updates in a Functional Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 NatarajanShankar(SRIInternational,MenloPark,USA) ProgramTransformationandEquivalence A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 PetrosPotikas,PanosRondogiannis(UniversityofAthens,Greece), ManolisGergatsoulis(InstituteofInformatics&Telecommunications, AghiaParaskeviAttikis,Greece) On Deforesting Parameters of Accumulating Maps . . . . . . . . . . . . . . . . . . . . . 46 KazuhikoKakehi,RobertGluck, ¨ YoshihikoFutamura(Waseda University,Tokyo,Japan) Equivalence in Answer Set Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 MauricioOsorio,JuanA. Navarro,Jos´eArrazola(Universidaddelas Am´ericas,Puebla,M´exico) ProgramVeri'caion Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 GiorgioDelzanno(UniversityofGenova,Italy),SandroEtalle(CWI andUniversityofTwente,TheNetherlands) Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910634063403321 |
|
|
Autore |
Wymann Christian, Dr. |
|
|
Titolo |
Mind Your Writing : How to be a Professional Academic Writer / / Christian Wymann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leverkusen, : Verlag Barbara Budrich, 2020 |
|
2020, c2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (99 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Schreibprozess |
writing process |
Strategie |
strategy |
Schreibstil |
writing style |
feedback |
Feedback |
motivation |
Motivation |
Schreibblöcke |
writing blocks |
time management |
Zeitmanagement |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
Um erfolgreich schreiben und publizieren zu können, müssen wissenschaftlich Schreibende sich über ihre Kompetenzen und ihre Rolle as Schreibende im Klaren sein. Sie müssen Grundsatzfragen über ihr Schreiben beantworten können, damit sie bewusste und strategische Entscheidungen treffen können. Nur so werden sie zu Schreibprofis, die ihren Beruf erfolgreich ausüben. In order to write |
|
|
|
|
|
|
|
|
|
|
and publish successfully, academic writers must be aware of their skills and their role as writers. They need to be able to answer fundamental questions about their writing, enabling them to make conscious and strategic decisions. Only in that way they will become writing professionals who successfully carry out their profession. |
Wymann provides a framework for self-understanding; Zumbrunn provides the underlying science—with chapters addressing perceptions, stress and anxiety, self-efficacy, perfectionism, autonomy, social support, and wellness—and strategies for approaching the realities of the writing life in clear and realistic ways.Journal of Scholarly Publishing January 2022Deshalb: Von mir gibt es eine eindeutige Leseempfehlung auch für Technische Redakteure und Redakteurinnen, die keine akademischen Texte produzieren!doctima.de: https://www.doctima.de/2021/04/rezension-mind-your-writing-christian-wymann/?utm_source=signatur&utm_medium=email&utm_campaign=news |
|
|
|
|
|
| |