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
  • Books  (1,006)
  • Articles  (1,739,643)
  • Mathematics  (902,824)
  • Process Engineering, Biotechnology, Nutrition Technology  (753,696)
  • Sociology  (84,130)
Collection
  • Books  (1,006)
  • Journals  (3,938)
  • Articles  (1,739,643)
Source
Keywords
Publisher
Language
Years
Journal
Topic
  • 1
    Unknown
    Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Numerical Analysis
    Description / Table of Contents: Preface --- The first few steps --- Basic constructions --- Computing integrals --- Solving ordinary differential equations --- Solving partial differential equations --- Solving nonlinear algebraic equations --- References --- Index
    Pages: Online-Ressource (XVI, 216 pages) , 43 illustrations
    ISBN: 9783319324524
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32452-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Ship and Offshore Structure Design in Climate Change Perspective (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Statistics ; Climate change ; Quality control ; Reliability ; Industrial safety ; Statistics ; Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences ; Climate Change Management and Policy ; Quality Control, Reliability, Safety and Risk
    Description / Table of Contents: 1.Abstract --- 2.Introduction --- 3.Climate Change and Variability --- 4.Changes in Wind, Waves and Sea Water Level in the 20th Century --- 5.Expected Changes in Wind, Waves and Sea Water Level in the 21st Century --- 5.1. Changes in the Average Values and Extremes --- 5.2 .Uncertainties --- 6.Potential Impact on Design of Marine Structures --- 6.1. Met-ocean Design Bases --- 6.2.Risk-based Approach --- 6.3.Illustration of Application --- 7.Conclusions and Recommendations
    Pages: Online-Ressource (XII, 69 pages) , 17 illustrations, 13 illustrations in color
    ISBN: 9783642341380
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-34138-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Solving PDEs in Python : The FEniCS Tutorial I (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Software engineering ; Algorithms ; Computer mathematics ; Visualization ; Computer software ; Numerical analysis ; Mathematics ; Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: 1 Preliminaries --- 2 Fundamentals: Solving the Poisson Equation --- 3 A Gallery of Finite Element Solvers --- 4 Subdomains and Boundary Conditions --- 5 Extensions: Improving the Poisson Solver --- References
    Pages: Online-Ressource (XI, 146 pages) , 17 illustrations, 16 illustrations in color
    ISBN: 9783319524627
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-52462-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Finite Difference Computing with Exponential Decay Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer programming ; Software engineering ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Programming Techniques ; Software Engineering ; Numerical and Computational Physics, Simulation ; Mathematical and Computational Engineering
    Description / Table of Contents: Preface --- Algorithms and implementations --- Analysis --- Generalizations --- Models --- Scientific Software Engineering --- References --- Index.
    Pages: Online-Ressource (XIV, 200 pages) , 29 illustrations
    ISBN: 9783319294391
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29439-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer graphics ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Biomedicine general ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Preface --- Background: Contents and Method --- One-dimensional calcium release --- Models of open and state blockers --- Two-dimensional calcium release --- Computing theoretical drugs in the two-dimensional case --- Generalized systems --- Calcium-induced calcium release --- Numerical release for CICR --- A prototypical model of an ion channel --- Inactivated ion channels --- A simple model of the sodium channel --- Mutations affecting the mean open time --- The burst mode --- Whole sale action potentials ---
    Pages: Online-Ressource (XVI, 261 pages) , 129 illustrations, 30 illustrations in color
    ISBN: 9783319300306
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30030-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Quantization on Nilpotent Lie Groups (2016)
    Cham : Birkhäuser
    Details
    Keywords: Topological Groups ; Harmonic analysis ; Functional analysis ; Topological Groups, Lie Groups ; Abstract Harmonic Analysis ; Functional Analysis ; Mathematical Physics
    Description / Table of Contents: Preface --- Introduction --- Notation and conventions --- 1 Preliminaries on Lie groups --- 2 Quantization on compact Lie groups --- 3 Homogeneous Lie groups --- 4 Rockland operators and Sobolev spaces --- 5 Quantization on graded Lie groups --- 6 Pseudo-differential operators on the Heisenberg group --- A Miscellaneous --- B Group C* and von Neumann algebras --- Schrödinger representations and Weyl quantization --- Explicit symbolic calculus on the Heisenberg group --- List of quantizations --- Bibliography --- Index
    Pages: Online-Ressource (XIII, 557 pages) , 1 illustrations in color
    ISBN: 9783319295589
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29558-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Innovations in Derivatives Markets : Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation (2016)
    Cham : Springer
    Details
    Keywords: Finance ; Banks and banking ; Statistics ; Distribution (Probability theory ; Financial engineering ; Quantitative Finance ; Banking ; Statistics for Business/Economics/Mathematical Finance/Insurance ; Mathematical Modeling and Industrial Mathematics ; Probability Theory and Stochastic Processes ; Financial Engineering
    Description / Table of Contents: Foreword --- Preface --- Part I: Valuation Adjustments --- Part II: Fixed Income Modeling --- Part III: Financial Engineering.
    Pages: Online-Ressource (X, 449 pages) , 68 illustrations, 43 illustrations in color
    ISBN: 9783319334462
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33446-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Numerical Analysis
    Description / Table of Contents: Preface --- The first few steps --- Basic constructions --- Computing integrals --- Solving ordinary differential equations --- Solving partial differential equations --- Solving nonlinear algebraic equations --- Getting access to Python --- References --- Index
    Pages: Online-Ressource (XVI, 232 pages) , 45 illustrations
    ISBN: 9783319324289
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32428-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    META-NET Strategic Research Agenda for Multilingual Europe 2020 (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computational linguistics ; Computer Science ; Language Translation and Linguistics ; Computational Linguistics
    Description / Table of Contents: Key Messages --- Executive Summary --- 1.Introduction --- 2.Multilingual Europe: Facts, Challenges, Opportunities --- 3.Major Trends in Information and Communication Technologies --- 4.Language Technology 2012: Current State and Opportunities --- 5.Language Technology 2020: The META-NET Technology Vision --- 6.Language Technology 2020: Priority Research Themes --- 7.Towards a Shared European Programme for Multilingual Europe 2020: Next Steps --- A.References --- B.List of Key Contributors --- C.Milestones and History of the Strategic Research Agenda --- D.About META-NET --- E.Members of META-NET --- F.Abbreviations and Acroynms
    Pages: Online-Ressource (VIII, 87 pages) , 22 illustrations in color
    ISBN: 9783642363498
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-36349-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Advances in Proof-Theoretic Semantics (2016)
    Cham : Springer
    Details
    Keywords: Philosophy ; Logic ; Mathematical logic ; Philosophy ; Logic ; Mathematical Logic and Foundations ; Mathematical Logic and Formal Languages
    Description / Table of Contents: Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister --- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov --- Chapter 3. Two Ways of General Proof Theory; Kosta Došen --- Chapter 4. Generalised elimination rules; Roy Dyckhoff --- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs --- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges --- Chapter 7. The mode of presentation; Reinhard Kahle --- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz --- Chapter 9. Unification of logics by reflection; Giovanni Sambin --- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm --- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait --- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti --- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato --- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing --- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa --- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama
    Pages: Online-Ressource (VI, 283 pages)
    ISBN: 9783319226866
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-22686-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...