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

Results
	481.	Fundamentals of computer organization and design by Sivarama P. Dandamudi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2004 Availability: Items available for loan: Central Library (1)Call number: 004.22 DAN(FUN). Place hold Save to lists
	482.	Mathematical logic for computer science by Mordechai Ben-Ari Edition: Second edition Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005 Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT). Place hold Save to lists
	483.	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, 2008 Availability: Items available for loan: Central Library (1)Call number: 621.3815372 AST(FUN). Place hold Save to lists
	484.	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, 2008 Availability: Items available for loan: Central Library (1)Call number: 621.3815372 AST(FUN). Place hold Save to lists
	485.	Quantum mechanics : fundamentals by Kurt Gottfried Tung-mow Yan Series: Graduate texts in contemporary physics Edition: Second Edition Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2003 Availability: Items available for loan: Central Library (2)Call number: 530.12 GOT(QUA), ... Place hold Save to lists
	486.	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, 2006 Availability: Items available for loan: Central Library (1)Call number: 621.395 HAC(LOG). Place hold Save to lists
	487.	Formal specification : techniques and applications by Nimal Nissanke Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 1999 Availability: Items available for loan: Central Library (1)Call number: 005.131 NIS(FOR). Place hold Save to lists
	488.	Logic for applications : second edition by Anil Nerode Richard A. Shore Series: Graduate texts in computer science Edition: 2 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1997 Availability: Items available for loan: Central Library (1)Call number: 005.1015113 NER(LOG). Place hold Save to lists
	489.	Algorithms for VLSI physical design automation by Naveed A. Sherwani Edition: 3 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer (I) Pvt.Ltd. 2005 Availability: Items available for loan: Central Library (1)Call number: 005.1 SHE(ALG). Place hold Save to lists
	490.	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 2003 Availability: Items available for loan: Central Library (1)Call number: 005.8 PIE(FUN). Place hold Save to lists
	491.	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 2000 Availability: Items available for loan: Central Library (1)Call number: 004.015113 MED(AUT). Place hold Save to lists
	492.	First-order logic and automated theorem proving : second edition by Melvin Fitting Series: Graduate texts in computer science Edition: 2 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1996 Availability: Items available for loan: Central Library (1)Call number: 004.015113 FIT(FIR). Place hold Save to lists
	493.	Computational intelligence : methods and techniques by Leszek Rutkowski Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 2008 Availability: Items available for loan: Central Library (1)Call number: 006.3 RUT(COM). Place hold Save to lists
	494.	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 1998 Availability: Items available for loan: Central Library (1)Call number: 004.36 REI(ELE). Place hold Save to lists
	495.	Encyclopedia of algorithms by Ming-Yang Kao (ed.) Series: Springer reference Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 2008 Availability: Items available for loan: Central Library (1)Call number: 518.103 ENC. Place hold Save to lists
	496.	Discrete, continuous, and hybrid Petri Nets by Rene David Hassane Alla Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Verlag 2005 Availability: Items available for loan: Central Library (1)Call number: 004.0151135 DAV(DIS). Place hold Save to lists
	497.	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 physics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2009 Availability: Items available for loan: Central Library (1)Call number: 530.41 IBA(SOL). Place hold Save to lists
	498.	Practical quantum mechanics by Siegfried Flugge Series: Classics in mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 1999 Availability: Items available for loan: Central Library (1)Call number: 530.12 FLU(PRA). Place hold Save to lists
	499.	Computation engineering : applied automata theory and logic by Ganesh Gopalakrishnan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Science 2006 Availability: Items available for loan: Central Library (1)Call number: 004.0151 GOP(COM). Place hold Save to lists
	500.	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 2007 Availability: Items available for loan: Central Library (1)Call number: 004.0151134 FIN. Place hold Save to lists

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2281 results.