|
261.
|
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures
by Bernardo, Marco | Inverardi, Paola. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
262.
|
Embedded Software for SoC
by Jerraya, Ahmed Amine | Verkest, Diederik | Wehn, Norbert | Yoo, Sungjoo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 005.1 JER] (1).
|
|
263.
|
Software architecture in practice
by Bass, Len | Clements, Paul | Kazman, Ric. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2004Availability: Items available for loan: [Call number: 005.1 BAS] (1).
|
|
264.
|
Software engineering
by Sommerville, Ian. Edition: 10th edMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Essex Pearson 2016Availability: Items available for loan: [Call number: 005.1 SOM] (1).
|
|
265.
|
Schaum's outline of theory and problems of software engineering
by Gustafson, David A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw-Hill 2003Availability: Items available for loan: [Call number: 005.1 GUS] (1).
|
|
266.
|
Software pioneers and their contributions to software engineering
by Broy, Manfred | Denert, Ernst. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.10922 BRO] (4).
|
|
267.
|
Software engineering
by Kelkar, S. A | Bellur, Umesh | Joshi, Prof. R. K | Sarda, N. L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mumbai: Centre for Distance Engineering Education Programme, IIT Bombay, 2008Availability: Items available for loan: [Call number: 005.1 KEL] (39).
|
|
268.
|
Requirements engineering for sociotechnical systems
by Mate, Jose Luis | Silva, Andres. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hershey: Information Science Publication, 2005Availability: Items available for loan: [Call number: 005.1 MAT] (1).
|
|
269.
|
Real-time C++ : efficient object-oriented and template microcontroller programming, 3rd ed.
by Kormanyos, Christopher. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2018Availability: Items available for loan: [Call number: 005.133 KOR] (1).
|
|
270.
|
Functional safety for road vehicles : new challenges and solutions for e-mobility and automated driving
by Ross, Hans-Leo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2016Availability: Items available for loan: [Call number: 629.20289 ROS] (1).
|
|
271.
|
Programming in HTML and PHP : coding for scientists and engineers
by Brooks, David R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer 2018Availability: Items available for loan: [Call number: 006.74 BRO] (1).
|
|
272.
|
Agile Estimating and Planning
by Cohn, Mike. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: India : Pearson India Education, 2006Availability: Items available for loan: [Call number: 005.1 COH] (1).
|
|
273.
|
Software engineering in the agile world
by Ahmed, Ashfaque. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chhattisgarh : Flusing Meadows Publishers, 2018Availability: Items available for loan: [Call number: 005.1 AHM] (5).
|
|
274.
|
Formal verification of floating-point hardware design : a mathematical approach
by Russinoff, David M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 004.0151 RUS] (1).
|
|
275.
|
Digital marketplaces unleashed
by Linnhoff-Popien, Claudia [edt] | Schneider, Ralf [edt] | Zaddach, Michael [edt]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Germany : Springer, 2018Availability: Items available for loan: [Call number: 004.6 LIN] (1).
|
|
276.
|
Software engineering : theory and practice, 4th ed.
by Pfleeger, Shari Lawrence | Atlee, Joanne M. Publisher: Noida Pearson Education 2013Availability: Items available for loan: [Call number: 005.1 PFL] (3).
|
|
277.
|
Doing design ethnography
by Crabtree, Andy | Rouncefield, Mark | Tolmie, Peter. Publisher: London : Springer, 2012Availability: Items available for loan: [Call number: 305.800285421 CRA] (1).
|
|
278.
|
Embedded Systems - a Hardware-Software Co-Design Approach : Unleash the Power of Arduino!
by Morshed, Bashir I. Publisher: Cham : Springer, 2021Availability: No items available Checked out (1).
|
|
279.
|
Database systems : a pragmatic approach
by Foster, Elvis C | Godbole, Shripad. Edition: 3rd ed. Publisher: Boca Raton : CRC Press, 2023Availability: Items available for loan: [Call number: 005.74 FOS] (1).
|
|
280.
|
Modern software engineering : doing what works to build better software faster
by Farley, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Addison Wesley, 2022Availability: Items available for loan: [Call number: 005.1 FAR] (1).
|