Welcome to Central Library, SUST

Your search returned 256 results.

Not what you expected? Check for suggestions
Sort
Results
201.
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
  • Giachino, Elena [editor.]
  • Hähnle, Reiner [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
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.

202.
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
  • Leite, João [editor.]
  • Son, Tran Cao [editor.]
  • Torroni, Paolo [editor.]
  • Torre, Leon van der [editor.]
  • Woltran, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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.

203.
Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel. by
  • Lau, Kung-Kiu [editor.]
  • Lamersdorf, Winfried [editor.]
  • Pimentel, Ernesto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8135
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.

204.
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by
  • Muntean, Traian [editor.]
  • Poulakis, Dimitrios [editor.]
  • Rolland, Robert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8080
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.

205.
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
  • Ida, Tetsuo [editor.]
  • Fleuriot, Jacques [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
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.

206.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
  • Gupta, Ashutosh [editor.]
  • Henzinger, Thomas A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.

207.
Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by
  • Balsamo, Maria Simonetta [editor.]
  • Knottenbelt, William J [editor.]
  • Marin, Andrea [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8168
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.

208.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
  • Legay, Axel [editor.]
  • Bensalem, Saddek [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
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.

209.
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by
  • Bitsch, Friedemann [editor.]
  • Guiochet, Jérémie [editor.]
  • Kaâniche, Mohamed [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8153
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.

210.
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
  • Fontaine, Pascal [editor.]
  • Ringeissen, Christophe [editor.]
  • Schmidt, Renate A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
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.

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

212.
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
  • Bois, André Rauber Du [editor.]
  • Trinder, Phil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.

213.
Computer Information Systems and Industrial Management [electronic resource] : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings / edited by Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń. by
  • Saeed, Khalid [editor.]
  • Chaki, Rituparna [editor.]
  • Cortesi, Agostino [editor.]
  • Wierzchoń, Sławomir [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8104
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.

214.
Advances in Global Sourcing. Models, Governance, and Relationships [electronic resource] : 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers / edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks. by
  • Oshri, Ilan [editor.]
  • Kotlarsky, Julia [editor.]
  • Willcocks, Leslie P [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 163
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.

215.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
  • Pecheur, Charles [editor.]
  • Dierkes, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
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.

216.
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by
  • Pacino, Dario [editor.]
  • Voß, Stefan [editor.]
  • Jensen, Rune Møller [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8197
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.

217.
On the Move to Meaningful Internet Systems: OTM 2013 Conferences [electronic resource] : Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter De Leenheer, Deijing Dou. by
  • Meersman, Robert [editor.]
  • Panetto, Hervé [editor.]
  • Dillon, Tharam [editor.]
  • Eder, Johann [editor.]
  • Bellahsene, Zohra [editor.]
  • Ritter, Norbert [editor.]
  • Leenheer, Pieter De [editor.]
  • Dou, Deijing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8185
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.

218.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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.

219.
Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah. by
  • Shaikh, Faisal Karim [editor.]
  • Chowdhry, Bhawani Shankar [editor.]
  • Ammari, Habib M [editor.]
  • Uqaili, Muhammad Aslam [editor.]
  • Shah, Assadullah [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 366
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.

220.
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by
  • Accorsi, Rafael [editor.]
  • Ranise, Silvio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8203
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