Results of search for 'ccl=Provider:Springer' › RKMVERI, BELUR MATH, CENTRAL LIBRARY catalog

Results
		No cover image available Fundamentals of computer organization and design by Sivarama P. Dandamudi. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2004Availability: Items available for loan: Central Library (1)Call number: 004.22 DAN(FUN). Place hold
		Mathematical logic for computer science by Mordechai Ben-Ari. Edition: Second editionMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT). Place hold
		Fundamentals of switching theory and logic design : a hands on approach by Jaakko T. Astola \| Radomir S. Stankovic. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2008Availability: Items available for loan: Central Library (1)Call number: 621.3815372 AST(FUN). Place hold
		Fundamentals of switching theory and logic design : a hands on approach by Jaakko T. Astola \| Radomir S. Stankovic. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2008Availability: Items available for loan: Central Library (1)Call number: 621.3815372 AST(FUN). Place hold
		Quantum mechanics : fundamentals by Kurt Gottfried \| Tung-mow Yan. Series: Graduate texts in contemporary physicsEdition: Second EditionMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2003Availability: Items available for loan: Central Library (2)Call number: 530.12 GOT(QUA), ... Place hold
		Logic synthesis and verification algorithms by Gary D. Hachtel \| Fabio Somenzi. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2006Availability: Items available for loan: Central Library (1)Call number: 621.395 HAC(LOG). Place hold
		No cover image available Formal specification : techniques and applications by Nimal Nissanke. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 1999Availability: Items available for loan: Central Library (1)Call number: 005.131 NIS(FOR). Place hold
		Logic for applications : second edition by Anil Nerode \| Richard A. Shore. Series: Graduate texts in computer scienceEdition: 2Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1997Availability: Items available for loan: Central Library (1)Call number: 005.1015113 NER(LOG). Place hold
		No cover image available Algorithms for VLSI physical design automation by Naveed A. Sherwani. Edition: 3Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer (I) Pvt.Ltd. 2005Availability: Items available for loan: Central Library (1)Call number: 005.1 SHE(ALG). Place hold
		Fundamentals of computer security by Josef Pieprzyk \| Thomas Hardjono \| Jennifer Seberry. Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India), New Delhi 2003Availability: Items available for loan: Central Library (1)Call number: 005.8 PIE(FUN). Place hold
		No cover image available Automata and languages : theory and applications by Alexander Meduna. Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India), New Delhi 2000Availability: Items available for loan: Central Library (1)Call number: 004.015113 MED(AUT). Place hold
		First-order logic and automated theorem proving : second edition by Melvin Fitting. Series: Graduate texts in computer scienceEdition: 2Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1996Availability: Items available for loan: Central Library (1)Call number: 004.015113 FIT(FIR). Place hold
		No cover image available Computational intelligence : methods and techniques by Leszek Rutkowski. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 006.3 RUT(COM). Place hold
		No cover image available Elements of distributed algorithms : modeling and analysis with Petri nets by Wolfgang Reisig. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 1998Availability: Items available for loan: Central Library (1)Call number: 004.36 REI(ELE). Place hold
		Encyclopedia of algorithms by Ming-Yang Kao (ed.). Series: Springer referenceMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 2008Availability: Items available for loan: Central Library (1)Call number: 518.103 ENC. Place hold
		No cover image available Discrete, continuous, and hybrid Petri Nets by Rene David \| Hassane Alla. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 2005Availability: Items available for loan: Central Library (1)Call number: 004.0151135 DAV(DIS). Place hold
		Solid-state physics : an introduction to principles of materials science : with 263 figures, 17 panels and 100 problems by Harald Ibach \| Hans Luth. Series: Advanced texts in physicsMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2009Availability: Items available for loan: Central Library (1)Call number: 530.41 IBA(SOL). Place hold
		Practical quantum mechanics by Siegfried Flugge. Series: Classics in mathematicsMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 1999Availability: Items available for loan: Central Library (1)Call number: 530.12 FLU(PRA). Place hold
		No cover image available Computation engineering : applied automata theory and logic by Ganesh Gopalakrishnan. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Science 2006Availability: Items available for loan: Central Library (1)Call number: 004.0151 GOP(COM). Place hold
		No cover image available Finite model theory and its applications by Erich Gradel \| P.G.Kolaitis \| L.Libkin \| M.Marx \| J.Spencer. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer – Verlag 2007Availability: Items available for loan: Central Library (1)Call number: 004.0151134 FIN. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2256 results.