|
|
121.
|
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
by Bogliolo, Alessandro | Bernardo, Marco. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
|
122.
|
Conceptual modeling of information systems
by Olive, Antoni. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.74 OLI] (1).
|
|
|
123.
|
Nonlinear Systems Identifications
by Nelles, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 003.75 NEL] (1).
|
|
|
124.
|
Circuit design with VHDL
by Pedroni, Volnei A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2006Availability: Items available for loan: [Call number: 621.395 PED] (1).
|
|
|
125.
|
Professional multicore programming : design and implementation for C++ developers
by Hughes, Cameron | Hughes, Tracey. Edition: Wiley-India ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley, 2008Availability: Items available for loan: [Call number: 005.133 HUG] (1).
|
|
|
126.
|
Computers as components : principles of embedded computing system design
by Wolf, Wayne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: Morgan Kaufmann, 2005Availability: Items available for loan: [Call number: 004.21 WOL] (1).
|
|
|
127.
|
Digital systems design using VHDL
by Roth, Charles H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Toronto: Cengage Learning India, 2008Availability: No items available Checked out (1).
|
|
|
128.
|
SOA: principles of service design
by Erl, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Pearson Education, 2008Availability: Items available for loan: [Call number: 004.22 ERL] (1).
|
|
|
129.
|
Object-oriented analysis and design : a pragmatic approach
by Deacon, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Pearson Education, 2005Availability: Items available for loan: [Call number: 005.117 DEA] (1).
|
|
|
130.
|
Modern systems analysis and design
by Hoffer, Jeffrey A | George, Joey F | Valacich, Joseph S. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2009Availability: Items available for loan: [Call number: 658.4038001 HOF] (1).
|
|
|
131.
|
Hardware/software co-design : principles and practice
by Wolf, Wayne | Staunstrup, Jorgen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Springer, 1997Availability: Items available for loan: [Call number: 004.21 STA] (1).
|
|
|
132.
|
Head First Object-Oriented Analysis and Design
by McLaughlin, Brett. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sebastopol: O'Reilly Media, 2006Availability: Items available for loan: [Call number: 005.117 MCL] (1).
|
|
|
133.
|
Service science : design for scaling and transformation
by Hsu, Cheng. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2009Availability: Items available for loan: [Call number: 338.47004 HSU] (1).
|
|
|
134.
|
Building secure software: How to avoid security problems the right way
by Viega, John | McGaw, Gary. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 2001Availability: Items available for loan: [Call number: 005.1 VIE] (1).
|
|
|
135.
|
Participatory IT design : designing for business and workplace realities
by Kensing, Finn | Bodker, Keld | Simonsen, Jesper. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: MIT Press, 2004Availability: Items available for loan: [Call number: 004.21 BOD] (1).
|
|
|
136.
|
Computer systems : theory, technology, and applications
by Sparck Jones, Karen | Herbert, Andrew J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York Springer 2004Availability: Items available for loan: [Call number: 005.12 HER] (1).
|
|
|
137.
|
Understanding Behavioral Synthesis
by Elliott, John P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1999Availability: Items available for loan: [Call number: 621.3815 ELL] (2).
|
|
|
138.
|
Model-driven software development
by Beydeda, Sami | Book, Matthias | Gruhn, Volker. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 BEY] (1).
|
|
|
139.
|
Process algebra with timing
by Baeten, J. C. M | Middelburg, C. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 003.83 BAE] (1).
|
|
|
140.
|
Computer Systems Design and Architecture
by Heuring, Vincent P | Jordan, Harry F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 004.22 HEU] (3).
|
