Refine your search

Your search returned 372 results.

Not what you expected? Check for suggestions
Sort
Results
101.
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by
  • Jürjens, Jan [editor.]
  • Livshits, Benjamin [editor.]
  • Scandariato, Riccardo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7781
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.
Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. by
  • Gorbenko, Anatoliy [editor.]
  • Romanovsky, Alexander [editor.]
  • Kharchenko, Vyacheslav [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8166
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.

103.
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.

104.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
  • Hierons, Robert M [editor.]
  • Merayo, Mercedes G [editor.]
  • Bravetti, Mario [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
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.
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
Availability: No items available.

106.
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers / edited by Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe. by
  • Fred, Ana [editor.]
  • Dietz, Jan L. G [editor.]
  • Liu, Kecheng [editor.]
  • Filipe, Joaquim [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 272
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.
Web Information Systems Engineering – WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. by
  • Lin, Xuemin [editor.]
  • Manolopoulos, Yannis [editor.]
  • Srivastava, Divesh [editor.]
  • Huang, Guangyan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8181
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.

108.
Software architecture in practice / Len Bass, Paul Clements, Rick Kazman. by
  • Bass, Len
  • Clements, Paul, 1955-
  • Kazman, Rick
Series: SEI series in software engineering
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Upper Saddle River, NJ : Addison-Wesley, c2013
Availability: Items available for loan: Central Library, SUST (5)Call number: 005.1 BSS, ...

109.
Advances in Computing and Information Technology [electronic resource] : Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3 / edited by Natarajan Meghanathan, Dhinaharan Nagamalai, Nabendu Chaki. by
  • Meghanathan, Natarajan [editor.]
  • Nagamalai, Dhinaharan [editor.]
  • Chaki, Nabendu [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 178
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.

110.
Software Quality. Increasing Value in Software and Systems Development [electronic resource] : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. by
  • Winkler, Dietmar [editor.]
  • Biffl, Stefan [editor.]
  • Bergsmann, Johannes [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 133
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.
Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne. by
  • Iliadis, Lazaros [editor.]
  • Papadopoulos, Harris [editor.]
  • Jayne, Chrisina [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 383
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.
Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne. by
  • Iliadis, Lazaros [editor.]
  • Papadopoulos, Harris [editor.]
  • Jayne, Chrisina [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 384
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.

113.
Advances in Computing and Information Technology [electronic resource] : Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 2 / edited by Natarajan Meghanathan, Dhinaharan Nagamalai, Nabendu Chaki. by
  • Meghanathan, Natarajan [editor.]
  • Nagamalai, Dhinaharan [editor.]
  • Chaki, Nabendu [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 177
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.

114.
Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León. by
  • Fernández-Izquierdo, María Ángeles [editor.]
  • Muñoz-Torres, María Jesús [editor.]
  • León, Raúl [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 145
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.
ICT Development for Social and Rural Connectedness [electronic resource] / by Nor Aziah Alias. by
  • Alias, Nor Aziah [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Electrical and Computer Engineering
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.

116.
Middleware Solutions for the Internet of Things [electronic resource] / by Flávia C. Delicato, Paulo F. Pires, Thais Batista. by
  • Delicato, Flávia C [author.]
  • Pires, Paulo F [author.]
  • Batista, Thais [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

117.
Software engineering education for a global E-service economy : state of the art, trends and developments / Gianmario Motta, Bing Wu, editors. by
  • Motta, Gianmario [editor.]
  • Wu, Bing [editor.]
Series: Progress in IS
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1071 SOF, ...

118.
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, ...

119.
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
Availability: No items available.

120.
Exploring Services Science [electronic resource] : 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings / edited by João Falcão e Cunha, Mehdi Snene, Henriqueta Nóvoa. by
  • Falcão e Cunha, João [editor.]
  • Snene, Mehdi [editor.]
  • Nóvoa, Henriqueta [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 143
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.

Pages