GLORIA

GEOMAR Library Ocean Research Information Access

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Online-Ressource
    Online-Ressource
    ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9 - 11, 1987, proceedings (1987)
    Berlin [u.a.] : Springer
    Details Verfügbarkeit
    Schlagwort(e): Computer science ; Software engineering ; Software engineering Congresses ; Compilers (Computer programs). ; Computer Science ; Programming Languages, Compilers, Interpreters ; Software Engineering ; Konferenzschrift
    Beschreibung / Inhaltsverzeichnis: 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.
    Materialart: Online-Ressource
    Seiten: Online-Ressource (XII, 404 S.)
    Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540481171
    Serie: 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
    Sprache: Englisch
    Anmerkung: Literaturangaben
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    GEOMAR KATALOG
    Link zum Bibliothekskatalog
    get availability status
  • 2
    Online-Ressource
    Online-Ressource
    ESEC '87 : 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings (1987)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details Verfügbarkeit
    Schlagwort(e): Computer science ; Software engineering ; Computer Science
    Materialart: Online-Ressource
    Seiten: Online-Ressource
    ISBN: 9783540481171
    Serie: 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
    Sprache: Englisch
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    GEOMAR KATALOG
    Link zum Bibliothekskatalog
    get availability status
  • 3
    Digitale Medien
    Digitale Medien
    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
    Quelle: Blackwell Publishing Journal Backfiles 1879-2005
    Thema: Allgemeine Naturwissenschaft
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1111/j.1749-6632.1988.tb36354.x
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 4
    Digitale Medien
    Digitale Medien
    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
    Quelle: Blackwell Publishing Journal Backfiles 1879-2005
    Thema: Medizin
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1111/j.1600-065X.1988.tb00750.x
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 5
    Digitale Medien
    Digitale Medien
    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
    Quelle: Blackwell Publishing Journal Backfiles 1879-2005
    Thema: Biologie
    Notizen: 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.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1111/j.1574-6968.1987.tb02543.x
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 6
    Digitale Medien
    Digitale Medien
    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
    Schlagwort(e): Free energy of solution ; Quasi-thermodynamic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Chemie und Pharmazie
    Beschreibung / Inhaltsverzeichnis: 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.
    Notizen: 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.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00809166
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 7
    Digitale Medien
    Digitale Medien
    Transcription pattern of the Drosophila segmentation gene hairy (1985)
    [s.l.] : Nature Publishing Group
    Nature 318 (1985), S. 439-445 
    Details
    ISSN: 1476-4687
    Quelle: Nature Archives 1869 - 2009
    Thema: Biologie , Chemie und Pharmazie , Medizin , Allgemeine Naturwissenschaft , Physik
    Notizen: [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. ...
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1038/318439a0
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 8
    Digitale Medien
    Digitale Medien
    Intramural hemorrhage simulating gastric neoplasm (1988)
    Springer
    Abdominal imaging 13 (1988), S. 102-104 
    Details
    ISSN: 1432-0509
    Schlagwort(e): Stomach, ulcer ; Pseudotumor, gastric ; Hemorrhage, intramural
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Medizin
    Notizen: 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.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01889035
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 9
    Digitale Medien
    Digitale Medien
    Intussusception secondary to squamous carcinoma of the lung (1988)
    Springer
    Abdominal imaging 13 (1988), S. 224-226 
    Details
    ISSN: 1432-0509
    Schlagwort(e): Small bowel, metastases ; Squamous carcinoma, lung ; Small bowel, obstruction ; Intussusception
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Medizin
    Notizen: 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.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01889066
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 10
    Digitale Medien
    Digitale Medien
    Physiological ecology of picoplankton in the North Sea (1989)
    Springer
    Marine biology 102 (1989), S. 275-281 
    Details
    ISSN: 1432-1793
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie
    Notizen: 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.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00428289
    Standort Signatur Einschränkungen Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...