Results of search for 'su:{Computer Systems}' › RKMVERI, BELUR MATH, CENTRAL LIBRARY catalog

Results
1.		Principles of model checking by Christel Baier Joost-Pieter Katoen Material type: Text; Format: print ; Literary form: Not fiction Publication details: The MIT Press 2008 Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.24 BAI(PRI). Save to lists
2.	Image from Amazon.com	Embedded robotics : mobile robot design and applications with embedded systems by Thomas Braunl Edition: Third Edition, 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: 629.892 BRA(EMB). Place hold Save to lists
3.		Distributed systems : concepts and design by George Coulouris J.Dollimore T.Kindberg Edition: 4 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Dorling Kindersley (I) Pvt.Ltd. 2009 Availability: Items available for loan: Central Library (1)Call number: 004.36 COU(DIS). Place hold Save to lists
4.		Design patterns for e-science by Henry Gardner Gabriele Manduchi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2007 Availability: Items available for loan: Central Library (1)Call number: 005.133 GAR(DES). Place hold Save to lists
5.		Integrated Graphic And Computer Modelling by A.Thomas Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008 Availability: Items available for loan: Central Library (1)Call number: 003.3 THO(INT). Place hold Save to lists
6.		A discipline of programming by Edsger W. Dijkstra Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Prentice Hall Inc. 1976 Availability: Items available for loan: Central Library (1)Call number: 005.12028 DIJ(DIS). Place hold Save to lists
7.		Computer Systems by J. Stanley Warford Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bratlett Pub. 2010 Availability: Items available for loan: Central Library (1)Call number: 004 WAR(COM). Place hold Save to lists
8.	Image from Amazon.com	Design Patterns for e-science by Henry Gardner Gabriele Manduchi Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2007 Availability: Items available for loan: Central Library (1)Call number: 005.133 GAR(DES). Place hold Save to lists
9.	Image from Amazon.com	An introduction to pogramming with IDL: interactive data language by Kenneth P. Bowman Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Elsevier c2006 Availability: Items available for loan: Central Library (1)Call number: 005.133 BOW(INT). Place hold Save to lists
10.	Image from Amazon.com	The foundations of program verification by Jacques Loeckx Kurt Sieber Series: Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: B. G. Teubner, John Wiley & Sons 1987 Availability: Items available for loan: Central Library (1)Call number: 005.14 LOE(FOU). Place hold Save to lists
11.	Image from Amazon.com	Beowulf cluster computing with linux by Wiliam Gropp (Ed.) Ewing Lusk (Ed.) Thomas Sterling (Ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2003 Availability: Items available for loan: Central Library (1)Call number: 004.35 BEO. Place hold Save to lists
12.	Image from Amazon.com	TinyOS programming by Philip Levis David Gay Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2009 Availability: Items available for loan: Central Library (1)Call number: 005.432 LEV(TIN). Place hold Save to lists
13.	Image from Amazon.com	Embedded system design: modeling, synthesis and verification by Daniel D. Gajski Samar Abdi Andreas Gerstlauer Gunar Schirner Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009 Availability: Items available for loan: Central Library (1)Call number: 004.21 EMB. Place hold Save to lists
14.	Image from Amazon.com	Building embedded linux systems by Karim Yaghmour Jon Masters Gilad Ben-Yossef Philippe Gerum Series: Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: O'reilly , Shroff Publisher & Distributers 2008 Availability: Items available for loan: Central Library (1)Call number: 005.268 BUI. Place hold Save to lists
15.	Image from Amazon.com	Practical unix and internet security by Simson Garfinkel Gene Spafford Alan Schwartz Series: Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: O'reilly , Shroff Publisher & Distributers 2003 Availability: Items available for loan: Central Library (1)Call number: 005.8 GAR(PRA). Place hold Save to lists
16.	Image from Amazon.com	Xen virtualization: a fast and practical guide to supporting multiple operating systems with the xen hypervisor by Prabhakar Chaganti Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Packet publishing, Shroff Publisher & Distributers 2007 Availability: Items available for loan: Central Library (1)Call number: 005.43 CHA(XEN). Place hold Save to lists
17.	Image from Amazon.com	Fundamentals of grid computing: theory, algorithms and technologies by Frederic Magoules (ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press , Taylor and Francis Group c2010 Availability: Items available for loan: Central Library (1)Call number: 004.36 FUN. Place hold Save to lists
18.		Computer Society Of India : CSI--2006 : theme--affordable computing : Science City, Kolkata, November 23-25, 2006 by Ed-Debashis Jana Material type: Text; Format: print ; Literary form: Not fiction Publication details: Tata Mc Graw Hill Publishing Co.Ltd. 2007 Availability: Items available for loan: Central Library (1)Call number: 004 COM. Place hold Save to lists
19.	Image from Amazon.com	Embedded system design : a unified hardware / software introduction by Frank Vahid Tony Givargis Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wiley, New York 2002 Availability: Items available for loan: Central Library (1)Call number: 005.256 VAH(EMB). Place hold Save to lists
20.	Image from Amazon.com	C++ GUI programming with Qt4 by Jasmin Blanchette Mark Summerfield Series: Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Pearson Education c2009 Availability: Items available for loan: Central Library (1)Call number: 005.133 BLA(C++). Place hold Save to lists

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 28 results.