Refine your search

Your search returned 373 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
  • Groves, Lindsay [editor.]
  • Sun, Jing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
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
Online access:
Availability: No items available.

Add to cart
82.
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8051
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
Online access:
Availability: No items available.

Add to cart
83.
Lean Enterprise Software and Systems [electronic resource] : 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings / edited by Brian Fitzgerald, Kieran Conboy, Ken Power, Ricardo Valerdi, Lorraine Morgan, Klaas-Jan Stol. by
  • Fitzgerald, Brian [editor.]
  • Conboy, Kieran [editor.]
  • Power, Ken [editor.]
  • Valerdi, Ricardo [editor.]
  • Morgan, Lorraine [editor.]
  • Stol, Klaas-Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 167
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
Online access:
Availability: No items available.

Add to cart
84.
Data structure and software engineering [electronic resource] : challenges and improvements / [edited by] James L. Antonakos. by
  • Antonakos, James L
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Oakville, Ont. : Apple Academic Press, 2011
Online access:
Availability: No items available.

Add to cart
85.
Pro Data Visualization using R and JavaScript [electronic resource] / by Tom Barker. by
  • Barker, Tom [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
Online access:
Availability: No items available.

Add to cart
86.
Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu. by
  • Xu, Weixia [editor.]
  • Xiao, Liquan [editor.]
  • Zhang, Chengyi [editor.]
  • Li, Jinwen [editor.]
  • Yu, Liyan [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 396
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
Online access:
Availability: No items available.

Add to cart
87.
Ontology-Driven Software Development [electronic resource] / edited by Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao. by
  • Pan, Jeff Z [editor.]
  • Staab, Steffen [editor.]
  • Aßmann, Uwe [editor.]
  • Ebert, Jürgen [editor.]
  • Zhao, Yuting [editor.]
  • SpringerLink (Online service)
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
Online access:
Availability: No items available.

Add to cart
88.
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
Online access:
Availability: No items available.

Add to cart
89.
Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea. by
  • Gellert, Ulrich [author.]
  • Cristea, Ana Daniela [author.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
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
Online access:
Availability: No items available.

Add to cart
90.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by
  • Cirne, Walfredo [editor.]
  • Desai, Narayan [editor.]
  • Frachtenberg, Eitan [editor.]
  • Schwiegelshohn, Uwe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7698
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
Online access:
Availability: No items available.

Add to cart
91.
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
Online access:
Availability: No items available.

Add to cart
92.
Advanced Information Systems Engineering [electronic resource] : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings / edited by Camille Salinesi, Moira C. Norrie, Óscar Pastor. by
  • Salinesi, Camille [editor.]
  • Norrie, Moira C [editor.]
  • Pastor, Óscar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7908
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
Online access:
Availability: No items available.

Add to cart
93.
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
  • Ruhe, Günther [editor.]
  • Zhang, Yuanyuan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
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
Online access:
Availability: No items available.

Add to cart
94.
Fundamentals of software architecture : an engineering approach / Mark Richards and Neal Ford. by
  • Richards, Mark [author.]
  • Ford, Neal [author.]
Edition: First edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: India O'Reilly Media, Inc., 2020
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.12 RIF, ...

Place hold Add to cart
95.
End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by
  • Dittrich, Yvonne [editor.]
  • Burnett, Margaret [editor.]
  • Mørch, Anders [editor.]
  • Redmiles, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7897
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
Online access:
Availability: No items available.

Add to cart
96.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
  • Sharygina, Natasha [editor.]
  • Veith, Helmut [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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
Online access:
Availability: No items available.

Add to cart
97.
Safe and Secure Software Reuse [electronic resource] : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / edited by John Favaro, Maurizio Morisio. by
  • Favaro, John [editor.]
  • Morisio, Maurizio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7925
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
Online access:
Availability: No items available.

Add to cart
98.
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
Online access:
Availability: No items available.

Add to cart
99.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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
Online access:
Availability: No items available.

Add to cart
100.
Systems and Software Variability Management [electronic resource] : Concepts, Tools and Experiences / edited by Rafael Capilla, Jan Bosch, Kyo-Chul Kang. by
  • Capilla, Rafael [editor.]
  • Bosch, Jan [editor.]
  • Kang, Kyo-Chul [editor.]
  • SpringerLink (Online service)
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
Online access:
Availability: No items available.

Add to cart
Pages