GLORIA

GEOMAR Library Ocean Research Information Access

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
  • 1
    Online Resource
    Online Resource
    ESEC '87 : 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings (1987)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details Availability
    Keywords: Computer science ; Software engineering ; Computer Science
    Type of Medium: Online Resource
    Pages: Online-Ressource
    ISBN: 9783540481171
    Series Statement: Lecture Notes in Computer Science 289
    URL: https://doi.org/10.1007/BFb0022092
    URL: https://zbmath.org/?q=an:0626.68002
    DOI: 10.1007/BFb0022092
    RVK:
    SS 4800
    Language: English
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
  • 2
    Online Resource
    Online Resource
    ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9 - 11, 1987, proceedings (1987)
    Berlin [u.a.] : Springer
    Details Availability
    Keywords: Computer science ; Software engineering ; Software engineering Congresses ; Compilers (Computer programs). ; Computer Science ; Programming Languages, Compilers, Interpreters ; Software Engineering ; Konferenzschrift
    Description / Table of Contents: SADL : Un environnement de développement de logiciel pour la specification, la conception et la programmation / SADL : A software development environment for software specification, design and programming -- PantaPM: an integrated software development environment / PantaPM: Système intégré de production de logiciel -- Development of a programming environment for Setl -- Configuration management in an open environment / Gestion de configurations dans un environnement ouvert -- Software management constraints and action triggering in the adele program database / Contraintes de Gestion des Logiciels et Declenchement D'Actions dans la Base de Programme Adele -- Enhancing configuration facilities in software development: A logic approach -- Delta technique and string-to-string correction -- ASDL — An object-oriented specification language for syntax-directed environments -- A hybrid interpreter in a software development environment / Un interprétateur hybride dans un environnement de programmation -- Software design automation in an IPSE / Automation de la Conception du Logiciel dans un Environnement Intégré -- Knowledge-based editors for directed graphs -- A user interface design tool. / Un outil pour la production d'interfaces d'utilisateur -- Interaction models and the principled design of interactive systems -- The eclipse two-tier database interface / L'Interface de Base de Données à deux Niveaux dans la projet Eclipse -- Ten15: an abstract machine for portable environments -- Using data flow specifications & interactive editing in the operating system user interface -- Formalising restructuring operators in a specification process / Definition de Transformations de Structures dans le Processus de Construction D'une Specification -- Formal specifications, prototyping and integration tests / Spécifications formelles, prototypage et tests d'intégration -- On the specification of real-time systems using logic programming -- A property-based method for selecting among multiple implementations of modules / Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules -- Softbus — An approach to Software Engineering for distributed real-time long-lifetime spacecraft data management systems / Softbus — Une facon d'aborder le genie logiciel pour les systemes informatique de satellite, temps-reel, distribues, a longue duree de vie -- Analyzing software Reuse at the project and module design levels -- Eiffel: Object-oriented design for software engineering -- The dependability approach to critical computing systems -- Automated testing techniques for real-time embedded software -- TRICS: A testing tool for C / TRICS: Un outil de test pour C -- Experience with FORTRAN VERIFIER -- Specif-X: Un outil de génie logiciel / Specif-X: A tool for CASE -- ProMod at the age of 5 / ProMod apres 5 ans -- Formal specification of graphical notations and graphical software tools / Specification Formelle des Notations Graphiques et Outils Logiciels Graphiques -- High level interpretation of execution traces of Ada tasks / Interpretation de Haut Niveau des Traces d'Execution des Taches d'Ada -- A software development environment for Ada -- An execution environment for the formal definition of Ada -- Automatic program synthesis from data structures / Synthese Automatique de Programme A Partir des Structures de Donnees -- A set of tools supporting the software design based on SDL / Une connexion des outils pour le développement du logiciel avec SDL -- Translation between pragmatic software development methods / Traduction parmi des méthodes pragmatiques de développement du logiciel -- The impact of exception handling on labour division, safety, and error diagnostics in an industrial software engineering environment -- Requirements analysis for a database administration support environment -- Fortune — A documentation support system for Software Engineers / Fortune — Un Système de Documentation pour Ingénieurs Informaticiens -- Strengths and weaknesses of Program Verification Systems / Forces et faiblesses des systèmes de vérification de programmes.
    Type of Medium: Online Resource
    Pages: Online-Ressource (XII, 404 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540481171
    Series Statement: Lecture notes in computer science 289
    URL: http://www.springerlink.com/content/r40286321288
    URL: http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-18712-7
    URL: http://dx.doi.org/10.1007/BFb0022092
    URL: https://doi.org/10.1007/BFb0022092
    URL: https://zbmath.org/?q=an:0626.68002
    URL: https://external.dandelon.com/download/attachments/dandelon/ids/DE0040433BEA59F691DADC12579CF003F301D.pdf
    DOI: 10.1007/BFb0022092
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
  • 3
    Electronic Resource
    Electronic Resource
    A T Cell- and Natural Killer Cell-Specific, Trypsin-like Serine Protease (1988)
    Oxford, UK : Blackwell Publishing Ltd
    Annals of the New York Academy of Sciences 532 (1988), S. 0 
    Details
    ISSN: 1749-6632
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Natural Sciences in General
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1111/j.1749-6632.1988.tb36354.x
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Activation of CTL-Specific Genes during Cell-Mediated Cytolysis in vivo: Expression of the HF Gene Analyzed by in situ Hybridization (1988)
    Oxford, UK : Blackwell Publishing Ltd
    Immunological reviews 103 (1988), S. 0 
    Details
    ISSN: 1600-065X
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Medicine
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1111/j.1600-065X.1988.tb00750.x
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Construction of Streptococcus mutans glucosyltransferase mutants utilizing a cloned gene fragment (1987)
    Oxford, UK : Blackwell Publishing Ltd
    FEMS microbiology letters 48 (1987), S. 0 
    Details
    ISSN: 1574-6968
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Biology
    Notes: Abstract An internal 1.6-kb BAMHI DNA fragment of the previously cloned Streptococcus mutans GS-5 gtfB gene was utilized to construct plasmids capable of insertion in toto into the GS-5 chromosome. The resultant insertions primarily yielded mutants defective in glucosyltransferase-I activity. These mutants were also defective in sucrose-dependent colonization of smooth surfaces.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1111/j.1574-6968.1987.tb02543.x
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    Influence of solvent polarity upon salt solubilities, III: Solubilities of KCl in water/tetrahydrofuran at 25°C (1986)
    Springer
    Monatshefte für Chemie 117 (1986), S. 1-6 
    Details
    ISSN: 1434-4475
    Keywords: Free energy of solution ; Quasi-thermodynamic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology
    Description / Table of Contents: Zusammenfassung Die Löslichkeit von KCl in wäßrigem Tetrahydrofuran bei einer Temperatur von 25°C wird zusammen mit einer quasi-thermodynamischen Behandlung der experimentellen Daten diskutiert.
    Notes: Abstract The solubilities of KCl in aqueous tetrahydrofuran at a temperature of 25°C are reported together with a quasi-thermodynamic treatment of the experimental results.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00809166
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    Electronic Resource
    Electronic Resource
    Transcription pattern of the Drosophila segmentation gene hairy (1985)
    [s.l.] : Nature Publishing Group
    Nature 318 (1985), S. 439-445 
    Details
    ISSN: 1476-4687
    Source: Nature Archives 1869 - 2009
    Topics: Biology , Chemistry and Pharmacology , Medicine , Natural Sciences in General , Physics
    Notes: [Auszug] Segmentation of the Drosophila embryo requires expression of the pair-rule genes, mutations of which cause reiterated deletions in alternate segments along the antero-posterior body axis. We find that transcripts of one such gene, hairy, accumulate in eight distinct regions of the early embryo. ...
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1038/318439a0
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 8
    Electronic Resource
    Electronic Resource
    Intramural hemorrhage simulating gastric neoplasm (1988)
    Springer
    Abdominal imaging 13 (1988), S. 102-104 
    Details
    ISSN: 1432-0509
    Keywords: Stomach, ulcer ; Pseudotumor, gastric ; Hemorrhage, intramural
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine
    Notes: Abstract We report a case of benign gastric ulcer with secondary extensive intramural hemorrhage causing a radiographic appearance consistent with a large ulcerated gastric neoplasm. This is the second such case reported and the first studied with sonography and computed tomographic scan. A brief review of the literature on intramural gastric hematoma is presented.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01889035
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 9
    Electronic Resource
    Electronic Resource
    Intussusception secondary to squamous carcinoma of the lung (1988)
    Springer
    Abdominal imaging 13 (1988), S. 224-226 
    Details
    ISSN: 1432-0509
    Keywords: Small bowel, metastases ; Squamous carcinoma, lung ; Small bowel, obstruction ; Intussusception
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine
    Notes: Abstract This report describes unusual radiologic and pathologic findings in a patient with multiple small bowel metastases from squamous cell carcinoma of the lung. The diagnostic work-up revealed a large, pleural-based, right lung mass, a large left adrenal mass, two ulcerated small bowel masses, and a unique giant peduncular mass that caused intermittent intussusception. A pertinent review of the literature is presented.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01889066
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 10
    Electronic Resource
    Electronic Resource
    Physiological ecology of picoplankton in the North Sea (1989)
    Springer
    Marine biology 102 (1989), S. 275-281 
    Details
    ISSN: 1432-1793
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract The distribution of cyanobacteria in the surface waters of the North Sea was measured during July 1987. Numbers of cyanobacteria ranged from 2.5x106 to 1.7x108 cells 1-1. In the majority of stations, cyanobacterial numbers were highest in the near-surface water and a subsurface maximum was found at only one station. The distribution of 14C among the end-products of photosynthesis was determined for picoplankton (〈1 μm) and other phytoplankton 〉1 μm throughout the North Sea. The majority of label was found in the protein fraction of both picoplankton and 〉1 μm phytoplankton; incorporation into lipids and polysaccharides plus nucleic acids was much lower. We interpret the large incorporation into protein to be a consequence of nutrient limitation of these natural assemblages. Photosynthetic parameters of the two size fractions were also determined. Assimilation number (P m B ) and initial slope αβ were greater for the picoplankton fraction than for phytoplankton 〉1 μm but there was no evidence of significant photoinhibition of either fraction at irradiances up to 1 000 μE m-2 s-1.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00428289
    Location Call Number Limitation 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...