Refine your search

Your search returned 748 results.

Not what you expected? Check for suggestions
Sort
Results
101.
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura. by
  • Iyoda, Juliano [editor.]
  • Moura, Leonardo de [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8195
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

102.
Hazardous waste incineration calculations : problems and software / Joseph P. Reynolds, R. Ryan Dupont, Louis Theodore. by
  • Reynolds, Joseph P
  • Dupont, R. Ryan
  • Theodore, Louis
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Wiley, c1991
Availability: Items available for loan: Central Library, SUST (2)Call number: 628.42 REH, ...

103.
A hand Book of Research or the fellows of m. Phil and ph.d. Programmes / Abedin, Zainul M. by
  • Abedin, Zainul M
Edition: Rev ed.
Material type: Text Text; Format: print
Publication details: Bangladesh : Book Syndicate, c1985
Availability: Items available for loan: Central Library, SUST (5)Call number: 001.4 ABH, ...

104.
Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by
  • Cordeiro, José [editor.]
  • Virvou, Maria [editor.]
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 170
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

105.
Data flow analysis [electronic resource] : theory and practice / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare. by
  • Khedker, Uday
  • Sanyal, Amitabha
  • Karkare, Bageshri
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton : CRC Press/Taylor & Francis, c2009
Online access:
Availability: No items available.

106.
Proceedings of the 2012 International Conference on Information Technology and Software Engineering [electronic resource] : Information Technology / edited by Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing. by
  • Lu, Wei [editor.]
  • Cai, Guoqiang [editor.]
  • Liu, Weibin [editor.]
  • Xing, Weiwei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 210
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

107.
Innovative Technologies for Dependable OTS-Based Critical Systems [electronic resource] : Challenges and Achievements of the CRITICAL STEP Project / edited by Domenico Cotroneo. by
  • Cotroneo, Domenico [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

108.
Software engineering and CASE : bridging the culture gap / Tom Flecher, Jim Hunt. by
  • Flecher, Tom
  • Hunt, Jim
Series: CAP Gemini America series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : McGraw-Hill, c1993
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.10684 FLS.

109.
Sensor Systems and Software [electronic resource] : 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers / edited by Marco Zuniga, Gianluca Dini. by
  • Zuniga, Marco [editor.]
  • Dini, Gianluca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 122
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

110.
Proceedings of the 2012 International Conference on Information Technology and Software Engineering [electronic resource] : Information Technology & Computing Intelligence / edited by Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing. by
  • Lu, Wei [editor.]
  • Cai, Guoqiang [editor.]
  • Liu, Weibin [editor.]
  • Xing, Weiwei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 211
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

111.
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
  • Păsăreanu, Corina S [editor.]
  • Salaün, Gwen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

112.
Object-oriented software engineering : a use case driven approach / Ivar Jacobson. by
  • Jacobson, Ivar
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Addison-wesley , c1992
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.1 JAO.

113.
Software tools in business : WordPerfect 4.2, 5.0, 5.1, Lotus 1-2-3, release 2.01, 2.2, dBASE III Plus / Timothy Trainor, Jeffrey Stipes. by
  • Trainor, Timothy
  • Stipes, Jeffrey
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Mitchell McGraw-Hill, c1991
Availability: Items available for loan: Central Library, SUST (1)Call number: 650.02855365 TRS.

114.
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
  • Yenigün, Hüsnü [editor.]
  • Yilmaz, Cemal [editor.]
  • Ulrich, Andreas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

115.
TypeScript Revealed [electronic resource] / by Dan Maharry. by
  • Maharry, Dan [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

116.
SmartShadow: Models and Methods for Pervasive Computing [electronic resource] / by Zhaohui Wu, Gang Pan. by
  • Wu, Zhaohui [author.]
  • Pan, Gang [author.]
  • SpringerLink (Online service)
Series: Advanced Topics in Science and Technology in China
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

117.
Proceedings of the 2012 International Conference on Information Technology and Software Engineering [electronic resource] : Software Engineering & Digital Media Technology / edited by Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing. by
  • Lu, Wei [editor.]
  • Cai, Guoqiang [editor.]
  • Liu, Weibin [editor.]
  • Xing, Weiwei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 212
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

118.
Moving Target Defense II [electronic resource] : Application of Game Theory and Adversarial Modeling / edited by Sushil Jajodia, Anup K. Ghosh, V.S. Subrahmanian, Vipin Swarup, Cliff Wang, X. Sean Wang. by
  • Jajodia, Sushil [editor.]
  • Ghosh, Anup K [editor.]
  • Subrahmanian, V.S [editor.]
  • Swarup, Vipin [editor.]
  • Wang, Cliff [editor.]
  • Wang, X. Sean [editor.]
  • SpringerLink (Online service)
Series: Advances in Information Security ; 100
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

119.
Security and Privacy Protection in Information Processing Systems [electronic resource] : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / edited by Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi. by
  • Janczewski, Lech J [editor.]
  • Wolfe, Henry B [editor.]
  • Shenoi, Sujeet [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 405
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

120.
Debugging : creative techniques and tools for software repair / Martin Stitt. by
  • Stitt, Martin, 1957-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Wiley, c1992
Online access:
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.14 STD.

Pages