Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade 

Your search returned 16 results.

Not what you expected? Check for suggestions
Sort
Results
Classification theories of polarized varieties

by Takao Fujita.

Series: London Mathematical Society lecture note series, 155Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, 1990Availability: Items available for loan: Central Library (1)Call number: 516.35-FUJ/CLA.

Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 KRO(DEC).

Branching programs and binary decision diagrams : theory and applications

by Ingo Wegener.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Socy.For Indl.& Appld.Maths.SIAM 2000Availability: Items available for loan: Central Library (1)Call number: 004.01519234 WEG(BRA).

Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 004.015181 KRO(DEC).

Introduction to computation and programming using Python : with application to understanding data

by John V. Guttag.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: PHI Learning Pvt. Ltd. 2018Availability: Items available for loan: Central Library (1)Call number: 005.133 GUT(INT).

How to think like a computer scientist : learning with Python

by Allen Downey | Jeffrey Elkner | Chris Meyers.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dreamtech Press 2016 (rpnt.)Availability: Items available for loan: Central Library (1)Call number: 005.133 DOW(HOW).

Algorithms for interviews : a problem solving approach

by Adnan Aziz | Amit Prakash.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: algorithmsforinterviews.com 2010Availability: Items available for loan: Central Library (1)Call number: 005.1 AZI(ALG).

Introduction to numerical programming : a practical guide for scientists and engineers using Python and C/C++

by Titus Adrian Beu.

Series: Series in Computational PhysicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press 2015Availability: Items available for loan: Central Library (1)Call number: 005.133 BEU(INT).

Beyond worst-case analysis of algorithms

by Tim Roughgarden (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2021Availability: Items available for loan: Central Library (1)Call number: 005.13 BEY.

Programming in ANSI C

by E. Balagurusamy.

Edition: 6th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Tata Mcgraw Hill Education Private Limited 2012Availability: Not available: Central Library: Checked out (1).

Learning algorithms : a programmer's guide to writing better code

by George T. Heineman.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Shroff Publishers & Distributors Pvt. Ltd. and O'reilly 2021Availability: Items available for loan: Central Library (1)Call number: 005.13 HEI(LEA).

Computer programming and numerical analysis : an integrated approach

by N. Datta.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Universities Press 2000Availability: Items available for loan: Central Library (1)Call number: 518 DAT(COM).

Advanced programming in the UNIX environment

by W. Richard Stevens.

Edition: Low Price EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Pearson Education 1993Availability: Items available for loan: Central Library (1)Call number: 005.432 STE(ADV).

A primer on scientific programming with Python

by Hans Petter Langtangen.

Series: Texts in Computational Science and Engineering, 6Edition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer - Verlag 2016Availability: Items available for loan: Central Library (1)Call number: 005.133 LAN(PRI).

Effective python : 90 specific ways to write better Python

by Brett Slatkin.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Pearson India Education Service Pvt. Ltd. 2022Availability: Items available for loan: Central Library (1)Call number: 005.133 SLA(EFF).

Introduction to algorithms

by Thomas H. Cormen | Charles Eric Leiserson | Ronald L Rivest | Clifford Stein.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Massachusett The MIT Press 2022Availability: Not available: Central Library: Checked out (1).

Pages
Visitor count :