Welcome to Central Library, SUST

Your search returned 274 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
141.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
  • Johnsen, Einar Broch [editor.]
  • Petre, Luigia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
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
142.
Aspect-Oriented Requirements Engineering [electronic resource] / edited by Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid. by
  • Moreira, Ana [editor.]
  • Chitchyan, Ruzanna [editor.]
  • Araújo, João [editor.]
  • Rashid, Awais [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
143.
Benchmarking Peer-to-Peer Systems [electronic resource] : Understanding Quality of Service in Large-Scale Distributed Systems / edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe. by
  • Effelsberg, Wolfgang [editor.]
  • Steinmetz, Ralf [editor.]
  • Strufe, Thorsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7847
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
144.
Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by
  • Noble, James [editor.]
  • Johnson, Ralph [editor.]
  • Zdun, Uwe [editor.]
  • Wallingford, Eugene [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7840
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
145.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by
  • Colom, José-Manuel [editor.]
  • Desel, Jörg [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7927
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
146.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
  • Dastani, Mehdi [editor.]
  • Hübner, Jomi F [editor.]
  • Logan, Brian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
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
147.
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
148.
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
149.
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by
  • Brocke, Jan vom [editor.]
  • Hekkala, Riitta [editor.]
  • Ram, Sudha [editor.]
  • Rossi, Matti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7939
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
150.
Software Process Improvement and Capability Determination [electronic resource] : 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings / edited by Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling. by
  • Woronowicz, Tanja [editor.]
  • Rout, Terry [editor.]
  • O’Connor, Rory V [editor.]
  • Dorling, Alec [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 349
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
151.
Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by
  • Schirner, Gunar [editor.]
  • Götz, Marcelo [editor.]
  • Rettberg, Achim [editor.]
  • Zanella, Mauro C [editor.]
  • Rammig, Franz J [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 403
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
152.
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
  • Logozzo, Francesco [editor.]
  • Fähndrich, Manuel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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
153.
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
Online access:
Availability: No items available.

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

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

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

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

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

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

Add to cart
Pages