|
|
201.
|
Formal models of operating systems kernels
by Craig, Iain D. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.42 CRA] (1).
|
|
|
202.
|
Introduction to operating system design and implementation : the OSP 2 approach
by Kifer, Michael | Smolka, Scot. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.43 KIF] (1).
|
|
|
203.
|
Formal refinement for operating system kernels
by Craig, Iain D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.42 CRA] (1).
|
|
|
204.
|
Guide to Advanced Empirical Software Engineering
by Singer, Janice | Shull, Forrest | Sj�berg, Dag I. K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1 SHU] (1).
|
|
|
205.
|
Understanding concurrent systems
by Roscoe, A. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004.35 ROS] (2).
|
|
|
206.
|
Composition of Secure Multi-Party Protocols : Comprehensive Study
by Lindell, Yehuda. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIN] (1).
|
|
|
207.
|
Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings
by Saraswat, Vijay A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
|
|
|
208.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
|
209.
|
Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
by Calude, Cristian S | Sassone, Vladimiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).
|
|
|
210.
|
Operating systems : internals and design principles
by Stallings, William. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2007Availability: Items available for loan: [Call number: 005.43 STA] (3).
|
|
|
211.
|
Windows vista step by step
by Preppernau, Joan | Cox, Joyce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2007Availability: Items available for loan: [Call number: 005.446 PRE] (2).
|
|
|
212.
|
Windows Vista inside out
by Bott, Ed | Siechert, Carl | Stinson, Craig. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2007Availability: Items available for loan: [Call number: 005.446 BOT] (2).
|
|
|
213.
|
Windows Vista : resource kit
by Tulloch, Mitch | Honeycutt, Jerry | Northrup, Tony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2007Availability: Items available for loan: [Call number: 005.44 TUL] (2).
|
|
|
214.
|
Windows server 2008 : networking and network access protection (NAP)
by Davies, Joseph | Northrup, Tony | Microsoft Corporation. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2008Availability: Items available for loan: [Call number: 004.6844 DAV] (2).
|
|
|
215.
|
Operating systems : internals and design principles
by Stallings, William. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: PHI Learning, 2009Availability: Items available for loan: [Call number: 005.43 STA] (3).
|
|
|
216.
|
Developing software for symbian OS : an introduction to creating smartphone applications in C++
by Babin, Steve | Harrison, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 621.38456 BAB] (1).
|
|
|
217.
|
Symbian OS architecture sourcebook: design and evolution of a mobile phone OS
by Morris, Ben. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 005.432 MOR] (1).
|
|
|
218.
|
Beginning linux programming
by Matthew, Neil | Stones, Richard. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley India, 2008Availability: Items available for loan: [Call number: 005.268 MAT] (1).
|
|
|
219.
|
Windows server 2008 bible
by Shapiro, Jeffrey R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley India, 2008Availability: Items available for loan: [Call number: 005.4476 SHA] (1).
|
|
|
220.
|
Operating system concepts
by Silberschatz, Abraham | Gagne, Greg | Galvin, Peter B. Edition: 8th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley India, 2009Availability: Items available for loan: [Call number: 005.43 SIL] (10).
|
