Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD PROGRAMMING LANGUAGES ELECTRONIC COMPUTERS *END*INIT* use /tmp/qspiwww.webspi1/2477.9 QRY 131.225.70.96 . find keyword "programming languages electronic computers" ( in books using www Cover
Image
Call number:9781449323615:ONLINE Show nearby items on shelf
Title:Python for Data Analysis : Data Wrangling with Pandas, NumPy, and IPython
Author(s): Wes McKinney
Date:2012
Publisher:O'Reilly Media
Size:469 p
Contents:Preliminaries -- Introductory examples -- IPython : an interactive computing development environment -- NumPy basics : arrays and vectorized computation -- Getting started with pandas -- Data loading, storage, and file formats -- Data wrangling : clean, transform, merge, reshape -- Plotting and visualization -- Data aggregation and group operations -- Time series -- Financial and economic data applications -- Advanced NumPy
ISBN:9781449319793
Series:eBooks
Keywords: Data mining , Programming languages (Electronic computers) , Python (Computer program language)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319283166:ONLINE Show nearby items on shelf
Title:An Introduction to Statistics with Python With Applications in the Life Sciences
Author(s): Thomas Haslwanter
Date:2016
Size:1 online resource (85 p.)
Note:10.1007/978-3-319-28316-6
Contents:Part I: Python and Statistics -- Why Statistics? -- Python -- Data Input -- Display of Statistical Data -- Part II: Distributions and Hypothesis Tests -- Background -- Distributions of One Variable -- Hypothesis Tests -- Tests of Means of Numerical Data -- Tests on Categorical Data -- Analysis of Survival Times -- Part III: Statistical Modelling -- Linear Regression Models -- Multivariate Data Analysis -- Tests on Discrete Data -- Bayesian Statistics -- Solutions -- Glossary -- Index
ISBN:9783319283166
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Statistics , Programming languages (Electronic computers) , Biostatistics , Computer mathematics , Statistics , Statistics and Computing/Statistics Programs , Statistics for Life Sciences, Medicine, Health Sciences , Biostatistics , Computational Science and Engineering , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781461302155:ONLINE Show nearby items on shelf
Title:Modeling Languages in Mathematical Optimization
Author(s):
Date:2004
Size:1 online resource (408 p.)
Note:10.1007/978-1-4613-0215-5
Contents:I Theoretical and Practical Concepts of Modeling Languages -- 1 Mathematical Optimization and the Role of Modeling Languages -- 2 Models and the History of Modeling -- 3 Mathematical Model Building -- 4 Theoretical Concepts and Design
of Modeling Languages -- 5 The Importance of Modeling Languages for Solving Real-World Problems -- II The Modeling Languages in Detail -- 6 The Modeling Language AIMMS -- 7 Design Principles and New Developments in the AMPL Modeling
Language -- 8 General Algebraic Modeling System (GAMS) -- 9 The LINGO Algebraic Modeling Language -- 10 The LPL Modeling Language -- 11 The MINOPT Modeling Language -- 12 Mosel: A Modular Environment for Modeling and Solving
Optimization Problems -- 13 The MPL Modeling System -- 14 The Optimization Systems MPSX and OSL -- 15 The NOP-2 Modeling Language -- 16 The OMNI Modeling System -- 17 The OPL Studio Modeling System -- 18 PCOMP: A Modeling Language for
Nonlinear Programs with Automatic Differentiation -- 19 The Tomlab Optimization Environment -- III The Future of Modeling Systems -- 20 The Future of Modeling Languages and Modeling Systems -- References
ISBN:9781461302155
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 88
Keywords: Mathematics , Programming languages (Electronic computers) , Numerical analysis , Computer science , Mathematical models , Mathematical optimization , Mathematics , Mathematical Modeling and Industrial Mathematics , Optimization , Symbolic and Algebraic Manipulation , Numeric Computing , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781441985033:ONLINE Show nearby items on shelf
Title:The Mathematica GuideBook for Programming
Author(s): Michael Trott
Date:2004
Size:1 online resource (1028 p.)
Note:10.1007/978-1-4419-8503-3
ISBN:9781441985033
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computers , Application software , Algorithms , Mathematics , Mathematics, general , Theory of Computation , Computer Applications , Programming Languages, Compilers, Interpreters , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402018985:ONLINE Show nearby items on shelf
Title:Galois Connections and Applications
Author(s):
Date:2004
Size:1 online resource (502 p.)
Note:10.1007/978-1-4020-1898-5
Contents:Adjunctions and Galois Connections: Origins, History and Development -- Categorical Galois Theory: Revision and Some Recent Developments -- The Polarity between Approximation and Distribution -- Galois Connections and Complete
Sublattices -- Galois Connections for Operations and Relations -- Galois Connections and Polynomial Completeness -- Q-Independence and Weak Automorphisms -- A Survey of Clones Closed Under Conjugation -- Galois Connections for Partial
Algebras -- Complexity of Terms and the Galois Connection Id-Mod -- Iterated Galois Connections in Arithmetic and Linguistics -- Deductive Systems and Galois Connections -- A Galois Correspondence for Digital Topology -- Galois
Connections in Category Theory, Topology and Logic -- Dyadic Mathematics — Abstractions from Logical Thought
ISBN:9781402018985
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 565
Keywords: Mathematics , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Algebra , Mathematics , Algebra , Mathematics, general , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Data Structures
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9789401700917:ONLINE Show nearby items on shelf
Title:The Semantics and Proof Theory of the Logic of Bunched Implications
Author(s): David J Pym
Date:2002
Size:1 online resource (290 p.)
Note:10.1007/978-94-017-0091-7
Contents:I Propositional BI -- 1. Introduction to Part I -- 2. Natural Deduction for Propositional BI -- 3. Algebraic, Topological, Categorical -- 4. Kripke Semantics -- 5. Topological Kripke Semantics -- 6. Propositional BI as a Sequent
Calculus -- 7. Towards Classical Propositional BI -- 8. Bunched Logical Relations -- 9. The Sharing Interpretation, I -- II Predicate BI -- 10. Introduction to Part II -- 11. The Syntax of Predicate BI -- 12. Natural Deduction &
Sequent Calculus -- 13. Kripke Semantics for Predicate BI -- 14. Topological Kripke Semantics for Predicate BI -- 15. Resource Semantics, Type Theory & Fibred Categories -- 16. The Sharing Interpretation, II
ISBN:9789401700917
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 26
Keywords: Mathematics , Logic , Programming languages (Electronic computers) , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780387215570:ONLINE Show nearby items on shelf
Title:Essential Maple 7 An Introduction for Scientific Programmers
Author(s): Robert M Corless
Date:2002
Size:1 online resource (282 p.)
Note:10.1007/b97270
Contents:Basics -- Useful One-Word Commands -- Programming in Maple
ISBN:9780387215570
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Information technology , Business , Programming languages (Electronic computers) , Computer software , Physics , Computational intelligence , Mathematics , Mathematical Software , Programming Languages, Compilers, Interpreters , Mathematical Methods in Physics , Computational Intelligence , Numerical and Computational Physics , IT in Business
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9789401597616:ONLINE Show nearby items on shelf
Title:New Essays in Free Logic In Honour of Karel Lambert
Author(s):
Date:2001
Size:1 online resource (255 p.)
Note:10.1007/978-94-015-9761-6
Contents:Free Logic: A Fifty-Year Past and an Open Future -- I / Names and Definite Descriptions -- Free Logic and Definite Descriptions -- Calculi of Names: Free and Modal -- II / Modalities -- Free Logic and Quantification in Syntactic Modal
Contexts -- Substitution, Quantifiers and Identity in Modal Logic -- Free Epistemic Logic -- III / Semantics and Programming -- Supervaluational Free Logic and the Logic of Information Growth -- “No Input, No Output” Logic -- Free
Logic in Program Specification and Verification -- IV / History -- Existence and Reference in Medieval Logic -- Can Meinongian Logic Be Free? -- V / Comments -- Comments -- Index of Persons
ISBN:9789401597616
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 23
Keywords: Philosophy , Logic , Programming languages (Electronic computers) , Semantics , Philosophy , Logic , Semantics , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783709162828:ONLINE Show nearby items on shelf
Title:Perspectives on Enclosure Methods
Author(s):
Date:2001
Size:1 online resource (345 p.)
Note:10.1007/978-3-7091-6282-8
Contents:Proving Conjectures by Use of Interval Arithmetic -- 1 Computer Assisted Proofs in Analysis -- 2 The Kepler Conjecture -- 3 The Double Bubble Conjecture -- 4 The Dirac-Schwinger Conjecture -- 5 ‘Chaos conjectures’ -- References --
Advanced Arithmetic for the Digital Computer Interval Arithmetic Revisited -- 1 Introduction and Historical Remarks -- 2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3 Interval Arithmetic as Executable Set
Operations -- 4 Enclosing the Range of Function Values -- 5 The Interval Newton Method -- 6 Extended Interval Arithmetic -- 7 The Extended Interval Newton Method -- 8 Differentiation Arithmetic, Enclosures of Derivatives -- 9 Interval
Arithmetic on the Computer -- 10 Hardware Support for Interval Arithmetic -- References -- Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers -- 1 Introduction -- 2 Iterative Solvers and Finite Precision -- 3
Krylov Subspace Methods -- 4 Improved Arithmetic -- 5 Verified Error Bounds -- 6 Computational Results -- References -- Elements of Scientific Computing -- 1 Hardware Requirements -- 2 Software Requirements -- 3 Modelling Requirements
-- 4 Conclusion -- References -- Biography -- The Mainstreaming of Interval Arithmetic -- 1 Introduction -- 2 Moore’s Law and Precision -- 3 Interval Physics -- 4 Summary -- References -- Bounds for Eigenvalues with the Use of Finite
Elements -- 1 Introduction -- 2 Setting for the Problem -- 3 Calculation of Bounds -- 4 Verified Computation -- 5 Application: the Membrane Problem -- 6 Numerical Examples -- References -- Algorithmic Differencing -- 1 Algorithmic
Representation of Functions -- 2 Transformation of Algorithms -- 3 Finite Precision Calculations -- 4 First Order Difference Operators -- 5 Differences of Inverse Functions -- 6 Higher Order Divided Differences -- References -- A
Comparison of Techniques for Evaluating Centered Forms -- 1 Introduction -- 2 Methods for Computing Slope Vectors -- 3 A Numerical Example -- 4 Summary and Recommendations -- References -- On the Limit of the Total Step Method in
Interval Analysis -- 1 Introduction -- 2 Notations -- 3 Results -- References -- How Fast can Moore’ Interval Integration Method Really be? -- 1 Introduction -- 2 Moore’s Algorithm -- 3 Estimation of the Integration Error -- 4
Conclusions -- References -- Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments -- 1 Introduction -- 2 Error Propagation Control and Reliable Numerical Algorithms in
MOBILE -- 3 Verified Calculation of the Solution of Discrete-Time Algebraic Riccati Equation -- 4 Accurate Distance Calculation Algorithms -- 5 Accurate Robot Reliability Estimation -- 6 Further Work -- 7 Acknowledgement -- References
-- On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds -- 1 Introduction or What is the Wrapping Effect? -- 2 Where does the Wrapping Effect appear? -- 3 How can we Reduce the Wrapping Effect? -- 4 Conclusion --
References -- A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations -- 1 Introduction -- 2 Preliminaries -- 3 How the Wrapping Effect Arises in Interval Methods for
IVPs for ODEs: A Traditional Explanation -- 4 The Wrapping Effect as a Source of Instability in Interval Methods for IVPs for ODEs -- 5 The Parallelepiped and Lohner’s QR-Factorization Methods -- 6 Why the Parallelepiped Method Often
Fails -- 7 When Does the Parallelepiped Method Work Well -- 8 How the QR Method Improves Stability -- 9 Conclusions -- A Lemmas -- References -- A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular
Elements -- 1 Introduction -- 2 Strategy -- 3 The Method to Calculate a Rigorous Solution -- 4 Checking the Condition -- 5 Some Computational Techniques for Efficient Enclosure Methods -- 6 Numerical Results -- References -- Nonsmooth
Global Optimization -- 1 Introduction -- 2 Preliminaries -- 3 A Pruning Technique for Global Optimizationx -- 4 Multidimensional Pruning Techniques for Global Optimization -- References
ISBN:9783709162828
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer simulation , Mathematical analysis , Analysis (Mathematics) , Algorithms , Numerical analysis , Calculus of variations , Mathematics , Numerical Analysis , Simulation and Modeling , Analysis , Programming Languages, Compilers, Interpreters , Calculus of Variations and Optimal Control Optimization , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401717137:ONLINE Show nearby items on shelf
Title:Goal-Directed Proof Theory
Author(s): Dov M Gabbay
Date:2000
Size:1 online resource (268 p.)
Note:10.1007/978-94-017-1713-7
Contents:1 Introduction -- 2 Intuitionistic and Classical Logics -- 3 Intermediate Logics -- 4 Modal Logics of Strict Implication -- 5 Substructural Logics -- 6 Conclusions and Further Work
ISBN:9789401717137
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 21
Keywords: Philosophy , Logic , Programming languages (Electronic computers) , Philosophy , Logic , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401596084:ONLINE Show nearby items on shelf
Title:Communication-Based Systems Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
Author(s):
Date:2000
Size:1 online resource (196 p.)
Note:10.1007/978-94-015-9608-4
Contents:Performance Evaluation of Communication Based Systems -- GSPN Models of Dual-Band GSM Networks -- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets -- Safe System-Level Diagnosis for Selected Fault
Models -- Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective -- Foundations and Applications of Communication Based Systems -- Run Time Modification of Algebraic High Level Nets and Algebraic
Higher Order Nets using Folding and Unfolding Construction -- Compositional Specification of Distributed Systems by Distributed Graph Transformation -- Specifying, Analyzing and Programming Communication Systems in Maude -- Towards
Dynamic Shaping -- A Personal, Historical Perspective of Parallel Programming for High Performance -- Distributed Environments for Communication Based Systems -- Automatic Distribution in Pangaea -- Multiphase Consensus Finding in
Collaborative Problem Solving -- Efficient and Secure Information Sharing in Distributed, Collaborative Environments -- A Constraint Programming Framework for AI Planning -- Atomic Broadcast in a Byzantine Model
ISBN:9789401596084
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Software engineering , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9780387227474:ONLINE Show nearby items on shelf
Title:Mixed-Effects Models in S and S-PLUS
Author(s): José C Pinheiro
Date:2000
Size:1 online resource (528 p.)
Note:10.1007/b98882
Contents:Linear Mixed-Effects Models -- Linear Mixed-Effects Models: Basic Concepts and Examples -- Theory and Computational Methods for Linear Mixed-Effects Models -- Describing the Structure of Grouped Data -- Fitting Linear Mixed-Effects
Models -- Extending the Basic Linear Mixed-Effects Model -- Nonlinear Mixed-Effects Models -- Nonlinear Mixed-effects Models: Basic Concepts and Motivating Examples -- Theory and Computational Methods for Nonlinear Mixed-Effects Models
-- Fitting Nonlinear Mixed-Effects Models
ISBN:9780387227474
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Programming languages (Electronic computers) , Database management , Statistics , Computer Science , Database Management , Programming Languages, Compilers, Interpreters , Statistics and Computing/Statistics Programs
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401712477:ONLINE Show nearby items on shelf
Title:Developments in Reliable Computing
Author(s):
Date:1999
Size:1 online resource (404 p.)
Note:10.1007/978-94-017-1247-7
Contents:Rigorous Global Search: Industrial Applications -- Influences of Rounding Errors in Solving Large Sparse Linear Systems -- A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions -- Towards an Optimal Control of the
Wrapping Effect -- On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic -- A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature -- INTLAB —
INTerval LABoratory -- Verified Calculation of the Solution of Algebraic Riccati Equation -- Expression Concepts in Scientific Computing -- Performance Evaluation Technique STU and libavi Library -- Single-Number Interval I/O --
Interval Analysis for Embedded Systems -- Prediction by Extrapolation for Interval Tightening Methods -- The Contribution of T. Sunaga to Interval Analysis and Reliable Computing -- Surface-to-Surface Intersection with Complete and
Guaranteed Results -- An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ?2 -- Comparing Partial Consistencies -- Verified Computation of Fast Decreasing Polynomials -- An Accurate Distance-Calculation
Algorithm for Convex Polyhedra -- Verified Error Bounds for Linear Systems through the Lanczos Process -- A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes -- A Few
Results on Table-Based Methods -- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation -- The Interval-Enhanced GNU Fortran Compiler --
Outer Estimation of Generalized Solution Sets to Interval Linear Systems -- A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic -- A Numerical Verification Method of Solutions for the Navier-Stokes
Equations -- Convex Sets of Full Rank Matrices -- Multiaspect Interval Types -- MATLAB-Based Analysis of Roundoff Noise -- SCAN-98 Collected Bibliography
ISBN:9789401712477
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Programming languages (Electronic computers) , Computers , Numerical analysis , Computer mathematics , Number theory , Mathematics , Number Theory , Theory of Computation , Numeric Computing , Processor Architectures , Computational Mathematics and Numerical Analysis , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401142670:ONLINE Show nearby items on shelf
Title:Software Prototyping in Data and Knowledge Engineering
Author(s): Giovanni Guida
Date:1999
Size:1 online resource (408 p.)
Note:10.1007/978-94-011-4267-0
Contents:1 The Prototyping Approach to Software Development -- 1.1 Linear Software Development -- 1.2 Software Prototyping -- 1.3 Iterative Software Development -- 1.4 The Evolutionary Perspective of Software Development -- 1.5 User-Centered
Software Design and Development -- 1.6 Software Prototyping Approaches -- 1.7 Classification of Software Prototypes -- 1.8 Software Prototyping and Prototypes. -- 1.9 Goals of Software Prototyping. -- 1.10 Prototyping and Software
Evaluation. -- 1.11 Involvement and Role of Users in Software Prototyping -- 1.12 Misconceptions about Software Prototyping -- 1.13 Rules of Software Prototyping -- 1.14 Requirements for Software Prototyping Environments -- 1.15
Object-Oriented Programming and Prototyping -- 1.16 Object-Oriented CASE Tools for Prototyping -- 2 Overview of Database Technology -- 2.1 Extended Relational Databases -- 2.2 Deductive Databases -- 2.3 Object Databases -- 2.4 Active
Databases -- 2.5 Temporal Databases -- 2.6 Spatial Databases -- 2.7 Multimedia Databases. -- 2.8 Data Warehousing. -- 2.9 Data Mining -- 3 Overview of Knowledge-Based Technology -- 3.1 Knowledge-Based Systems. -- 3.2 The Challenge of
Knowledge-Based Systems. -- 3.3 Knowledge-Based Technology: Techniques, Tools and Methodologies -- 3.4 KBS Techniques -- 3.5 KBS Tools -- 3.6 KBS Methodologies -- 3.7 Beyond Knowledge-Based Technology: A knowledge Management
Perspective -- 4 Data and Knowledge Intensive Systems -- 4.1 Computer Problem-Solving -- 5 The Prototyping Hierarchy -- 5.1 Approach and Architecture -- 5.1.1 Star Architecture -- 5.2 Reference Application. -- 6 The Relational Layer --
6.1 Relational Paradigm -- 6.2 Relational Prototyping Language -- 6.3 Prototyping by Relational Techniques -- 6.4 Prototyping the Relational Layer -- 7 The Extended Relational Layer -- 7.1 Extended Relational Paradigm -- 7.2 Extended
Relational Prototyping Language. -- 7.3 Prototyping by Extended Relational Techniques -- 7.4 Prototyping the Extended Relational Layer -- 8 The Deductive Layer -- 8.1 Deductive Paradigm -- 8.2 Deductive Prototyping Language -- 8.3
Prototyping by Deductive Techniques -- 8.4 Prototyping the Deductive Layer -- 9 The Object Layer -- 9.1 Object Paradigm -- 9.2 Object Prototyping Language. -- 9.3 Prototyping by Object Techniques -- 9.4 Prototyping the Object Layer. --
10 The Active Layer -- 10.1 Active Paradigm -- 10.2 Active Prototyping Language -- 10.3 Prototyping by Active Techniques -- 10.4 Prototyping the Active Layer -- 11 Prototyping Techniques Integration -- 11.1 Integrated Paradigm -- 11.2
Integrated Prototyping Language -- 12 Mapping Prototypes to Relational Databases -- 12.1 Transforming Passive Rules into Active Rules -- 12.2 Mapping Schemas. -- 12.3 Mapping Declarative Expressions -- 12.4 Mapping Procedural Code --
12.5 Mapping Nonrecursive Passive Rules -- 12.6 Mapping Active Rules -- References
ISBN:9789401142670
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 497
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Computer Science , Data Structures, Cryptology and Information Theory , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9783642979538:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and MATLAB®
Author(s): Walter Gander
Date:1997
Edition:Third, Expanded and Revised Edition 1997
Size:1 online resource (412 p.)
Note:10.1007/978-3-642-97953-8
Contents:1. The Tractrix and Similar Curves -- 2. Trajectory of a Spinning Tennis Ball -- 3. The Illumination Problem -- 4. Orbits in the Planar Three-Body Problem -- 5. The Internal Field in Semiconductors -- 6. Some Least Squares Problems --
7. The Generalized Billiard Problem -- 8. Mirror Curves -- 9. Smoothing Filters -- 10. The Radar Problem -- 11. Conformal Mapping of a Circle -- 12. The Spinning Top -- 13. The Calibration Problem -- 14. Heat Flow Problems -- 15.
Modeling Penetration Phenomena -- 16. Heat Capacity of System of Bose Particles -- 17. Free Metal Compression -- 18. Gauss Quadrature -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas -- 20. Transient Response of a Two-Phase
Half-Wave Rectifier -- 21. Circuits in Power Electronics -- 22. Newton's and Kepler's Laws -- 23. Least Squares Fit of Point Clouds -- 24. Modeling Social Processes -- 25. Contour Plots of Analytic Functions -- 26. Non-Linear Least
Squares: Finding the Most Accurate Location of an Aircraft -- 27. Computing Plane Sundials
ISBN:9783642979538
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer software , Numerical analysis , Calculus of variations , Physics , Applied mathematics , Engineering mathematics , Mathematics , Numerical Analysis , Mathematical Software , Appl.Mathematics/Computational Methods of Engineering , Theoretical, Mathematical and Computational Physics , Calculus of Variations and Optimal Control Optimization , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9789400708587:ONLINE Show nearby items on shelf
Title:Advanced Relational Programming
Author(s): Filippo Cacace
Date:1996
Size:1 online resource (394 p.)
Note:10.1007/978-94-007-0858-7
Contents:1. Introduction -- 1.1. Brief History of Database Technology -- 1.2. The Relational Approach -- 1.3. Data-Intensive Application Domains -- 1.4. Requirements of New Data-Intensive Applications -- 2. Overview Of Recent Evolution In
Database Technology -- 2.1. Semantic Data Models -- 2.2. Functional Data Models -- 2.3. Temporal Databases -- 2.4. Extended Relational Databases -- 2.5. Deductive Databases -- 2.6. Object-Oriented Databases -- 2.7. Active Databases --
3. Theory Of The Nested Relational Model -- 3.1. The Relational Data Model -- 3.2. Relational Algebra -- 3.3. Relational Calculus -- 3.4. Nested Relational Data Model -- 3.5. Extended Relational Algebra -- 3.6. Equivalence of Extended
Relational Algebra Expressions -- 3.7. Extended Relational Calculus -- 3.8. Expressive Power: Comparing Algebra and Calculus -- 3.9. Taxonomy of Nested Relations -- 3.10. Further Extensions to the Nested Relational Model -- 4. Algres,
An Extended Relational Database Programming Language -- 4.1. A Tour of Aigres -- 4.2. Rationale of Aigres Design -- 5. Programming In Algres -- 5.1. Constants, Identifiers, and Objects -- 5.2. Groups and Persistency -- 5.3. Operations
-- 5.4. The Quantification Mechanism -- 5.5. Input-Output -- 5.6. Control structures and blocks -- 5.7. Subprograms -- 5.8. Links -- 5.9. Built in functions -- 5.10. Program Structure -- 6. Alice, The Application Program Interface Of
Algres -- 6.1. A Tour of Alice -- 6.2. Guidelines for Writing Alice Programs -- 6.3. Programming in Alice -- 7. Algraph, The Graphical Interface Of Algres -- 7.1. Graphical Display -- 7.2. Graphical Read -- 7.3. Motif Interface for
Input-Output -- 7.4. Schema Editor -- Appendix A: Syntax Of Algres -- Appendix B: Syntax Of Alice Operators -- Appendix C: Algres And Alice Keywords -- Appendix D: Installing And Using The Algres System -- Getting a Free Copy of the
Aigres System -- Installing Aigres -- Using Aigres Commands -- Compiling and Executing Aigres Programs -- Compiling and Executing Alice Applications -- Editing Aigres Objects
ISBN:9789400708587
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 371
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Computer science , Text processing (Computer science) , Computer Science , Document Preparation and Text Processing , Programming Languages, Compilers, Interpreters , Data Structures, Cryptology and Information Theory , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461240525:ONLINE Show nearby items on shelf
Title:Introduction to Discrete Mathematics with ISETL
Author(s): William E Fenton
Date:1996
Size:1 online resource (196 p.)
Note:10.1007/978-1-4612-4052-5
Contents:1 Numbers and Programs -- 1.1 The Basics of ISETL -- 1.2 Divisibility -- Overview of Chapter 1 -- 2 Propositional Calculus -- 2.1 Boolean Expressions -- 2.2 Implication and Proof -- Overview of Chapter 2 -- 3 Sets and Tuples -- 3.1
Defining Sets and Tuples -- 3.2 Operations on Sets -- 3.3 Counting Methods -- Overview of Chapter 3 -- 4 Predicate Calculus -- 4.1 Quantified Expressions -- 4.2 Multi-Level Quantification -- Overview of Chapter 4 -- 5 Relations and
Graphs -- 5.1 Relations and their Graphs -- 5.2 Equivalence Relations and Graph Theory -- Overview of Chapter 5 -- 6 Functions -- 6.1 Representing Functions -- 6.2 Properties of Functions -- Overview of Chapter 6 -- 7 Mathematical
Induction -- 7.1 Understanding the Method -- 7.2 Using Mathematical Induction -- Overview of Chapter 7 -- 8 Partial Orders -- Activities -- Discussion -- Exercises -- Overview of Chapter 8 -- 9 Infinite Sets -- Discussion -- Exercises
-- Appendix 1: Getting Started With Isetl -- A. Working in the Execution Window -- B. Working with Files -- C. Using Directives -- D. Graphing in ISETL -- Appendix 2: Some Special Code -- Index of Frequently Used Sets and Functions
ISBN:9781461240525
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Combinatorics , Mathematics , Combinatorics , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461223221:ONLINE Show nearby items on shelf
Title:An Introduction to Programming with Mathematica®
Author(s): Richard J Gaylord
Date:1996
Edition:Second Edition
Size:1 online resource (452 p.)
Note:10.1007/978-1-4612-2322-1
Contents:1 Preliminaries -- 1.1 Introduction -- 1.2 Using Mathematica -- 1.3 The Mathematica Language -- 1.4 The Mathematica Interface -- 2 A Brief Overview of Mathematica -- 2.1 Numerical and Symbolic Computations -- 2.2 Functions -- 2.3
Graphics -- 2.4 Representation of Data -- 2.5 Programming -- 3 List Manipulation -- 3.1 Introduction -- 3.2 Creating and Measuring Lists -- 3.3 Working With the Elements of a List -- 3.4 Working with Several Lists -- 3.5 Higher-Order
Functions -- 3.6 Applying Functions to Lists Repeatedly -- 3.7 Strings and Characters -- 4 Functions -- 4.1 Introduction -- 4.2 Programs as Functions -- 4.3 User-Defined Functions -- 4.4 Auxiliary Functions -- 4.5 Anonymous Functions
-- 4.6 One-Liners -- 5 Evaluation of Expressions -- 5.1 Introduction -- 5.2 Creating Rewrite Rules -- 5.3 Expressions -- 5.4 Patterns -- 5.5 Term Rewriting -- 5.6 Transformation Rules -- 6 Conditional Function Definitions -- 6.1
Introduction -- 6.2 Conditional Functions -- 6.3 Example—Classifying Points -- 7 Recursion -- 7.1 Fibonacci Numbers -- 7.2 List Functions -- 7.3 Thinking Recursively -- 7.4 Recursion and Symbolic Computations -- 7.5 Gaussian
Elimination -- 7.6 Trees -- 7.7 Dynamic Programming -- 7.8 Higher-Order Functions and Recursion -- 7.9 Debugging -- 8 Iteration -- 8.1 Newtons Method -- 8.2 Vectors and Matrices -- 8.3 Passing Arrays to Functions -- 8.4 Gaussian
Elimination Revisited -- 9 Numerics -- 9.1 Types of Numbers -- 9.2 Random Numbers -- 9.3 Precision and Accuracy -- 9.4 Numerical Computations -- 10 Graphics Programming -- 10.1 Graphics Primitives -- 10.2 Graphics Directives and
Options -- 10.3 Built-in Graphics Functions -- 10.4 Graphics Programming -- 10.5 Sound -- 11 Applications -- 11.1 The Random Walk -- 11.2 The Game of Life -- 11.3 Implementing Languages -- 12 Contexts and Packages -- 12.1 Introduction
-- 12.2 Using Packages -- 12.3 Contexts -- 12.4 Packages -- 12.5 Avoiding Name Collisions -- 12.6 The BaseConvert Package -- 12.7 The RandomWalks Package -- References
ISBN:9781461223221
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer software , Mathematics , Mathematical Software , Programming Techniques , Programming Languages, Compilers, Interpreters , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9789401101875:ONLINE Show nearby items on shelf
Title:Quality of Communication-Based Systems Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Author(s):
Date:1995
Size:1 online resource (195 p.)
Note:10.1007/978-94-011-0187-5
Contents:Contributions to Quality from Specification Techniques -- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs --
Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory of Strong Bisimulation for the Service Rendezvous -- Contributions to Quality from Quantitative Modelling -- Transient Analysis of Real-Time
Systems Using Deterministic and Stochastic Petri Nets -- Performance Modeling with Structured Actions -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables -- Discrete Time
Deterministic and Stochastic Petri Nets -- Contributions to Quality from Distributed Systems Organization -- Bauhaus Linda: An Overview -- Naming and Typing in Languages for Coordination in Open Distributed System -- An Efficient
Implementation of Decoupled Communication in Distributed Environments -- Extending the Rôle of Object References in Distributed Systems -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks
ISBN:9789401101875
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Computer communication systems , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Mathematics, general , Computer Communication Networks , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9783642976193:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and MATLAB®
Author(s): Walter Gander
Date:1995
Edition:Second, Expanded Edition
Size:1 online resource (318 p.)
Note:10.1007/978-3-642-97619-3
Contents:1. The Tractrix and Similar Curves -- 1.1 Introduction -- 1.2 The Classical Tractrix -- 1.3 The Child and the Toy -- 1.4 The Jogger and the Dog -- 1.5 Showing the Motions with Matlab -- References -- 2. Trajectory of a Spinning Tennis
Ball -- 2.1 Introduction -- 2.2 Maple Solution -- 2.3 Matlab Solution -- References -- 3. The Illumination Problem -- 3.1 Introduction -- 3.2 Finding the Minimal Illumination Point on a Road -- 3.3 Varying h2 to Maximize the
Illumination -- 3.4 Optimal Illumination -- 3.5 Conclusion -- References -- 4. Orbits in the Planar Three-Body Problem -- 4.1 Introduction -- 4.2 Equations of Motion in Physical Coordinates -- 4.3 Global Regularization -- 4.4 The
Pythagorean Three-Body Problem -- 4.5 Conclusions -- References -- 5. The Internal Field in Semiconductors -- 5.1 Introduction -- 5.2 Solving a Nonlinear Poisson Equation Using MAPLE -- 5.3 Matlab Solution -- References -- 6. Some
Least Squares Problems -- 6.1 Introduction -- 6.2 Fitting Lines, Rectangles and Squares in the Plane -- 6.3 Fitting Hyperplanes -- References -- 7. The Generalized Billiard Problem -- 7.1 Introduction -- 7.2 The Generalized Reflection
Method -- 7.3 The Shortest Trajectory Method -- 7.4 Examples -- 7.5 Conclusions -- References -- 8. Mirror Curves -- 8.1 The Interesting Waste -- 8.2 The Mirror Curves Created by MAPLE -- 8.3 The Inverse Problem -- 8.4 Examples -- 8.5
Conclusions -- References -- 9. Smoothing Filters -- 9.1 Introduction -- 9.2 Savitzky-Golay Filter -- 9.3 Least Squares Filter -- References -- 10. The Radar Problem -- 10.1 Introduction -- 10.2 Converting Degrees into Radians -- 10.3
Transformation of Geographical into Geocentric Coordinates -- 10.4 The Transformations -- 10.5 Final Algorithm -- 10.6 Practical Example -- References -- 11. Conformai Mapping of a Circle -- 11.1 Introduction -- 11.2 Problem Outline --
11.3 Maple Solution -- References -- 12. The Spinning Top -- 12.1 Introduction -- 12.2 Formulation and Basic Analysis of the Solution -- 12.3 The Numerical Solution -- References -- 13. The Calibration Problem -- 13.1 Introduction --
13.2 The Physical Model Description -- 13.3 Approximation by Splitting the Solution -- 13.4 Conclusions -- References -- 14. Heat Flow Problems -- 14.1 Introduction -- 14.2 Heat Flow through a Spherical Wall -- 14.3 Non Stationary Heat
Flow through an Agriculture Field -- References -- 15. Modeling Penetration Phenomena -- 15.1 Introduction -- 15.2 Short description of the penetration theory -- 15.3 The Tate — Alekseevskii model -- 15.4 The eroding rod penetration
model -- 15.5 Numerical Example -- 15.6 Conclusions -- References -- 16. Heat Capacity of System of Bose Particles -- 16.1 Introduction -- 16.2 Maple Solution -- References -- 17. Free Metal Compression -- 17.1 Introduction -- 17.2
Disk compression -- 17.3 Compression of a metal prism -- 17.4 Conclusions -- References -- 18. Gauss Quadrature -- 18.1 Introduction -- 18.2 Orthogonal Polynomials -- 18.3 Quadrature Rule -- 18.4 Gauss Quadrature Rule -- 18.5
Gauss-Radau Quadrature Rule -- 18.6 Gauss-Lobatto Quadrature Rule -- 18.7 Weights -- 18.8 Quadrature Error -- References -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas -- 19.1 Introduction -- 19.2 Derivation of the
Equations for the Parameters -- 19.3 Solving the System of Equations -- 19.4 The Complete Algorithm -- 19.5 Conclusions -- References -- 20. Transient Response of a Two-Phase Half-Wave Rectifier -- 20.1 Introduction -- 20.2 Problem
Outline -- 20.3 Difficulties in Applying Conventional Codes and Software Packages -- 20.4 Solution by Means of Maple -- References -- 21. Circuits in Power Electronics -- 21.1 Introduction -- 21.2 Linear Differential Equations with
Piecewise Constant Coefficients -- 21.3 Periodic Solutions -- 21.4 A matlab Implementation -- 21.5 Conclusions -- References
ISBN:9783642976193
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Algebra , System theory , Algorithms , Numerical analysis , Statistical physics , Dynamical systems , Mathematics , Numerical Analysis , Algebra , Programming Languages, Compilers, Interpreters , Algorithms , Statistical Physics, Dynamical Systems and Complexity , Systems Theory, Control
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9781461241720:ONLINE Show nearby items on shelf
Title:APL2 in Depth
Author(s): Norman D Thomson
Date:1995
Size:1 online resource (264 p.)
Note:10.1007/978-1-4612-4172-0
Contents:1 Functions and Arrays in APL2 -- 1.1 Nested Arrays and Depth -- 1.2 Construction of Arrays -- Exercises 1a -- Exercises 1c -- 1.3 Selection -- Exercises 1d -- 1.4 Replacement -- 1.5 Restructuring -- 1.6 Comparison and Inquiry --
Exercises 1e -- Summary of Functions used in Chapter 1 -- 2 Operators -- 2.1 The Each Operator -- Exercises 2a -- Exercises 2b -- 2.2 Extensions to the Slash Operator -- Exercises 2c -- Summary of Functions used in Chapter 2 -- 3
Elementary Data Structuring -- 3.1 Example 1. Product Stocks -- Exercises 3a -- 3.2 Example 2. Optimizing Rental Charges -- Exercises 3b -- Summary of Functions used in Chapter 3 -- 4 Using Functions and Arrays -- 4.1 Cross-sections,
Picking and Indexing -- 4.2 Some Illustrations using Nested Arrays -- Exercises 4a -- Exercises 4b -- 4.3 Distinctions between Similar Primitives -- Exercises 4c -- 4.4 Empty Arrays and Fill Functions -- Exercises 4d -- Summary of
Functions used in Chapter 4 -- 5 Using Operators -- 5.1 The Role of Operators in APL2 -- 5.2 Binding -- Exercises 5a -- 5.3 Matching Function Arguments -- 5.4 Recursion with Functions and Operators -- Exercises 5b -- 5.5 Extensions to
First-generation APL Operators -- Exercises 5c -- Exercises 5d -- 5.6 Applications of User-Defined Operators -- Exercises 5e -- Exercises 5f -- Summary of Functions used in Chapter 5 -- Summary of User-defined Operators in Chapter 5 --
6 Advanced Modelling and Data Structures -- 6.1 Trees Without Keys -- 6.2 Trees with Keys -- 6.3 Binary Trees -- Exercises 6a -- 6.4 Networks -- Exercises 6b -- Summary of Operations used in Chapter 6 -- Appendix A. Solutions to
Exercises -- Solutions 1a -- Solutions 1b -- Solutions 1c -- Solutions 1d -- Solutions 1e -- Solutions 2a -- Solutions 2b -- Solutions 2c -- Solutions 3a -- Solutions 3b -- Solutions and Notes 4a -- Solutions 4b -- Solutions 4c --
Solutions 4d -- Solutions 5a -- Solutions 5b -- Solutions and Notes 5c -- Solutions 5d -- Solutions 5e -- Solutions 5f -- Solutions 6a -- Solutions 6b -- Appendix B. Some Key Rules and Identities -- Appendix C. List of Illustrations
ISBN:9781461241720
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Programming languages (Electronic computers) , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Software Engineering , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1993-9783642975332:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and Matlab®
Author(s): Walter Gander
Date:1993
Size:1 online resource (268 p.)
Note:10.1007/978-3-642-97533-2
Contents:1. The Tractrix and Similar Curves -- 1.1 Introduction -- 1.2 The Classical Tractrix -- 1.3 The Child and the Toy -- 1.4 The Jogger and the Dog -- 1.5 Showing the Movements with Matlab -- References -- 2. Trajectory of a Spinning
Tennis Bali -- 2.1 Introduction -- 2.2 Maple Solution -- 2.3 Matlab Solution -- References -- 3. The Illumination Problem -- 3.1 Introduction -- 3.2 Finding the Minimal Illumination Point on a Road -- 3.3 Varying h2 to Maximize the
Illumination -- 3.4 Optimal Illumination -- 3.5 Conclusion -- References -- 4. Orbits in the Planar Three-Body Problem -- 4.1 Introduction -- 4.2 Equations of Motion in Physical Coordinates -- 4.3 Global Regularization -- 4.4 The
Pythagorean Three-Body Problem -- 4.5 Conclusions -- References -- 5. The Internal Field in Semiconductors -- 5.1 Introduction -- 5.2 Solving a Nonlinear Poisson Equation Using Maple -- 5.3 Matlab Solution -- References -- 6. Some
Least Squares Problems -- 6.1 Introduction -- 6.2 Fitting Lines, Rectangles and Squares in the Plane -- 6.3 Fitting Hyperplanes -- References -- 7. The Generalized Billiard Problem -- 7.1 Introduction -- 7.2 The Generalized Reflection
Method -- 7.3 The Shortest Trajectory Method -- 7.4 Examples -- 7.5 Conclusions -- References -- 8. Mirror Curves -- 8.1 The Interesting Waste -- 8.2 The Mirror Curves Created by Maple -- 8.3 The Inverse Problem -- 8.4 Examples -- 8.5
Conclusions -- References -- 9. Smoothing Filters -- 9.1 Introduction -- 9.2 Savitzky-Golay Filter -- 9.3 Least Squares Filter -- References -- 10. The Radar Problem -- 10.1 Introduction -- 10.2 Converting Degrees into Radians -- 10.3
Transformation of Geographical into Geocentric Coordinates -- 10.4 The Transformations -- 10.5 Final Algorithm -- 10.6 Practical Example -- References -- 11. Conformal Mapping of a Circle -- 11.1 Introduction -- 11.2 Problem Outline --
11.3 Maple Solution -- References -- 12. The Spinning Top -- 12.1 Introduction -- 12.2 Formulation and Basic Analysis of the Solution -- 12.3 The Numerical Solution -- References -- 13. The Calibration Problem -- 13.1 Introduction --
13.2 The Physical Model Description -- 13.3 Approximation by Splitting the Solution -- 13.4 Conclusions -- References -- 14. Heat Flow Problems -- 14.1 Introduction -- 14.2 Heat Flow through a Spherical Wall -- 14.3 Non Stationary Heat
Flow through an AgricultureField -- References -- 15. Penetration of a Long Rod into a Semiinfinite Target -- 15.1 Introduction -- 15.2 Short Description of the Penetration Theory -- 15.3 Numerical Example -- 15.4 Conclusions --
References -- 16. Heat Capacity of System of Bose Particles -- 16.1 Introduction -- 16.2 Maple Solution -- References -- 17. Compression of a Metal Disk -- 17.1 Introduction -- 17.2 Mathematical and Physical Model -- 17.3 Parabolic
Perimeter -- 17.4 Maple Solution -- 17.5 Base Radius as Function of Friction -- 17.6 Simplification -- 17.7 Graphics -- 17.8 Conclusions -- References -- 18. Gauss Quadrature -- 18.1 Introduction -- 18.2 Orthogonal Polynomials -- 18.3
Quadrature Rule -- 18.4 Gauss Quadrature Rule -- 18.5 Gauss-Radau Quadrature Rule -- 18.6 Gauss-Lobatto Quadrature Rule -- 18.7 Weights -- 18.8 Quadrature Error -- References -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas
-- 19.1 Introduction -- 19.2 Derivation of the Equations for the Parameters -- 19.3 Solving the System of Equations -- 19.4 The Complete Algorithm -- 19.5 Conclusions -- References
ISBN:9783642975332
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Algebra , System theory , Algorithms , Numerical analysis , Statistical physics , Dynamical systems , Mathematics , Numerical Analysis , Algebra , Programming Languages, Compilers, Interpreters , Algorithms , Statistical Physics, Dynamical Systems and Complexity , Systems Theory, Control
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9783662122112:ONLINE Show nearby items on shelf
Title:Lancelot A Fortran Package for Large-Scale Nonlinear Optimization (Release A)
Author(s): A. R Conn
Date:1992
Size:1 online resource (332 p.)
Note:10.1007/978-3-662-12211-2
Contents:1 Introduction -- 2 A SIF/LANCELOT Primer -- 3 A Description of the LANCELOT Algorithms -- 4 The LANCELOT Specification File -- 5 A Description of how LANCELOT Works -- 6 Installing LANCELOT on your System -- 7 The SIF Reference
Report -- 8 The Specification of LANCELOT Subroutines -- 9 Coda -- A Conditions of Use -- A.1 General Conditions for all Users -- A.2 Additional Conditions for “Academic” Use -- A.3 Authors’ Present Addresses -- B Trademarks
ISBN:9783662122112
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Computational Mathematics: 17
Keywords: Computer science , Programming languages (Electronic computers) , System theory , Numerical analysis , Calculus of variations , Applied mathematics , Engineering mathematics , Economic theory , Computer Science , Programming Languages, Compilers, Interpreters , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization , Economic Theory/Quantitative Economics/Mathematical Methods , Numerical Analysis , Appl.Mathematics/Computational Methods of Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9789401135023:ONLINE Show nearby items on shelf
Title:Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics
Author(s): F Brackx
Date:1991
Size:1 online resource (264 p.)
Note:10.1007/978-94-011-3502-3
Contents:1 Introduction -- 2 Standard LISP and RLISP -- 3 REDUCE algebraic mode -- 4 Applications -- 5 A package for three-dimensional euclidean geometry
ISBN:9789401135023
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 72
Keywords: Computer science , Programming languages (Electronic computers) , Numerical analysis , Computer science , Artificial intelligence , Computer Science , Symbolic and Algebraic Manipulation , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Numeric Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9780817648442:ONLINE Show nearby items on shelf
Title:Linear Programming
Author(s): Howard Karloff
Date:1991
Edition:1
Size:1 online resource (144 p.)
Note:10.1007/978-0-8176-4844-2
Contents:The Basics -- The Simplex Algorithm -- Duality -- The Ellipsoid Algorithm -- Karmarkar’s Algorithm
ISBN:9780817648442
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer science , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Programming Techniques , Applications of Mathematics , Programming Languages, Compilers, Interpreters , Math Applications in Computer Science , Computational Mathematics and Numerical Analysis , Algorithm Analysis and Problem Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1989-9781461236689:ONLINE Show nearby items on shelf
Title:APL Programs for the Mathematics Classroom
Author(s): Norman D Thomson
Date:1989
Size:1 online resource (185 p.)
Note:10.1007/978-1-4612-3668-9
Contents:1. Introduction -- 1.1 Graphics -- 1.2 Idioms -- 2. Arithmetic and Numbers -- 2.1. Basic Programs with Integers -- 2.2. Square and Triangular Numbers -- 2.3. Multiplication and other Tables -- 2.4. Isomorphisms -- 2.5. Primes and
Factors -- 2.6. HCF and LCM -- 2.7. Recurring Decimals -- 2.8. Numbers in Different Bases -- 2.9. Roman Numerals -- 2.10. Encoding and Decoding -- 2.11. Problems involving Base 10 Digits -- 2.12. Computer Arithmetic -- 2.13. Counting
Series Forwards and Backwards -- 2.14 Complex Numbers -- 3. Algebra and Sets -- 3.1. Some Basic Algebra -- 3.2. Roots of Quadratics -- 3.3. Matrix Operations -- 3.4. Polynomials -- 3.5. Arithmetic and Geometric Progressions -- 3.6.
Sets -- 3.7. Polynomial Coefficients from Roots -- 4. Series -- 4.1. Recurrence Relations -- 4.2. Tests for Monotonicity -- 4.3. Convergence -- 4.4. Binomial Coefficients -- 4.5. Successive Differences of Series -- 4.6. Fibonacci
Numbers -- 4.7. Series relating to pi -- 4.8. Series for e -- 4.9. A Series for ?2 -- 4.10. Trig Series -- 4.11. Continued Fractions -- 4.12. Interpolation -- 5. Formulae and Tables -- 5.1. Compound Interest -- 5.2. Mortgage Repayments
-- 5.3. Triangle Formulae -- 5.4. Longest and Shortest Journeys -- 5.5. Pythagoras’s Theorem and Norms -- 5.6. Pythagorean Triples -- 6. Geometry and Pattern -- 6.1. Parametric Plotting -- 6.2. Envelopes -- 6.3. Transformations -- 6.4
Perspective Drawing -- 6.5. Co-ordinate Geometry in Two Dimensions -- 6.6. Polar and Cartesian Coordinates -- 6.7. Patterns by Plotting Large Numbers of Points -- 7. Calculus -- 7.1. Numerical Integration -- 7.2. Root Finding -- 7.3.
Ordinary Differential Equations -- 8. Probability and Statistics -- 8.1. Discrete Probability Distributions -- 8.2. The Birthday Problem -- 8.3. Descriptive Statistics -- 8.4. Random Numbers from Various Distributions -- 8.5.
Simulations -- 8.6. Frequency Distributions -- 8.7. Regression -- 8.8. Correlation -- 8.9. Non-parametric Tests -- 8.10. Statistical Tables -- 8.11. Sample Sizes -- 9. Combinatorics -- 9.1. Permutations in Lexical Order -- 9.2.
Derangements -- 9.3. Combinations -- 9.4. Selections -- 9.5. Compositions and Partitions -- 9.6. Latin Squares -- 9.7. Magic Squares of Odd Order -- 10. Games and Miscellaneous -- 10.1. Deal a Hand at Whist -- 10.2. Chessboard -- 10.3.
Mastermind -- 10.4. Life -- 10.5. Recursive Algorithms -- 10.6. Optical Illusions -- Appendix 1. Graphics -- Appendix 2. Idioms and Utilities -- A2.1. Rounding, Averaging, and Removing Duplicates -- A2.2. Sorting and Ranking -- A2.3.
Statement Joining -- A2.4. Branching and Prompting -- A2.5. Matrix Manipulation -- A2.6. Replication -- A2.7. Without -- A2.8. Bit Manipulation -- A2.9. Some String Handling Functions -- A2.10. Testing for Numeric/Character -- A2.11.
Timing Function Execution -- Appendix 3. Graphics Functions in I-APL -- Index of Topics -- Index of Programs and Variables
ISBN:9781461236689
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer programming , Programming languages (Electronic computers) , Numerical analysis , Mathematics , Numerical Analysis , Programming Languages, Compilers, Interpreters , Programming Techniques
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1982-9789400978522:ONLINE Show nearby items on shelf
Title:The Study of Fast Processes and Transient Species by Electron Pulse Radiolysis Proceedings of the NATO Advanced Study Institute held at Capri, Italy, 7–18 September, 1981
Author(s):
Date:1982
Size:1 online resource (660 p.)
Note:10.1007/978-94-009-7852-2
Contents:Absorption of Energy From Ionizing Radiation -- 1. X-rays and ?-rays -- (a) Photoelectric effect -- (b) Compton effect -- (c) Pair production -- 2. Electrons -- (a) Excitation and ionisation of molecules -- (b) Emission of radiation
-- (c) Electron range -- (d) Low energy electrons -- 3. Heavy Positive Particles -- (a) High energy -- (b) Low energy -- 4. Neutrons -- References -- Basics of Radiation Chemistry -- Spacial Distribution and Reaction Kinetics -- 1.
Charge Particle Tracks and Track Densities -- 2. Spur Reactions -- 3. Non-Homogeneous Kinetics -- Time Scale of Events in a Liquid -- 1. Development -- 2. Summary of Time Scale -- References -- Sources of Pulsed Radiation -- 1.
Introduction -- 2. Types of Pulsed Radiation Sources -- 2.1. Microwave linear accelerators -- 2.2. Febetrons -- 2.3. Other sources of pulsed radiation -- 3. Physical Dosimetry for Pulses Sources -- References -- Chemical Dosimetry of
Pulsed Electron and X-Ray Sources in the 1-20 MeV Range -- 1.1. Units of Absorbed Dose -- 1.2. Units of Radiation Chemical Yield -- 2.1. Principles of Chemical Dosimetry -- 2.2. The Ferrous Sulphate or Fricke Dosimeter -- 2.3. The
“Super Fricke Dosimeter” -- 2.4. Other Dosimeters Suitable for High Intensity Pulsed Sources -- 3.1. Dosimetry by the Measurement of Fugitive Species -- 3.2. Sources of Error -- 1. Correction due to pulse duration -- 2. Correction for
response time of system -- 3.3. The Thiocyanate Dosimeter -- 3.4. The Hydrated Electron Dosimeter -- 3.5. The Ferrocyanide Dosimeter -- References -- Optical Monitoring Techniques -- 1. General Considerations -- 2. Optical Systems --
2.1. Lenses -- 2.2. Mirrors -- 2.3. Light-Sources -- 2.4. Monochromators -- 3. Monitoring Techniques -- 3.1. Photodetectors -- 3.2. Photomultipliers -- 3.3. Photodiodes -- 3.4. Detector circuits -- References -- Conductivity Monitoring
Techniques -- Electrical Principles -- Limitations -- Experimental Set-ups -- Chemical Examples -- Conclusion -- References -- Polarography Monitoring Techniques -- Experimental Section -- Examples -- Conclusion -- References -- The
Microwave Absorption Technique For Studying Ions and Ionic Processes -- Experimental -- General -- Circuit components -- Irradiation cells -- Irradiation conditions -- Data Reduction -- Reflection cell -- Resonant cavity cell -- The
yield-mobility product -- Application and Comparison with other Techniques -- References -- EPR and NMR Detection of Transient Radicals and Reaction Products -- Time Resolved EPR -- Pulsed EPR -- Time resolved spectra -- Time sweep --
Free induction decay -- NMR in Radiation Chemistry -- References -- Radical Ions and Excited States in Radiolysis. Optically Detected Time Resolved EPR -- Method, Results and Discussion -- References -- Light Scattering Techniques for
Investigation of Transients Produced in Electron Pulse Radiolysis -- Rayleigh Scattering -- Raman Scattering -- Background -- Origin of resonance enhancement -- Experimental -- Pulse radiolysis and TR3 detection -- Current activity --
References -- Data Acquisition and Analysis in Pulse Radiolysis Part is Control, Digitization, and Analysis -- 1.0. Introduction -- 2.0. Timing and Control -- 3.0. Digitisation of the Transient Signal -- 3.1. Oscilloscopes -- 3.2.
Electronic digitiser -- 3.3. Diode matrix technique -- 3.4. Streak cameras -- 3.5. Pulse-probe technique -- 3.6. Counting methods -- 3.7. Computer as digitiser -- 4.0. Data Processing and Analysis -- 4.1. Initial data processing --
4.2. Simple linear fitting -- 4.3. Iterative linear regression -- 4.4. Direct solution of kinetic equations -- 4.5. Deconvolution -- 4.6. Statistical considerations -- 5.0. Conclusion -- References -- Data Acquisition and Analysis in
Pulse Radiolysis Part II: Computerization -- 1.0. Introduction -- 2.0. Historical Survey -- 2.1. The computer revolution -- 2.2. Computers in pulse radiolysis -- 3.0. Techniques of Laboratory Computerisation -- 3.1. Computer hardware
-- Minicomputers -- Microcomputers -- 3.2. Hardware Interfacing -- Camac -- GPIB -- S-100 Bus -- Ethernet -- 3.3. Operating systems -- 3.4. Programming languages -- 4.0. Some General Aspects of Design and Implementation -- 4.1.
Flexibility -- 4.2. Ease of use -- 4.3. Manual control option -- 4.4. How much computerisation? -- 5.0. Conclusion -- References -- Rapid Techniques for Correcting Nanosecond Kinetic Traces for Convolution Error -- 1.0. Introduction --
2.0. Separation of the Convolution Integral -- 3.0. Model Excitation Response Function -- 4.0. Discussion -- 5.0. Examples -- 6.0. Conclusion -- References -- Basic Radiation Chemistry of Liquid Water -- 1. Introduction -- 2. Primary
Events -- 3. Experimental Evidence for Spurs -- 4. Yields of the Primary Species -- 4.1. Yields in neutral solution -- 4.2. Dependence on pH -- 5. Initial Yields -- 6. Properties of the Primary Radicals -- 6.1. Hydrated electron --
6.2. Hydrogen atom -- 6.3. Hydroxy1 radical -- 6.4. Perhydroxyl radical -- 7. Water Radiolysis as a Chemical Tool -- 7.1. Oxidising conditions -- 7.2. Reducing conditions -- 8. Concluding Remarks -- References -- Applications of Water
Radiolysis in Inorganic Chemistry -- 1. Introduction -- 2. Inorganic Free Radicals -- 3. Non-metallic Compounds -- 3.1. Oxyhalogen ions -- 3.2. Borohydride ion -- 4. Aquo-metal Ions in Unusual Oxidation States -- 5. Lanthanides and
Actinides -- 6. Transition Metal Complexes -- 6.1. Electron transfer -- 6.2. Coordinated free radicals -- 6.3. Aquation of transition metal complexes -- 6.4. Change in symmetry -- 7. Concluding Remarks -- References -- Application of
Pulse Radiolysis to the Study of Aqueous Organic Systems -- Reactions of OH, e-aq and H -- Hydroxyl radicals -- Hydrated electrons -- Hydrogen atoms -- Design of Experiments -- Radicals formed from OH reactions -- Radicals formed from
e-aq reactions -- Radicals formed from H reactions -- Acid-base properties -- Errors -- Free Radicals Formed from Organic Compounds -- Hydrocarbons -- Halides -- Alcohol and carbonyl compounds -- Sulphur compounds -- References --
Application of Pulse Radiolysis to the Study of Molecules of Biological Importance -- One Electron Reduction Potentials -- Quinones -- Carbohydrates -- Amino Acids and Peptides -- Pyridine Compounds -- Flavins -- Haem and Haemoproteins
-- Vitamin B12 -- Excited States -- References -- Structure and Dynamics of Paramagnetic Transients By Pulsed EPR and NMR Detection of Nuclear Resonance -- Time Resolved EPR -- NMR Detection of Nuclear Resonance -- CIDNP and CIDEP
Contributions -- References -- Transients in Low Temperature Aqueous Glasses -- 1. The Glassy State -- 2. Techniques Used in Matrix Isolation Studies -- Recombination Luminescences -- Electro Luminescences -- 3. Radiation Chemistry in
Glassy Matrices -- 4. Examples of Aqueous Glasses -- 4.1. Pure ice -- 4.2. Acid glasses -- 4.3. Alkaline glasses -- 4.4. Salt glasses -- 4.5. Ethylene glycol-water glasses -- 5. The Fate of Trapped Electrons -- 6. Conclusion --
References -- Labile Species and Fast Processes in Liquid Alcohol Radiolysis -- Overall Reaction -- Major products -- Minor products -- Non-homogeneous Kinetics and Fast Processes -- Decomposition of e-s -- References -- Labile Species
and Fast Processes in Liquid Alkanes -- Ionic Species -- Free ion yields -- Ions in spurs -- Kinetics -- Free Radicals -- Yields -- Reactions -- Excited States -- Yields -- References -- The Dynamics of Electrons and Ions in Non-Polar
Liquids -- Historical perspective -- Ionisation -- Recombination and Escape -- Correlated ion pair kinetics -- The free ion yield -- Homogeneous ion recombination -- Mobilities -- General -- Electrons -- Solvent-radical cations --
Solvent-radical anions -- Molecular ions -- Scavenging Yields -- References -- Molecular Excited States in Liquid Systems -- Primary Events during Fast Electron Bombardment -- Contribution of Pulse Radiolysis -- References --
Radiolytic Studies of Micelles and Other Aggregated Systems -- Cell Membranes -- Micelles -- Reverse Micelles -- Liposomes and Vesicles -- The Hydrated Electron -- The Hydroxy1 Radical -- Reduction of Dimensionality -- Electron
Transfer Reactions -- Binding of Proteins to Vesicle Bilayers -- References -- Transients in Low Temperature Organic Glasses -- 1. Different Types of Organic Glasses -- 2. Properties of Trapped Electrons -- 2.1. The trapping process --
2.2. Structure of trapped electrons -- 3. Reactions of Trapped Electrons -- 3.1. Reaction with scavengers -- 3.2. Reaction with cations -- 4. Cation Radicals -- References -- The Use of Pulse Radiolysis to Study Transient Species in
the Gas Phase -- 1. Introduction -- 2. Excited States -- 2.1. Pure rare gases -- 2.2. Rare gases containing additives -- 3. Charged Species -- 3.1. Recombination -- 3.2. Ion-molecule reactions -- 3.3. Electron capture -- 4. Atoms and
Radicals -- References -- Index of Subjects
ISBN:9789400978522
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 86
Keywords: Chemistry , Nuclear chemistry , Chemistry , Nuclear Chemistry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1981-9783709127483:ONLINE Show nearby items on shelf
Title:Analysis and Design of Algorithms in Combinatorial Optimization
Author(s):
Date:1981
Size:1 online resource (209 p.)
Note:10.1007/978-3-7091-2748-3
ISBN:9783709127483
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Centre for Mechanical Sciences, Courses and Lectures: 266
Keywords: Physics , Programming languages (Electronic computers) , Mechanics , Physics , Mechanics , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1978-9781461394228:ONLINE Show nearby items on shelf
Title:Introduction to College Mathematics with A Programming Language
Author(s): Edward J LeCuyer
Date:1978
Size:1 online resource (420 p.)
Note:10.1007/978-1-4613-9422-8
Contents:1 Set theory -- 1.1 Sets -- 1.2 Operations with Sets -- 1.3 A set theory drill and practice program (optional) -- 1.4 Boolean algebra -- 1.5 The number of elements in a set -- 2 Logic -- 2.1 Statements and logical operations -- 2.2
Conditional statements -- 2.3 Logical equivalence -- 2.4 Arguments -- 3 Vectors and matrices -- 3.1 Vectors -- 3.2 Operations with vectors -- 3.3 Matrices -- 3.4 Operations with matrices -- 3.5 Properties of matrices -- 4 Systems of
linear equations -- 4.1 Linear equations -- 4.2 Two-by-two systems of linear equations -- 4.3 Elementary row operations -- 4.4 Larger systems of linear equations -- 4.5 Row reduced form -- 4.6 The inverse of a matrix -- 4.7 Inverses in
APL -- 4.8 Applications -- 5 Determinants -- 5.1 Definition of a determinant -- 5.2 A Program for evaluation of determinants -- 5.3 Cofactors -- 5.4 Adjoints and inverses -- 5.5 Cramer’s rule -- 6 Functions and graphing -- 6.1
Definition of a function -- 6.2 Graphing -- 6.3 Linear functions -- 6.4 Quadratic functions -- 6.5 Polynomials -- 6.6 Rational functions -- 7 Exponential and logarithmic functions -- 7.1 Exponential functions -- 7.2 Applications of
exponential functions -- 7.3 Logarithmic functions -- 7.4 Properties and applications of logarithms -- 8 Differential calculus -- 8.1 The limit of a function -- 8.2 Slope of a curve and the definition of derivative at a point -- 8.3
Differentiating polynomials -- 8.4 Applications of derivatives -- 8.5 More rules of differentiation (optional) -- 8.6 Theory of maxima, minima -- 8.7 Applied maxima, minima -- 8.8 Curve sketching using derivatives -- 9 Integral
calculus -- 9.1 Antidifferentiation -- 9.2 Some formulas for antidifferentiation -- 9.3 Area under a curve -- 9.4 The definite integral -- 9.5 The fundamental theorem of calculus -- 9.6 More applications of integration -- 10
Probability -- 10.1 Axioms of probability -- 10.2 More rules of probability -- 10.3 Permutations and combinations -- 10.4 The hypergeometric distribution -- 10.5 The binomial distribution -- 10.6 The Poisson distribution -- 11
Statistics -- 11.1 Random samples and frequency distributions -- 11.2 Measures of central tendency -- 11.3 Measures of dispersion -- 11.4 The normal distribution -- 11.5 The sampling distribution of the mean -- 12 The trigonometric
functions -- 12.1 Angles -- 12.2 The trigonometric functions -- 12.3 The trigonometric functions in APL -- 12.4 Graphs of the trigonometric functions -- 12.5 The inverse trigonometric functions -- 12.6 Solving right triangles -- 12.7
Solving oblique triangles -- A.0 Using APL on a computer terminal -- A.1 Introduction to APL -- A.2 Program definition -- A.3 Branching -- A.4 Program revision and editing procedures -- A.5 The trace command -- Solutions to exercises
-- Program index
ISBN:9781461394228
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer science , Computer mathematics , Mathematics , Mathematical Applications in Computer Science , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1975-9789401175579:ONLINE Show nearby items on shelf
Title:Combinatorial Programming: Methods and Applications Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2–13 September, 1974
Author(s):
Date:1975
Size:1 online resource (386 p.)
Note:10.1007/978-94-011-7557-9
Contents:I: General Methodology -- Modelling Techniques and Heuristics for Combinatorial Problems -- Les Procedures D’exploration et D’optimisation par Separation et Evaluation: a survey -- Boolean Elements in Combinatorial Optimization: a
survey -- Fourier-Motzkin Elimination and its Dual with Application to Integer Programming -- II: Paths and Circuits -- Chemins et Circuits: Enumeration et Optimisation: a survey -- Path Algebra and Algorithms -- Hamiltonian Circuits
and the Travelling Salesman Problem: a survey -- The Peripatetic Salesman and some related Unsolved Problems -- Some Results on the Convex Hull of the Hamiltonian Cycles of Symetric Complete Graphs -- Finding Minimum Spanning Trees
with a Fixed Number of Links at a Node -- III: Set Partitioning, Covering and Packing -- Set Partitioning: a survey -- An Algorithm for Large Set Partitioning Problems -- Le Probleme De Partition Sous Contrainte -- Characterisations of
Totally Unimodular, Balanced and Perfect Matrices -- Some Well-Solved Problems in Combinatorial Optimization -- IV: Other Combinatorial Programming Topics -- How to Color a Graph: a survey -- Problemes Extremaux Concernant Le Nombre
Des Colorations Des Sommets D’un Graphe Fini -- A few Remarks on Chromatic Scheduling -- Minimizing Total Costs in One-Machine Scheduling -- The Quadratic Assignment Problem: A Brief Review -- Fonctions D’evaluation et Penalites Pour
Les Programmes Quadratiques en Variables 0–1 -- Solution of the Machine Loading Problem with Binary Variables -- The Role of Puzzles in Teaching Combinatorial Programming
ISBN:9789401175579
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 19
Keywords: Computer science , Programming languages (Electronic computers) , Computer Science , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover Image
Call number:QA76.9.T48F75::2006 Show nearby items on shelf
Title:Mastering regular expressions
Author(s): Jeffrey E.F. Friedl
Date:2006
Publisher:O'Reilly
Note:Regexes
Note:A regular expression (regex) is a pattern that describes a set of strings.
Contents:Introduction to Regular Expressions, Extended Introductory Examples, Overview of Regular Expression Features and Flavors, The Mechanics of Expression Processing, Practical Regex Techniques, Crafting an Efficient Expression, Perl, Java, NET, PHP
ISBN:0596528124
Keywords: Text processing (Computer science) , Perl (Computer program language) , Computer programming. , Programming languages (Electronic computers) , Electronic data processing , String matching
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover
Image
Call number:QA76.76.063R563::2005 Show nearby items on shelf
Title:Classic Shell Scripting
Author(s): Arnold Robbins
Nelson H. F. Beebe
Date:2005
Publisher:O'Reilly
ISBN:9780596005955
Keywords: Operating Systems (Computers) , Programming Languages (Electronic Computers) , UNIX (Computer File)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.73.P98M42::2013 Show nearby items on shelf
Title:Python for data analysis
Author(s): Wes McKinney
Julie Steele (ed.)
Meghan Blanchette (ed.)
Date:2013
Publisher:Beijing: O'Reilly
Contents:Preliminaries -- Introductory examples -- IPython : an interactive computing and development environment -- NumPy basics : arrays and vectorized computation -- Getting started with pandas -- Data loading, storage, and file formats -- Data wrangling : clean, transform, merge, reshape -- Plotting and visualization -- Data aggregation and group operations -- Time series -- Financial and economic data applications -- Advancded NumPy
ISBN:9781449319793
Keywords: Python (Computer program language) , Programming languages (Electronic computers) , Data mining.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.73.P98I3::2014 Show nearby items on shelf
Title:Python data analysis: learn how to apply powerful data analysis techniques with popular open source Python modules
Author(s): Ivan Idris
Date:2014
Publisher:Birmingham, UK: Packt Publishing Ltd
Size:329 p
Contents:Getting started with Python libraries -- NumPy arrays -- Statistics and linear algebra -- pandas primer -- Retrieving, processing, and storing data -- Data visualization -- Signal processing and time series -- Working with databases -- Analyzing tex tual data and social media -- Predictive analytics and machine learning -- Environments outside the Python ecosystem and cloud computing -- Performance tuning, profiling, and concurrency -- Appendix A : key concepts -- Appendix B : useful functions -- App endix C : online resources.
ISBN:9781783553358
Keywords: Python (Computer program language) , Programming languages (Electronic computers)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: MAIN

Cover
Image
Call number:QA76.7.S38::2009 Show nearby items on shelf
Title:Programming Language Pragmatics - THIRD EDITION
Author(s): Michael Lee Scott 1959-
Date:2009
Publisher:Elsevier/Morgan Kaufmann Pub.
Note:Comes with 1 CD-Rom
ISBN:9780123745149
Keywords: Programming Languages (Electronic Computers)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Return to the Fermilab Library catalog