|
|
4281.
|
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
by Poernomo, Iman Hafiz | Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4282.
|
Techniques of Variational Analysis [electronic resource] / by Jonathan M. Borwein, Qiji J. Zhu.
by Borwein, Jonathan M | Zhu, Qiji J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4283.
|
Mathematics and the Historian’s Craft [electronic resource] : The Kenneth O. May Lectures / edited by Glen Brummelen, Michael Kinyon.
by Brummelen, Glen | Kinyon, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4284.
|
Conflicts between Generalization, Rigor, and Intuition [electronic resource] : Number Concepts Underlying the Development of Analysis in 17–19th Century France and Germany / by Gert Schubring.
by Schubring, Gert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4285.
|
Electroreception [electronic resource] / edited by Theodore H. Bullock, Carl D. Hopkins, Arthur N. Popper, Richard R. Fay.
by Bullock, Theodore H | Hopkins, Carl D | Popper, Arthur N | Fay, Richard R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4286.
|
Mathematical Statistics: Exercises and Solutions [electronic resource] / by Jun Shao.
by Shao, Jun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4287.
|
Methods and Applications of Singular Perturbations [electronic resource] : Boundary Layers and Multiple Timescale Dynamics / by Ferdinand Verhulst.
by Verhulst, Ferdinand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4288.
|
Modeling Longitudinal Data [electronic resource] / by Robert E. Weiss.
by Weiss, Robert E | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4289.
|
A Taste of Topology [electronic resource] / by Volker Runde ; edited by S Axler, K.A. Ribet.
by Runde, Volker | Axler, S | Ribet, K.A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4290.
|
The Basics of S-PLUS [electronic resource] / by Andreas Krause, Melvin Olson.
by Krause, Andreas | Olson, Melvin | SpringerLink (Online service). Edition: Fourth Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4291.
|
Statistical Demography and Forecasting [electronic resource] / by Juha M. Alho, Bruce D. Spencer.
by Alho, Juha M | Spencer, Bruce D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4292.
|
S+ Functional Data Analysis [electronic resource] : User’s Manual for Windows® / by Douglas B. Clarkson, Chris Fraley, Charles C. Gu, James O. Ramsey.
by Clarkson, Douglas B | Fraley, Chris | Gu, Charles C | Ramsey, James O | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4293.
|
Duality for Nonconvex Approximation and Optimization [electronic resource] / by Ivan Singer.
by Singer, Ivan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4294.
|
N4-Macrocyclic Metal Complexes [electronic resource] / edited by José H. Zagal, Fethi Bedioui, Jean-Pol Dodelet.
by Zagal, José H | Bedioui, Fethi | Dodelet, Jean-Pol | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4295.
|
Manufacturing Systems: Theory and Practice [electronic resource] / by George Chryssolouris.
by Chryssolouris, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4296.
|
Curves and Surfaces for Computer Graphics [electronic resource] / by David Salomon.
by Salomon, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4297.
|
Immersive Audio Signal Processing [electronic resource] / edited by Sunil Bharitkar, Chris Kyriakakis.
by Bharitkar, Sunil | Kyriakakis, Chris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4298.
|
Applied Probability and Statistics [electronic resource] / by Mario Lefebvre.
by Lefebvre, Mario | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4299.
|
Scanning Probe Microscopy [electronic resource] : Electrical and Electromechanical Phenomena at the Nanoscale / edited by Sergei Kalinin, Alexei Gruverman.
by Kalinin, Sergei | Gruverman, Alexei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available
|
|
|
4300.
|
Microflows and Nanoflows [electronic resource] : Fundamentals and Simulation / by George Karniadakis, Ali Beskok, Narayan Aluru ; edited by S.S. Antman, J.E. Marsden, L. Sirovich.
by Karniadakis, George | Beskok, Ali | Aluru, Narayan | Antman, S.S | Marsden, J.E | Sirovich, L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
