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 140 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Elements of automata theory

by Jacques Sakarovitch | Reuben Thomas (tr.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for loan: Central Library (1)Call number: 005.131 SAK(ELE).

Place hold
Elements of automata theory

by Jacques Sakarovitch | Reuben Thomas (tr.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for loan: Central Library (1)Call number: 005.131 SAK(ELE).

Place hold
From semantics to computer science: essays in honour of Gilles Kahn

by Yves Bertot (ed.) | Gerard Huet (ed.) | Jean-Jacques Levy (ed.) | Gordon Plotkin (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for loan: Central Library (1)Call number: 004 SEM.

Place hold
Elements of automata theory

by Jacques Sakarovitch | Reuben Thomas (tr.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for loan: Central Library (1)Call number: 005.131 SAK(ELE).

Place hold
Database design and implementation

by Edward Sciore.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: John Wiley & Sons c2009Availability: Items available for loan: Central Library (1)Call number: 005.1 SCI(DAT).

Place hold
Graphics shaders: theory and practice

by Mike Bailey | Steve Cunningham.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: A. K. Peters Ltd. c2009Availability: Not available: Central Library: Checked out (1).

Place hold
Transportation systems analysis: models and applications

by Ennio Cascetta.

Series: Springer optimization and its applications; 29Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 629.04 CAS(TRA).

Place hold
Pattern Calculus: computing with functions and structures

by Barry Jay.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 005.73 JAY(PAT).

Place hold
Duality in vector optimization

by Radu Ioan Boṭ | Sorin-Mihai Grad | Gert Wanka.

Series: Vector optimizationEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 519.6 BOT(DUA).

Place hold
The scheme programming language

by R. Kent Dybvig | Jean-Pierre Hébert.

Series: Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The M.I.T. Press c2009Availability: Items available for loan: Central Library (1)Call number: 005.133 DYB(SCH).

Place hold
Decomposition methods for differential equations: theory and applications

by Juergen Geiser.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press Taylor and Francis Group c2009Availability: Items available for loan: Central Library (1)Call number: 518.6 GEI(DEC).

Place hold
Embedded system design: modeling, synthesis and verification

by Daniel D. Gajski | Samar Abdi | Andreas Gerstlauer | Gunar Schirner.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 004.21 EMB.

Place hold
Proportional optimization and fairness

by Wieslaw Kubiak.

Series: International series in operations research and management science, vol.127Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 003 KUB(PRO).

Place hold
Encyclopedia of distances

by Michel Marie Deza | Elena Deza.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 514.325 DEZ(ENC).

Place hold
Graph factors and matching extensions

by Quiglin Roger Yu | Guizhen Liu.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 511.5 YU(GRA).

Place hold
A primer on scientific programming with python

by Hans Petter Langtangen.

Series: Texts in computational science and engineering; 6Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 005.133 LAN(PRI).

Place hold
Parallel coordinates: visual multidimensional geometry and its applications

by Alfred Inselberg.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 006.60151 INS(PAR).

Place hold
Games, puzzles, and computation

by Robert A. Hearn | Erik D. Demaine.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: A. K. Peters Ltd. c2009Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEA(GAM).

Place hold
Optimal quadratic programming algorithms: with applications to variational inequalities

by Zdennek Dostal.

Series: Springer optimization and its applications; 23Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 004.0151976 DOS(OPT).

Place hold
Verification of sequential and concurrent programs

by Krzysztof R. Apt | Frank S. De Boer | Ernst-Rudiger Olderog.

Series: Texts in computer scienceEdition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 005.14 APT(VER).

Place hold
Pages
Visitor count :