GLORIA

GEOMAR Library Ocean Research Information Access

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
Document type
Language
  • 1
    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
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    San Diego :Elsevier Science & Technology,
    Keywords: Biochemistry. ; Electronic books.
    Type of Medium: Online Resource
    Pages: 1 online resource (287 pages)
    Edition: 1st ed.
    ISBN: 9781483270944
    Language: English
    Note: Front Cover -- Ultracentrifugation in Biochemistry -- Copyright Page -- Table of Contents -- Foreword -- Preface -- Chapter I. Introduction -- Chapter II. General Considerations -- Chapter III. Experimental Aspects -- 1. The Electrically Driven Ultracentrifuge¹ -- 2. The Magnetically Suspended Ultracentrifuge -- 3. Analytical Rotors -- 4. Temperature Measurement and the Stretching of Rotors -- 5. Analytical Cells -- 6. Optical Methods -- 7. Convection-free Sedimentation -- Chapter IV. Sedimentation Velocity -- 1. The Relationship Between Boundary Movement and the Sedimentation Velocity of Individual Μolecules -- 2. Radial Dilution -- 3. Measurement of Sedimentation Coefficients -- 4. Dependence of Sedimentation Coefficient on Concentration -- 5. Differential Sedimentation Rates -- 6. Sedimentation of a Slow Component in the Presence of a Faster Species -- 7. Analysis of Mixtures of Several Sedimenting Components -- 8. Analysis of Boundaries in Terms of Homogeneity or Polydispersity -- 9. Analysis of Systems of Reversibly Interacting Components -- 10. A Differential Method for the Direct Measurement of Small Differences in Sedimentation Coefficients -- 11. The Effect of Pressure on Sedimentation -- Chapter V. The Transient States during the Approach to Sedimentation Equilibrium -- 1. Molecular Weight Determinations by the Archibald Method -- 2. Distributions throughout the Entire Cell -- Chapter VI. Sedimentation Equilibrium -- 1. General Considerations -- 2. Two Component Systems -- 3. Charged Macromolecules -- 4. Multicomponent Systems and Sedimentation in a Density Gradient -- Chapter VII. Interpretation of Sedimentation Data -- I. The Svedberg Equation -- 2. The Effect of Solvation -- 3. Nonideal Solutions -- 4. Effect of Charge on Sedimentation -- 5. Multicomponent Systems -- 6. The Frictional Coefficient -- References -- GLOSSARY OF TERMS. , AUTHOR INDEX -- SUBJECT INDEX.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    New York, NY :Springer,
    Keywords: Exploding wire phenomena. ; Electronic books.
    Type of Medium: Online Resource
    Pages: 1 online resource (344 pages)
    Edition: 1st ed.
    ISBN: 9781489973283
    DDC: 537.5
    Language: English
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Berlin, Heidelberg : Springer Berlin Heidelberg
    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
    RVK:
    Language: English
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    London :SAGE Publications, Limited,
    Keywords: Social sciences - Statistical methods - Computer programs. ; Electronic books.
    Description / Table of Contents: Doing Statistics With SPSS is derived from the authors′ many years of experience teaching undergraduates data handling using SPSS. It assumes no prior understanding beyond that of basic mathematical operations and is therefore suitable for anyone undertaking an introductory statistics course as part of a science based undergraduate programme.
    Type of Medium: Online Resource
    Pages: 1 online resource (237 pages)
    Edition: 1st ed.
    ISBN: 9781848608559
    DDC: 530.12
    Language: English
    Note: Cover Page -- Title Page -- Copyright Page -- Contents -- 1 THE NEED FOR STATISTICS -- Stages of the Research Process -- 2 DESCRIPTIVE STATISTICS -- Introduction to Descriptive Statistics -- Frequency Distribution -- Graphical Representations -- Cumulative Frequency Curves -- Measures of Central Tendency -- Skewed Distributions -- Boxplots -- Levels of Data -- Measures of Dispersion -- Variance -- Standard Deviation -- Summary -- 3 THE NORMAL DISTRIBUTION -- Normal Distribution -- The Importance of the Normal Distribution -- Summary -- 4 INTRODUCTION TO EXPERIMENTAL RESEARCH -- Inferential Statistics -- A Brief Introduction to Experimental Research -- The Logic of Statistical Inference -- Hypothesis Testing -- Type I and Type II Errors -- Statistical versus Practical Significance -- Hypotheses Concerned with Differences and Relationships -- Samples and Populations -- Selecting the Appropriate Statistical Test -- Checking the Assumption of a Normal Distribution -- Skewness -- Kurtosis -- Checking the Assumption of Equal Variance -- Checking the Assumption of Level of Measurement -- Non-parametric Tests -- Summary -- 5 SAMPLING ERROR -- Sources of Sampling Error -- Why Is Sampling Error Important? -- Paired Samples t-test -- Calculating a Paired Samples t-test -- Interpreting the Value of t -- Testing the Null Hypothesis -- Looking up Critical Values from the t-tables -- Why Does the Critical Value of t Decrease as the Sample Size Increases? -- Why Is the Significance Level for a Two-tailed Hypothesis Half that for a One-tailed Hypothesis? -- Independent t-test -- Summary -- 6 BETWEEN-GROUPS ONE-WAY ANALYSIS OF VARIANCE -- Purpose -- Why Not Use Multiple t-tests? -- Within-groups Variance -- Between-groups Variance -- Error -- F-ratio -- Calculating the Variances -- Calculating F -- Calculating a Between-groups One-way ANOVA by Hand. , Example of How to Use SPSS to Undertake a Between-groups One-way ANOVA -- Assumptions of ANOVA -- Summary -- 7 ANALYTICAL COMPARISONS -- Purpose -- Unplanned Comparisons: Post-hoc Tests (Data Snooping) -- A Priori Tests (Planned Comparisons) -- Orthogonal and Non-orthogonal Comparisons -- Non-orthogonal Comparisons and Type I Error -- Bonferroni-type Adjustments for Inflated Type I Error on Univariate F-tests -- SPSS Contrast Command -- Summary -- 8 WITHIN-GROUPS ONE-WAY ANOVA -- Purpose -- Principles behind a Within-groups One-way ANOVA -- Additional Assumptions of a Within-subjects Design ANOVA -- Outputs from SPSS for Windows to Illustrate that a Within-subjects Design ANOVA Will Always Be more Conservative than a Between-subjects Design -- Summary -- 9 FACTORIAL ANOVA -- Purpose -- Principle behind a Factorial ANOVA -- Plotting the Main and Interaction Effects -- Instructions to Execute a Factorial ANOVA Using SPSS -- Edited Output from SPSS -- Checking the Homogeneity of Variance Assumption -- Factorial ANOVA -- Summary -- 10 MORE ADVANCED APPLICATIONS IN ANOVA -- Testing Simple Effects in Factorial ANOVA -- Doubly Multivariate Repeated Measures Design -- Test for Linear Trend in One-way ANOVA -- Summary -- 11 LINEAR REGRESSION -- Correlational Research -- Purpose -- Linear Regression -- Regression Lines -- Estimating the Slope -- Estimating the Intercept -- Predicting from the Regression Line -- Correlation Coefficients -- Interpreting Correlation Coefficients -- Reliability of r -- Coefficient of Determination -- Pearson's Product Moment Coefficient of Correlation (r) -- Summary -- 12 MULTIPLE REGRESSION -- Purpose -- Partial Correlation -- Semi-partial Correlation -- Overlapping Variance -- Type I and Type II Errors in Multiple Regression -- Terms and Concepts Displayed in Example 12.1 -- Summary -- 13 TWO FINAL EXERCISES. , APPENDIX 1 GLOSSARY -- APPENDIX 2 TEST SELECTION TABLE -- APPENDIX 3 ANSWERS TO THE EXERCISES -- APPENDIX 4 ILLUSTRATION OF HOW CHAPTER 13 MIGHT BE COMPLETED USING THE DATA ON PAGE 74 -- Index.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 6
    Publication Date: 2017-04-04
    Description: Population growth, urbanization and global climate change have increased urban and agricultural water demands, stressing aquifer systems where groundwater is a source of water supply. The availability and utility of groundwater may further be threatened by factors stressing the quality of groundwater, such as industrial and domestic wastes and agricultural intensification. Consequences include, for example, over-allocation of groundwater, groundwater overdraft, declining well yields and land subsidence; degraded groundwater quality due to mobilization of natural pollutants (arsenic), salt contamination caused by seawater intrusion; increased demand for conjunctively used surface water, and resulting conflicts with junior users; and streamflow capture and resulting damage to ecosystems. These consequences may occur incrementally and inequitably across an aquifer. Natural environmental problems can further complicate use of groundwater and increase strain on the aquifer system; for example, underground structures, geothermal heating (such as heat islands), and geochemical evolution (such as karst formation, excessive salinity, acidity, fluoride, radioactivity, hardness, or turbidity). To address this issue, a joint symposium on the Trends and Sustainability of Groundwater in Highly Stressed Aquifers was held during the 8th Scientific Assembly of the International Association of Hydrological Sciences, IAHS, and the 37th Congress of the International Association of Hydrogeology, IAH, in Hyderabad, India, September 2009. The symposium was organized by the IAHS International Commission on Groundwater (ICGW), supported IAH and by the IAHS International Commission on Water Quality (ICWQ). This symposium brought together scientists, including modellers, geochemists and hydro-geologists, with water supply managers and policy makers to discuss scientific and management ideas and approaches for improving the sustainability of highly stressed aquifers. The importance of this topic was reflected in the large number of contributions to the symposium. Selected papers from this symposium have been compiled in this volume. The editors gratefully acknowledge the assistance of the reviewers who made valuable contributions to this volume. We thank Penny Perrins and Cate Gardner from IAHS Press for their professional approach and help with the processing of the manuscripts.
    Description: Published
    Description: V
    Description: open
    Keywords: goundwater ; 03. Hydrosphere::03.02. Hydrology::03.02.03. Groundwater processes
    Repository Name: Istituto Nazionale di Geofisica e Vulcanologia (INGV)
    Type: book chapter
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2020-02-12
    Keywords: 550 - Earth sciences
    Type: info:eu-repo/semantics/article
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2020-02-12
    Keywords: 550 - Earth sciences
    Type: info:eu-repo/semantics/article
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 9
  • 10
    Electronic Resource
    Electronic Resource
    s.l. : American Chemical Society
    Biochemistry 2 (1963), S. 887-905 
    ISSN: 1520-4995
    Source: ACS Legacy Archives
    Topics: Biology , Chemistry and Pharmacology
    Type of Medium: Electronic Resource
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...