Welcome to Central Library, SUST

Refine your search

Your search returned 716 results.

Not what you expected? Check for suggestions
Sort
Results
581.
Software project effort estimation / Adam Trendowicz; Ross Jeffery by
  • Trendowicz, Adam
  • Jeffery, Ross
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Cham : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1068 TRS, ...

582.
Systems and software quality : the next step for industrialisation / Martin Wieczorek, Diederik Vos, Heinz Bons by
  • Wieczorek, Martin
  • Vos, Diederik
  • Bons, Heinz
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 338.470016425 WIS, ...

583.
Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke. by
  • Peled, Doron A, 1962-
Series: Texts in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2001
Availability: Items available for loan: Central Library, SUST (3)Call number: 005 PES, ...

584.
Pro PHP programming / Peter MacIntyre, Brian Danchilla, Mladen Gogala. by
  • MacIntyre, Peter
  • Danchilla, Brian
  • Gogala, Mladen
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, NY : Apress : Distributed by Springer Science+Business Media, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 MAP, ...

585.
Professional Java development with the Spring Framework / Rod Johnson ... [et al.]. by
  • Johnson, Rod, 1970-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Indianapolis, IN : Wiley Pub., 2005
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 PRO, ...

586.
Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog by
  • Apt, Krzysztof R, 1949-
  • Boer, Frank S. de
  • Olderog, E.R
Series: Texts in computer science
Edition: 3rd extended ed.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: London ; New York : Springer, c2009
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.14 APV, ...

587.
Languages, design methods, and tools for electronic system design. Marie-Minerve Louërat; Torsten Maehne by
  • Louërat, Marie-Minerve
  • Maehne, Torsten
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york. : Springer, ©2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 LAN, ...

588.
The app generation : how today's youth navigate identity, intimacy, and imagination in a digital world / Howard Gardner and Katie Davis. by
  • Gardner, Howard, 1943-
  • Davis, Katie (Assistant professor)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Yale University Press. c2013
Availability: No items available.

589.
The app generation : how today's youth navigate identity, intimacy, and imagination in a digital world / Howard Gardner and Katie Davis. by
  • Gardner, Howard, 1943-
  • Davis, Katie (Assistant professor)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Yale University Press. c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 303.483309174927 GAA, ...

590.
Guide to software development : designing and managing the life cycle / Arthur M. Langer. by
  • Langer, Arthur M
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Springer, c2012
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.12 LAG, ...

591.
Recommendation systems in software engineering / [edited by] Martin P. Robillard...[et. al.]. by
  • Robillard, Martin P
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 REC, ...

592.
Design patterns : elements of reusable object-oriented software / Erich Gamma ... [et al.]. by
  • Helm, Richard
  • Johnson, Ralph
  • Vlissides, John
Series: Addison-Wesley professional computing series
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New delhi : Pearson, c2016
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.12 DES, ...

593.
Windows 8 and Windows Phone 8 game development / Adam Dawes. by
  • Dawes, Adam
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: [New York, NY] : New York : Apress ; Distributed to the book trade worldwide by Springer Science + Business Media, 2010
Other title:
  • Windows Phone Seven game development
Availability: Items available for loan: Central Library, SUST (3)Call number: 794.81526 DAW, ...

594.
Software requirements : styles and techniques / Soren Lauesen by
  • Lauesen, Soren
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Harlow : Addison-Wesley, c2002
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.12 LAS, ...

595.
The mythical man-month : essays on software engineering / Frederick P. Brooks, Jr. by
  • Brooks, Frederick P. (Frederick Phillips)
Edition: Anniversary ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley Pub. Co., 1995
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1068 BRM, ...

596.
The design of design : essays from a computer scientist / Frederick P. Brooks, Jr. by
  • Brooks, Frederick P. (Frederick Phillips)
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New delhi : Pearson, c2011
Availability: Items available for loan: Central Library, SUST (2)Call number: 620.0042 BRD, ...

597.
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by
  • CAV (Conference) (18th : 2006 : Seattle, Wash.)
  • Emerson, E. Allen
  • Sistla, A. Prasad
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ...

598.
Professional node.js : building javascript based scalable software / Pedro Teixeira, Bruce D. Williams, AGI Creative Team. by
  • Teixeira, Pedro Dennis
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Indianapolis, IN : Wiley Pub., Inc., c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1068 TEP, ...

599.
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ...

600.
Professional java for web applications : featuring websockets, spring framework JPA hibernate and spring security / Nicholas S. Williams, by
  • Williams, Nicholas S
Source: Springer eBooks
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Wrox. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004 WIP, ...

Pages