opac header image

Refine your search

Your search returned 1157 results.

Not what you expected? Check for suggestions
Sort
Results
721.
Modellistica Numerica per Problemi Differenziali

by Quarteroni, Alfio., author.

Edition: 5a edizione.Material type: Computer file Computer file; Format: electronic Language: English Publication details: Milano Springer Milan, Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.
Lists:

722.
Implementing Spectral Methods for Partial Differential Equations

by Kopriva, David A., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 515.353, 23.
Lists:

723.
geoENV VII-Geostatistics for Environmental Applications

by Atkinson, P. M.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands, Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 550, 23.

724.
Nonlinear Solid Mechanics

by Ibrahimbegovic, Adnan., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 004, 23.

725.
Natural Deduction, Hybrid Systems and Modal Logics

by Indrzejczak, Andrzej., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2010Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 160, 23.

726.
Gentzen Calculi for Modal Propositional Logic

by Poggiolesi, Francesca., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 10, 23.

727.
Recent Advances in Computational and Applied Mathematics

by Simos, Theodore E., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands, Imprint: Springer, 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 518, 23 518 23.
Lists:

728.
Hybrid Logic and its Proof-Theory

by Braüner, Torben., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 160, 23.

729.
Dual Tableaux: Foundations, Methodology, Case Studies

by Orlowska, Ewa., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands, Imprint: Springer, 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
Lists:

730.
Methods of Cut-Elimination

by Leitsch, Alexander., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
Lists:

731.
Numerical Methods with Worked Examples: Matlab Edition

by Woodford, C., author.

Edition: Second Edition.Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 519, 23.
Lists:

732.
Geostatistics Oslo 2012

by Abrahamsen, Petter.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

733.
Bayesian Theory and Methods with Applications

by Savchuk, Vladimir., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Paris Atlantis Press 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 519.5, 23.
Lists:

734.
Mathematics of Approximation

by Villiers, Johan., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Paris Atlantis Press, Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.
Lists:

735.
Code Generation with Templates

by Arnoldus, Jeroen., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Paris Atlantis Press, Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 005.1, 23.

736.
Instruction Sequences for Computer Science

by Bergstra, Jan A., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Paris Atlantis Press, Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 004.0151, 23.

737.
Phase-Modulated Optical Communication Systems

by Ho, Keang-Po., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

738.
Secrets of the Old One

by Bernstein, Jeremy., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 530.01, 23.
Lists:

739.
Field Emission in Vacuum Microelectronics

by Fursey, George., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 530, 23.
Lists:

740.
Quantum Computation and Quantum Communication

by Pavičić, Mladen., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

Pages
© 2025 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha