|
1.
|
National conference on embedded systems, February 25, 2006
by Roy, Prateep | Malviya, Anjali. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mumbai: Thadomal Shahani Engineering College, 2006Availability: Items available for loan: [Call number: 004.16 ROY] (1).
|
|
2.
|
Advances in computers : distributed information resources
by Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1999Availability: Items available for loan: [Call number: 004 ZEL] (1).
|
|
3.
|
Advances in computers. Volume 64, New programming paradigms
by Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Morgan Kaufmann, 2005Availability: Items available for loan: [Call number: 004 ZEL ] (1).
|
|
4.
|
Building clustered linux systems.
by Lucke, Robert W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Prentice Hall, 2005Availability: Items available for loan: [Call number: 005.432 LUC] (1).
|
|
5.
|
Understanding the linux : virtual memory manager
by Gorman, Mel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2004Availability: Items available for loan: [Call number: 005.43 GOR] (2).
|
|
6.
|
Operating system principles
by Brinch Hansen, Per. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1973Availability: Items available for loan: [Call number: 001.64404 BRI] (1).
|
|
7.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
|
|
8.
|
8251 Microprocessor
by Ayala, Kenneth J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2000Availability: Items available for loan: [Call number: 004.165 AYA] (2).
|
|
9.
|
Doing hard time : developing real-time systems with UML, objects, frameworks and patterns
by Douglass, Bruce Powel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.117 DOU] (2).
|
|
10.
|
Computers as theatre
by Laurel, Brenda. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 1993Availability: Items available for loan: [Call number: 004.019 LAU] (1).
|
|
11.
|
Macintosh human interface guidelines
by Apple Computer Inc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading: Addison-Wesley, 1992Availability: Items available for loan: [Call number: 005.265 APP] (1).
|
|
12.
|
Text, ConText, and HyperText : writing with and for the computer
by Barrett, Edward. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1988Availability: Items available for loan: [Call number: 808.066004 BAR] (1).
|
|
13.
|
Model checking
by Clarke, Edmund M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2002Availability: Items available for loan: [Call number: 004.21 CLA] (1).
|
|
14.
|
Beowulf cluster computing with windows
by Sterling, Thomas Lawrence. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2002Availability: Items available for loan: [Call number: 005.35 STE] (1).
|
|
15.
|
Component models and systems for grid applications
by Getov, Vladimir | Kielmann, Thilo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004.36 GET] (1).
|
|
16.
|
Designing human interface in speech technology
by Chen, Fang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.454 CHE] (1).
|
|
17.
|
Future generation grids : proceedings of the Workshop on Future Generation Grids, November 1-5, 2004 Dagstuhl, Germany
by Getov, Vladimir | Getov, Vladimir | Laforenza, Domenico | Laforenza, Domenico | Reinefeld, Alexander | Reinefeld, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.36 GET] (2).
|
|
18.
|
Abstraction refinement for large scale model checking.
by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1).
|
|
19.
|
Elements of software science
by Halstead, Maurice H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: North Holland, 1977Availability: Items available for loan: [Call number: 001.6425 HAL] (1).
|
|
20.
|
Designing effective speech interfaces
by Weinschenk, Susan | Barker, Dean T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 006.454 WEI] (1).
|