opac header image

Refine your search

Your search returned 172 results.

Not what you expected? Check for suggestions
Sort
Results
81.
A Concise Introduction to Mathematical Logic

by Rautenberg, Wolfgang., author.

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

82.
Data Mining and Knowledge Discovery via Logic-Based Methods

by Triantaphyllou, Evangelos., author.

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

83.
Proofs and Fundamentals

by Bloch, Ethan D., author.

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

84.
Reading, Writing, and Proving

by Daepp, Ulrich., author.

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

85.
Combinatorial Set Theory

by Halbeisen, Lorenz J., author.

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

86.
Mathematical Logic and Model Theory

by Prestel, Alexander., author.

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

87.
Lecture Notes on O-Minimal Structures and Real Analytic Geometry

by Miller, Chris., editor.

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

88.
Introduction to Mathematical Structures and Proofs

by Gerstein, Larry J., author.

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

89.
Propositional and Predicate Calculus A Model of Argument

by Goldrei, Derek., author.

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

90.
A Course in Formal Languages, Automata and Groups

by Chiswell, Ian M., author.

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

91.
Dude, Can You Count?

by Constanda, Christian., editor.

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

92.
Around and Beyond the Square of Opposition

by Baziau, Jean-Yves.

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

93.
The Strength of Nonstandard Analysis

by Berg, Imme., editor.

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

94.
Algorithmic Composition

by Nierhaus, Gerhard., author.

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

95.
Field Arithmetic

by Fried, Michael D., author.

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

96.
Introduction to Modern Number Theory

by Manin, Yuri Ivanovic., author.

Edition: 2.Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg, Imprint: Springer, 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 512.7, 23.

97.
Valued Fields

by Engler, Antonio J., author.

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

98.
More Sets, Graphs and Numbers:A Salute to Vera Sos and Andras Hajnal

by Gyori, Ervin.

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

99.
Theorie des ensembles

by Bourbaki, N.

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

100.
Function Algebras on Finite Sets

by Lau, Dietlinde., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 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