Welcome to Central Library, SUST

Your search returned 256 results.

Not what you expected? Check for suggestions
Sort
Results
141.
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
  • Bernardo, Marco [editor.]
  • Vink, Erik de [editor.]
  • Pierro, Alessandra Di [editor.]
  • Wiklicky, Herbert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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.

142.
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by
  • Duddy, Keith [editor.]
  • Kappel, Gerti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7909
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.

143.
SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by
  • Khendek, Ferhat [editor.]
  • Toeroe, Maria [editor.]
  • Gherbi, Abdelouahed [editor.]
  • Reed, Rick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7916
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.

144.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
  • Veanes, Margus [editor.]
  • Viganò, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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.

145.
Open Source Software: Quality Verification [electronic resource] : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings / edited by Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti. by
  • Petrinja, Etiel [editor.]
  • Succi, Giancarlo [editor.]
  • Ioini, Nabil El [editor.]
  • Sillitti, Alberto [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 404
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.

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

147.
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
  • Dueck, Gerhard W [editor.]
  • Miller, D. Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
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.

148.
Emerging Management Mechanisms for the Future Internet [electronic resource] : 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings / edited by Guillaume Doyen, Martin Waldburger, Pavel Čeleda, Anna Sperotto, Burkhard Stiller. by
  • Doyen, Guillaume [editor.]
  • Waldburger, Martin [editor.]
  • Čeleda, Pavel [editor.]
  • Sperotto, Anna [editor.]
  • Stiller, Burkhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7943
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.

149.
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose. by
  • Gorp, Pieter Van [editor.]
  • Ritter, Tom [editor.]
  • Rose, Louis M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7949
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.

150.
Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by
  • Drira, Khalil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7957
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.

151.
ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna. by
  • Castagna, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7920
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.

152.
Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by
  • Weber, Jens [editor.]
  • Perseil, Isabelle [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7789
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.

153.
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
  • Bartocci, Ezio [editor.]
  • Ramakrishnan, C. R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
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.

154.
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / edited by Florian Daniel, Peter Dolog, Qing Li. by
  • Daniel, Florian [editor.]
  • Dolog, Peter [editor.]
  • Li, Qing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7977
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.

155.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / edited by Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert. by
  • Rieck, Konrad [editor.]
  • Stewin, Patrick [editor.]
  • Seifert, Jean-Pierre [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7967
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.

156.
Ad-hoc, Mobile, and Wireless Network [electronic resource] : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings / edited by Jacek Cichoń, Maciej Gȩbala, Marek Klonowski. by
  • Cichoń, Jacek [editor.]
  • Gȩbala, Maciej [editor.]
  • Klonowski, Marek [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7960
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.

157.
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn van der Zant. by
  • Chen, Xiaoping [editor.]
  • Stone, Peter [editor.]
  • Sucar, Luis Enrique [editor.]
  • Zant, Tijn van der [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7500
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.

158.
Product-Focused Software Process Improvement [electronic resource] : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings / edited by Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre. by
  • Heidrich, Jens [editor.]
  • Oivo, Markku [editor.]
  • Jedlitschka, Andreas [editor.]
  • Baldassarre, Maria Teresa [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7983
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.

159.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by
  • Liu, Shaoying [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7787
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.

160.
Software Business. From Physical Products to Software Services and Solutions [electronic resource] : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings / edited by Georg Herzwurm, Tiziana Margaria. by
  • Herzwurm, Georg [editor.]
  • Margaria, Tiziana [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 150
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