ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Springer  (2)
  • 1995-1999
  • 1980-1984  (2)
  • 1930-1934
  • 1980  (2)
  • 1
    Electronic Resource
    Electronic Resource
    Odor of a papilionid butterfly (1980)
    Springer
    Journal of chemical ecology 6 (1980), S. 867-873 
    Details
    ISSN: 1573-1561
    Keywords: Male scent ; Atrophaneura alcinous ; Lepidoptera ; Papilionidae ; benzaldehyde ; phenylacetaldehyde ; 2-phenylpropenal ; n-heptanal ; 6-methylhept-5-en-2-one ; linalool
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology
    Notes: Abstract Benzaldehyde, phenylacetaldehyde (major component), 2-phenylpropenal,n-heptanal, 6-methylhept-5-en-2-one, and linalool were identified as compounds responsible for the male scent ofAtrophaneura alcinous alcinous. These substances were present predominantly in the wings, and the quantity of them was largest at the inner margin of the hind wing. Female wings also contained some of them in much smaller (except a few components) amounts. The relative proportion of each component exhibited manifests sexual differences.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00990470
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Hierarchical program specification and verification — a many-sorted logical approach (1980)
    Springer
    Acta informatica 14 (1980), S. 135-155 
    Details
    ISSN: 1432-0525
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Summary The notion of abstractions in programming is characterized by the distinction between specification and implementation. As far as the specification structures are concerned, hierarchical program development with abstraction mechanisms is naturally regarded as a process of theory extensions in a many-sorted logic. To support such program development, a language called t is proposed with which one can structuredly build up theories and write their program implementation. There, the implementation is regarded as another level of theory extension, and the relation between the specification and the implementation of an abstraction is characterized in terms of a homomorphism between the two theories. On this formalism, a mechanizable proof method is introduced for validation of implementations of both data and procedural abstraction. Finally, a new data type concept is introduced to generalize the so-called type-parametrization mechanism. A justification of this concept within the first order logic is provided as well as its applications to program structuring and verification.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00288541
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...