opac header image

Refine your search

Your search returned 743 results.

Not what you expected? Check for suggestions
Sort
Results
561.
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.

562.
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.

563.
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.

564.
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).

565.
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.

566.
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.

567.
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.

568.
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.

569.
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.

570.
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).

571.
Essentials of Mathematica

by Boccara, Nino., author.

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

572.
Animals in Space

by Burgess, Colin., author.

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

573.
Russia's Cosmonauts:Inside the Yuri Gagarin Training Center

by Hall, Rex D.

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

574.
Astrophysical disks

by Fridman, Alexei M., editor.

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

575.
Extreme Man-Made and Natural Hazards in Dynamics of Structures

by Ibrahimbegovic, Adnan., editor.

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

576.
Magnetic Nanostructures in Modern Technology

by Azzerboni, Bruno., editor.

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

577.
Materials Issues for Generation IV Systems

by Ghetta, Véronique., editor.

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

578.
Electron Transport in Nanosystems

by Bonca, Janez.

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: 530.41, 23.

579.
Unexploded Ordnance Detection and Mitigation

by Byrnes, Jim., 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).

580.
IUTAM Symposium on Unsteady Separated Flows and their Control

by Braza, Marianna., 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: 531, 23.

Pages
© 2024 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